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  Luca Prosperi  GoodreadsI caveat this short review stating that I will probably have to read this book a couple of more times before giving a final judgement. However, two heated comments. Under a stylistic point of view, as ... Read full review
Review: Gödel's Proof
User Review  Mengsen Zhang  GoodreadsIf you have watched the movie “Inception” and thought it was not bad, then there is a higher chance that you will like this book. I would also give this book another name: “Gödel's Trick in two parts ... 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