Gödel's Proof 
What people are saying  Write a review
User ratings
5 stars 
 
4 stars 
 
3 stars 
 
2 stars 
 
1 star 

Review: Gödel's Proof
User Review  Al Maki  GoodreadsI give the book two stars simply because I couldn't follow it. It took a semester of lectures by Marlin Rayburn for me to grasp Godel's Proof. Read full review
Review: Gödel's Proof
User Review  Assaad  GoodreadsI bought this book on kindle and in printed format. It is the best one can have as an easy demonstration of Godel's incompleteness theorem. I got interested about the subject after reading Hofstadter ... 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
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