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  Eoin  LibraryThingA 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  LibraryThing“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
Other editions  View all
Incompleteness: The Proof and Paradox of Kurt Gödel (Great Discoveries) Rebecca Goldstein Limited preview  2006 
Common terms and phrases
according appear arithmetic axioms become believe called Circle completeness concerned conclusion consistent course describe discussion early Einstein example existence expressible fact false famous follow formal system foundations genius given Gödel number Gödel's theorems Hilbert human ideas important incompleteness theorem Institute intellectual interest interpretation intuitions knowledge Kurt Gödel language later least logic logician mathe mathematical mathematicians matical meaning Menger metamathematical mind nature never objective once paradox particular perhaps philosopher physics Platonism Platonist positivists possible precisely present Princeton problem proof proposition provable proved published question reality reason reference relativity remark result rules Russell seemed sense sort speak statement student Study symbols talk theory things thinkers thought tion told true truth turned understand University Vienna Circle Wang wffs Wittgenstein write wrote young