David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Cambridge University Press (2013)
In 1931, the young Kurt Gödel published his First Incompleteness Theorem, which tells us that, for any sufficiently rich theory of arithmetic, there are some arithmetical truths the theory cannot prove. This remarkable result is among the most intriguing (and most misunderstood) in logic. Gödel also outlined an equally significant Second Incompleteness Theorem. How are these Theorems established, and why do they matter? Peter Smith answers these questions by presenting an unusual variety of proofs for the First Theorem, showing how to prove the Second Theorem, and exploring a family of related results (including some not easily available elsewhere). The formal explanations are interwoven with discussions of the wider significance of the two Theorems. This book will be accessible to philosophy students with a limited formal background. It is equally suitable for mathematics students taking a first course in mathematical logic
|Keywords||Logic, Symbolic and mathematical|
|Categories||categorize this paper)|
|Buy the book||$97.00 direct from Amazon $129.99 used $139.00 new Amazon page|
|Call number||QA9.65.S65 2013|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Edgar Andrade-Lotero & Catarina Dutilh Novaes (2012). Validity, the Squeezing Argument and Alternative Semantic Systems: The Case of Aristotelian Syllogistic. [REVIEW] Journal of Philosophical Logic 41 (2):387-418.
Paul Livingston (2010). Derrida and Formal Logic: Formalising the Undecidable. Derrida Today 3 (2):221-239.
Cezary Cieśliński & Rafal Urbaniak (2013). Gödelizing the Yablo Sequence. Journal of Philosophical Logic 42 (5):679-695.
Catarina Dutilh Novaes (2011). The Different Ways in Which Logic is (Said to Be) Formal. History and Philosophy of Logic 32 (4):303 - 332.
Luca Incurvati (2008). Too Naturalist and Not Naturalist Enough: Reply to Horsten. Erkenntnis 69 (2):261 - 274.
Similar books and articles
Juliet Floyd (2001). Prose Versus Proof: Wittgenstein on Gödel, Tarski and Truth. Philosophia Mathematica 9 (3):280-307.
Panu Raatikainen (2005). On the Philosophical Relevance of Gödel's Incompleteness Theorems. Revue Internationale de Philosophie 59 (4):513-534.
Zofia Adamowicz & Teresa Bigorajska (2001). Existentially Closed Structures and Gödel's Second Incompleteness Theorem. Journal of Symbolic Logic 66 (1):349-356.
Carlo Cellucci (1993). From Closed to Open Systems. In J. Czermak (ed.), Philosophy of Mathematics, pp. 206-220. Hölder-Pichler-Tempsky.
Stephen Cole Kleene (1967/2002). Mathematical Logic. Dover Publications.
N. Shankar (1994). Metamathematics, Machines, and Gödel's Proof. Cambridge University Press.
Raymond M. Smullyan (1992). Gödel's Incompleteness Theorems. Oxford University Press.
Added to index2009-01-28
Total downloads6 ( #198,267 of 1,096,850 )
Recent downloads (6 months)1 ( #273,368 of 1,096,850 )
How can I increase my downloads?