Gödel's Proof 
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
n The Problem of Consistency  8 
in Absolute Proofs of Consistency  26 
The Systematic Codification of Formal Logic  37 
Copyright  
4 other sections not shown
Other editions  View all
Common terms and phrases
absolute proof algebraic arith arithmetic is consistent arithmetical calculus arithmetical formula asserts axiomatic method axioms of arithmetic belongs Bertrand Russell branches of mathematics cardinal numbers consistency of arithmetic constant signs constructed contain correspond deducible derived elementary constituents elementary signs established Euclid's proof Euclidean geometry Euclidean system example finite number finitistic formal calculus formal logic formal system formalized arithmetic formula G formula with Godel G is demonstrable given Godel number 13 Godel's paper Godel's Proof greater than 1o greatest prime Hilbert immediate successor integer mapping mathematician matical ment meta metamathe metamathematical statement metical mula notation notion obtained parallel axiom parallel postulate prime greater prime number Principia Mathematica problem proof of consistency reader Richard Paradox Richardian Riemannian Riemannian geometry rules of inference sentence sentential calculus sentential connectives sentential variables sequence of formulas set of axioms sistency structure tautology tion Transformation Rules true variable with Godel