Incompleteness: The Proof and Paradox of Kurt Gödel (Great Discoveries)A masterly introduction to the life and thought of the man who transformed our conception of math forever. Kurt Gödel is considered the greatest logician since Aristotle. His monumental theorem of incompleteness demonstrated that in every formal system of arithmetic there are true statements that nevertheless cannot be proved. The result was an upheaval that spread far beyond mathematics, challenging conceptions of the nature of the mind. 
What people are saying  Write a review
User ratings
5 stars 
 
4 stars 
 
3 stars 
 
2 stars 
 
1 star 

LibraryThing Review
User Review  Eoin  www.librarything.comA good, not great, focused biography on one of the more misunderstood mathematician/logicians of the 20th cent. Inefficient exposition drags down an otherwise effective book. Worth it for a generally readable explanation of the theorems and the (lonesome) end. Read full review
LibraryThing Review
User Review  antao  www.librarything.com“It is really not so surprising that Wittgenstein would dismiss Gödel’s result with a belittling description like ‘logische Kunstücke,’ logical conjuring tricks, patently devoid of the large ... Read full review
Contents
Introduction  13 
A Platonist among the Positivists  53 
Hilbert and the Formalists  121 
The Proof of Incompleteness  147 
Godels 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 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