Philosophia Mathematica 19 (3):367-369 (2011)

Vann McGee
Massachusetts Institute of Technology
There's Something about Gödel is a bargain: two books in one. The first half is a gentle but rigorous introduction to the incompleteness theorems for the mathematically uninitiated. The second is a survey of the philosophical, psychological, and sociological consequences people have attempted to derive from the theorems, some of them quite fantastical.The first part, which stays close to Gödel's original proofs, strikes a nice balance, giving enough details that the reader understands what is going on in the proofs, without giving so many that the reader feels overburdened. Perhaps he skimps too much on details, as when he decides not to explain how to convert recursive definitions into explicit ones. Also, I wish he had talked about Löb's theorem. But these are small complaints.The second half discusses a sampling of what one reads about Gödel's theorems in philosophy journals and in the popular press, and here Berto often finds himself exasperated, especially by …
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1093/philmat/nkr025
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 59,029
Through your library

References found in this work BETA

Minds, Machines and Gödel.John R. Lucas - 1961 - Philosophy 36 (137):112-127.
Concatenation as a Basis for Arithmetic.W. V. Quine - 1946 - Journal of Symbolic Logic 11 (4):105-114.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles


Added to PP index

Total views
103 ( #99,486 of 2,427,638 )

Recent downloads (6 months)
1 ( #528,520 of 2,427,638 )

How can I increase my downloads?


My notes