An Introduction to Gödel's Theorems

Cambridge University Press (2013)
This is the second edition of a text aimed at upper level philosophy undergraduates/beginning graduate students -- though it should be of interest to some mathematicians too (as it is theorem-heavy, and doesn't contain much purely philosophical discussion). It is published as a pbk in a relatively inexpensive series, so don't believe the daft prices listed below. From the book blurb: 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
ISBN(s) 9781107606753   9780521857840  
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
Download options
PhilPapers Archive

Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 20,481
External links
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.

Add more references

Citations of this work BETA

View all 9 citations / Add more citations

Similar books and articles

Monthly downloads

Added to index


Total downloads

13 ( #268,725 of 1,862,234 )

Recent downloads (6 months)

1 ( #466,347 of 1,862,234 )

How can I increase my downloads?

My notes
Sign in to use this feature

Start a new thread
There  are no threads in this forum
Nothing in this forum yet.