MARC Record from Library of Congress

LEADER: 03094cam a2200349 i 4500
001 2014007629
003 DLC
005 20150506082806.0
008 140313s2014 enk b 001 0 eng
010 $a 2014007629
020 $a9781107002661 (hardback)
020 $a1107002664 (hardback)
040 $aDLC$beng$cDLC$erda$dDLC
042 $apcc
050 00 $aQA9.2$b.I58 2014
082 00 $a511.3$223
084 $aSCI075000$2bisacsh
245 00 $aInterpreting Gödel :$bcritical essays /$cedited by Juliette Kennedy, University of Helsinki.
264 1 $aCambridge :$bCambridge University Press,$c2014.
300 $axi, 279 pages ;$c24 cm
336 $atext$2rdacontent
337 $aunmediated$2rdamedia
338 $avolume$2rdacarrier
504 $aIncludes bibliographical references (pages 256-276) and index.
505 8 $aMachine generated contents note: 1. Introduction: Gödel and analytic philosophy: how did we get here? Juliette Kennedy; Part I. Gödel on Intuition: 2. Intuitions of three kinds in Gödel's views on the continuum John Burgess; 3. Gödel on how to have your mathematics and know it too Janet Folina; Part II. The Completeness Theorem: 4. Completeness and the ends of axiomatization Michael Detlefsen; 5. Logical completeness, form, and content: an archaeology Curtis Franks; Part III. Computability and Analyticity: 6. Gödel's 1946 Princeton bicentennial lecture: an appreciation Juliette Kennedy; 7. Analyticity for realists Charles Parsons; Part IV. The Set-theoretic Multiverse: 8. Gödel's program John Steel; 9. Multiverse set theory and absolutely undecidable propositions Jouko Väänänen; Part V. The Legacy: 10. Undecidable problems: a sampler Bjorn Poonen; 11. Reflecting on logical dreams Saharon Shelah.
520 $a"The logician Kurt Gödel (1906-1978) published a paper in 1931 formulating what have come to be known as his 'incompleteness theorems', which prove, among other things, that within any formal system with resources sufficient to code arithmetic, questions exist which are neither provable nor disprovable on the basis of the axioms which define the system. These are among the most celebrated results in logic today. In this volume, leading philosophers and mathematicians assess important aspects of Gödel's work on the foundations and philosophy of mathematics. Their essays explore almost every aspect of Gödel's intellectual legacy including his concepts of intuition and analyticity, the Completeness Theorem, the set-theoretic multiverse, and the state of mathematical logic today. This groundbreaking volume will be invaluable to students, historians, logicians and philosophers of mathematics who wish to understand the current thinking on these issues"--$cProvided by publisher.
650 0 $aLogic, Symbolic and mathematical.
600 10 $aGödel, Kurt.
650 0 $aMathematics$xPhilosophy.
650 7 $aSCIENCE / Philosophy & Social Aspects.$2bisacsh
700 1 $aKennedy, Juliette,$d1955-$eeditor.
856 $3Cover image$uhttp://assets.cambridge.org/97811070/02661/cover/9781107002661.jpg