## Incompleteness: The Proof and Paradox of Kurt Gödel (Great Discoveries)"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. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

13 | |

A Platonist among the Positivists | 53 |

Hilbert and the Formalists | 121 |

The Proof of Incompleteness | 147 |

Godels Incompleteness | 207 |

Notes | 263 |

Acknowledgments | 279 |

### Common terms and phrases

axiomatic system axioms Carnap cian consistent continuum hypothesis course David Hilbert Dawson deﬁned diagonal lemma example fact Feigl ﬁeld ﬁgure ﬁnd ﬁnitary ﬁom ﬁrst ﬁrst incompleteness theorem Flexner formal system Foundations of Mathematics genius Godel number Godel’s incompleteness theorems Godel’s proof Godel’s result Godel’s theorems Hahn Hans Hahn Hao Wang Hilbert human ideas inﬁnite inﬂuence intellectual intuitions Kochen Konigsberg Kurt Godel language liar’s limpid logic logician mathe mathematical logic mathematical truth mathematicians matical meaning Menger metamathematical mind Morgenstern natural numbers Neumann never number theory objective paradox philosopher physicist physics Platonism Platonist positivism positivists precisely Princeton priori problem proposition provable proved question Rebecca Goldstein Rudolf Russell Russell’s Schilpp Schlick scientiﬁc second incompleteness theorem seemed sense set theory signiﬁcance Simon Kochen sort speak speciﬁcally statement sufﬁciently symbols system of arithmetic things thinkers tion Tractatus true Turing University unprovable Vienna Circle Viennese wffs Wittgenstein words wrote