Enter your mobile number below and we'll send you a link to download the free Kindle App. Then you can start reading Kindle books on your smartphone, tablet, or computer - no Kindle device required.
Getting the download link through email is temporarily not available. Please check back later.

  • Apple
  • Android
  • Windows Phone
  • Android

To get the free app, enter your mobile phone number.

An Introduction to Gödel's Theorems (Cambridge Introductions to Philosophy) 1st Edition

5.0 out of 5 stars 6 customer reviews
ISBN-13: 978-0521857840
ISBN-10: 0521857848
Why is ISBN important?
This bar-code number lets you verify that you're getting exactly the right version or edition of a book. The 13-digit and 10-digit formats both work.
Scan an ISBN with your phone
Use the Amazon App to scan ISBNs and compare prices.
Have one to sell? Sell on Amazon
More Buying Choices
4 New from $228.35 8 Used from $129.99

There is a newer edition of this item:

Free Two-Day Shipping for College Students with Prime Student Free%20Two-Day%20Shipping%20for%20College%20Students%20with%20Amazon%20Student

Best Books of the Year So Far
Looking for something great to read? Browse our editors' picks for the Best Books of the Year So Far in fiction, nonfiction, mysteries, children's books, and much more.
click to open popover

Editorial Reviews


"How did Gödel establish the two Theorems of Incompleteness, and why do they matter? Smith (U. of Cambridge) advises readers to take their time in answering these and related questions he poses as he presents a variety of proofs for the First Theorem and shows how to prove the Second. He also examines a group of related results with the same care and attention to detail. In 36 well-paced chapters Smith builds his case from a basic introduction to G<:o>del's theorems on to such issues as the truths of arithmetic, formalized arithmetics, primitive recursive functions, identifying the diagonalization Lemma in the First Theorem and using it, dirivability conditions in the Second Theorem. Turing machines (and recursiveness) and the Church-Turing thesis. Accessible without being dismissive, this is accessible to philosophy students and equally suitable for mathematics students taking a first course in logic."
Book News

"... Without doubt, a mandatory reference for every philosopher interested in philosophy of mathematics. The text is, in general, written in a prose style but without avoiding formalisms. It is very accurate in the mathematical arguments and it offers to mathematicians and logicians a detailed approach to Gödel's theorems, covering many aspects which are not easy to find in other presentations."
Reinhard Kahle, Mathematical Reviews

Book Description

What are Gödel's Theorems, how were they established and why do they matter? Written with great clarity, this book is accessible to philosophy students with a limited formal background. It is equally valuable to mathematics students taking a first course in mathematical logic.

New York Times best sellers
Browse the New York Times best sellers in popular categories like Fiction, Nonfiction, Picture Books and more. See more

Product Details

  • Series: Cambridge Introductions to Philosophy
  • Hardcover: 376 pages
  • Publisher: Cambridge University Press; 1 edition (August 6, 2007)
  • Language: English
  • ISBN-10: 0521857848
  • ISBN-13: 978-0521857840
  • Product Dimensions: 6.8 x 1 x 9.7 inches
  • Shipping Weight: 2 pounds
  • Average Customer Review: 5.0 out of 5 stars  See all reviews (6 customer reviews)
  • Amazon Best Sellers Rank: #9,279,226 in Books (See Top 100 in Books)

Customer Reviews

5 star
4 star
3 star
2 star
1 star
See all 6 customer reviews
Share your thoughts with other customers

Top Customer Reviews

By Jon M. Cogburn on December 25, 2007
Format: Paperback Verified Purchase
For a couple of decades now, students who had completed their first logic class and dabbled in a little bit of metatheory (perhaps soundness and completeness) were forced to avail themselves of Boolos and Jeffrey's (fourth edition with Burgess) "Computability and Logic." Unfortunately, the third edition presented much of the material in too brief a manner, resulting in a big jump from lower level logic to the material covered. The fourth edition is much longer, but no more easier to teach to talented undergraduates. More recently, Epstein's book on computability was an improvement in this regard, but its logical coverage was much less.

Smith's book should now be the canonical text. First, the discussion and proofs are astoundingly clear to students who haven't done much logic beyond their first class. Pick any topic from B & J and Smith, for example primitive recursiveness, the tie between p.r. axiomatizability and axiomatizability via Craig's theorem, etc. and the discussion and proofs in Smith will be clearer, more accessible, and more clearly tied to the other relevant concepts. Second, the coverage is exactly what is needed to understand both theorems and the most important consequences and extensions. Third, the way he ties the disparate topics together (for example the informal proofs through Chapter 5 and their rigorizaiton through Chapter 18) is just fantastic. This is really important for helping the reader develop a deeper understanding of things. If you just pile theorem upon theorem it's easy for the reader accept them as true without developing any logical insight and appreciation of the landscape.

I don't know if Cambridge would allow this, but in the next edition they should seriously think about adding exercise sections like B & J and Epstein.
Read more ›
1 Comment 54 people found this helpful. Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback.
Sorry, we failed to record your vote. Please try again
Report abuse
Format: Paperback
This is a terrific book that the reader can learn a lot from. The author presents Gödel's theorems - in fact, he provides many different proofs of the theorems - along with various strenghtenings and weakenings of the main results. In the many historical and conceptual asides the author does a great job of explaining the significance of Gödel's theorems and of directing the reader's attention to the big picture.

However, I don't think the book is a good *introduction* to Gödel's theorems. A student approaching these theorems for the first time will be overwhelmed by the amount of information here. Even more problematic is the author's adoption of a rather informal way of writing. This does make the book very readable but I think would frustrate the beginning student who needs a precise grasp of new concepts. For example, I don't think a student innocent of primitive recursive functions would be able to grasp how they work from the chapter here. This problem is further compounded by the lack of exercises.

In sum, the book is highly recommended for anyone looking to deepen and broaden their understanding of Gödel's theorems. However, I think that anyone who hasn't already seen a rigorous presentation of those theorems might find the book frustrating.
1 Comment 26 people found this helpful. Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback.
Sorry, we failed to record your vote. Please try again
Report abuse
Format: Paperback Verified Purchase
Mathematical logic in all its dexterity is a somewhat fractured discipline. We have set theory, recursion theory, proof theory, model theory, etc. all falling under the same umbrella. Each of these disciplines move into very sophisticated terrain quickly, sometimes with disparate notation, techniques, goals, etc. Thus it can be a hurdle for one to try to get an overview of each area and their pivotal questions and theorems, despite the claim of their relation to "Mathematical Logic."

The incompleteness theorems of Godel have been an impetus for logical research since their discovery. So it is not out of place for a writer to want to focus on them and give a (relatively) uninitiated audience a survey of relevant results. What is wonderful about Peter Smith's text is how he presents the essentials clearly and touches on how the separate research areas have tried to deal with or explain incompleteness. So in this sense, Smith illustrates at least one way all the areas of mathematical logic are connected, namely how they all have at some point sought to shine light on Godel's results. The fruits of these areas' labors are made clear and accessible in a way that is not duplicated anywhere else; at present, this book is one of a kind.

The only flaw is the lack of exercises, but these can be found in more specialized texts. There is excellent annotation and an accompanying bibliography for those who want to go further.
1 Comment 5 people found this helpful. Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback.
Sorry, we failed to record your vote. Please try again
Report abuse