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
Review: Gödel's ProofUser Review - Mangoo - Goodreads
Masterfully clear and concise introduction to the context and ideas behind Godel's 1931 theorems. Text and notes are separated so that the core of the message can be discerned from additional (rather ... Read full review
Review: Gödel's ProofUser Review - Ed Terrell - Goodreads
Russell's famous epigram: "pure mathematics is the subject in which we do not know what we are talking about, or whether what we are saying is true." The ground breaking paper Incompleteness by Godel ... Read full review