The first book to present a readable explanation of Godel's theorem to both scholars and non-specialists, 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
LibraryThing ReviewUser Review - palaverofbirds - LibraryThing
For 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 ReviewUser Review - encephalical - LibraryThing
Left 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
The Problem of Consistency
A Gödel numbering B The arithmetizationof meta