Incompleteness: The Proof and Paradox of Kurt Gödel"The genius behind this discovery was Kurt Godel, himself a man of paradox. He was the greatest logician since Aristotle, as well as Einstein's closest intellectual companion during Einstein's last years. But he was also deeply eccentric and given to paranoiac deductions that ultimately led to his tragic death. Subject to irrationality, he nevertheless put his faith in reason. With the use of an ingenious proof he was able to demonstrate that in any sufficiently complex system  in short, any system a mathematician would want to use  there are true statements that cannot be proven. Some thinkers despaired at this result. Others, like the formidable Wittgenstein, could never accept it. And still others misunderstood it as a torpedo to the hull of rationality itself. For Godel, however, it was evidence of an eternal, objective truth, independent of human thought, that can only be apprehended imperfectly by the human mind."BOOK JACKET. 
What people are saying  Write a review
User ratings
5 stars 
 
4 stars 
 
3 stars 
 
2 stars 
 
1 star 

LibraryThing Review
User Review  KirkLowery  LibraryThingThis book is an intellectual biography of one of the greatest mathematicians and logicians of the 20th century. Gödel singlehandedly derailed the HilbertRussell program of putting mathematical proof ... Read full review
LibraryThing Review
User Review  jcbrunner  LibraryThingA quick and reasonable explanation about Gödel's monumental proof. The life and personality of Kurt Gödel is not really fleshed out. The Princeton aspect of the book has cut off much of the Viennese ... Read full review
Other editions  View all
Incompleteness: The Proof and Paradox of Kurt Gödel (Great Discoveries) Rebecca Goldstein Limited preview  2006 
Common terms and phrases
axiomatic system axioms Carnap cian consistent continuum hypothesis contradiction course David Hilbert diagonal lemma Einstein and Godel example existence fact false famous Feigl Flexner formal system Foundations of Mathematics Frege genius Godel number Godel's incompleteness theorems Godel's proof Godel's result Godel's theorems Hahn Hans Hahn Hao Wang Hilbert human ideas intellectual intuitions Kochen Konigsberg Kurt Godel 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 rigorous Rudolf rules of inference Russell Russell's 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 wffs Wittgenstein words wrote