Godel's ProofThe first book to present a readable explanation of Godel's theorem to both scholars and nonspecialists, this is a gripping combination of science and accessibility, offering those with a taste for logic and philosophy the chance to satisfy their intellectual curiosity. 
What people are saying  Write a review
User ratings
5 stars 
 
4 stars 
 
3 stars 
 
2 stars 
 
1 star 

LibraryThing Review
User Review  palaverofbirds  LibraryThingFor a book that was supposed to simplify Godel's Proof it was exceptionally complex. No real thesis either; basically, the first 75% of the book is just setting up preliminaries and doesn't even deal ... Read full review
LibraryThing Review
User Review  encephalical  LibraryThingLeft me wondering about more foundational items that were mentioned in passing such as 'primitive recursive truths' and the 'Correspondence Lemma'. The exposition seemed rushed at the end. Read full review
Contents
Acknowledgments  
The Problem of Consistency  
Gödels Proofs  
A Gödel numbering B The arithmetizationof meta  
Concluding Reflections  
Notes  
Brief Bibliography  
Other editions  View all
Common terms and phrases
absolute proof andthe argument arithmetic is consistent arithmetical calculus arithmetical formula asserts assumption atrue axiomatic method axioms of arithmetic axiomsare belongs canbe cardinal numbers constructed contradiction correspond deduced defined definition derivable fromthe doesnot elementary constituents elementary signs established Euclidean Euclidean geometry example expression finite finitistic formal logic formalized arithmetical formally undecidable formula G formula with Gödel geometry given Gödel number Gödel’s paper Gödel’s Proof Gödelnumber greatest prime Hilbert’s immediate successor integer inthe isnot isthe itis Kurt Gödel mathematical statement mathematician meta metamathematical statement nonnormal notation numberof numerical variable obtained parallel axiom parallel postulate prime numbers Principia Mathematica problem proof of consistency proofof reader relations represented Richard Paradox Richardian Riemannian Ruleof rules of inference sentence sentential calculus sentential connectives sentential variables sequence of formulas sequenceof set of postulates structure sucha tautology thatthe theaxioms thecalculus theformula Thenumber thereader tothe Transformation Rules vocabulary withthe