Routledge – 1971 – 128 pages
Series: Routledge Classics
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 implications that have echoed throughout many fields. A gripping combination of science and accessibility, Godel’s 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.
'Nagel and Newman accomplish the wondrous task of clarifying the argumentative outline of Kurt Godel's celebrated logic bomb.' – The Guardian
Acknowledgments. Introduction. The Problem of Consistency. Absolute Proofs of Consistency. The Systematic Codification of Formal Logic. An Example of a Successful Absolute Proof of Consistency. The Idea of Mapping and its Use in Mathematics. Godel’s Proof. Godel Numbering. The Arithmetization of Meta-Mathematics. The Heart of Godel’s Argument. Concluding Reflections. Appendix: Notes. Brief Bibliography. Index