In 1931 the mathematical logician Kurt Godel published a revolutionary paper that challenged certain basic assumptions underpinning mathematics and logic. A colleague of Albert Einstein, his theorem proved that mathematics was partly based on propositions not provable within the mathematical system and had radical implicationsathat haveaechoed throughout many fields. A gripping combination of science and accessibility, GodelOCOs Proof by Nagel and Newman is for both mathematicians and the idly curious, 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