Incompleteness: The Proof And Paradox Of Kurt Godel"A gem…An unforgettable account of one of the great moments in the history of human thought." —Steven Pinker Probing the life and work of Kurt Gödel, Incompleteness indelibly portrays the tortured genius whose vision rocked the stability of mathematical reasoning—and brought him to the edge of madness. |
Contents
Introduction | 13 |
A Platonist among the Positivists | 53 |
Hilbert and the Formalists | 121 |
The Proof of Incompleteness | 147 |
Gödels Incompleteness | 207 |
Notes | 263 |
Acknowledgments | 279 |
Other editions - View all
Common terms and phrases
axiomatic system axioms Carnap cian consistent continuum hypothesis course David Hilbert diagonal lemma Einstein and Gödel example existence fact false famous Feigl Flexner formal system Foundations of Mathematics Frege genius Gödel number Gödel's incompleteness theorems Gödel's proof Gödel's theorems Hahn Hao Wang Hilbert human ideas Institute for Advanced intellectual intuitions Kochen Königsberg Kurt Gödel language limpid logic logician mathe mathematical logic mathematical reality mathematical truth mathematicians matical matician meaning Menger metamathematical mind Morgenstern natural numbers Neumann never number theory objective paradox philosopher physicist physics Platonism Platonist positivism positivists Pr(x precisely Princeton priori problem proposition provable proved question reason Rebecca Goldstein relativity theory result rigorous Rudolf Russell Schilpp Schlick second incompleteness theorem seemed sense set theory Simon Kochen sort speak statement student symbols system of arithmetic things thinkers tion Tractatus true Turing University unprovable Vienna Circle Viennese Waismann wffs Wittgenstein words wrote