5 ms·

Nagel's book is a wonderful exposition (three-page-long footnotes aside). In addition to these two, I might recommend Torkel Franzén's book "Gödel's Theorem: A

by pndmnm 14y ago

Nagel's book is a wonderful exposition (three-page-long footnotes aside). In addition to these two, I might recommend Torkel Franzén's book "Gödel's Theorem: An Incomplete Guide to Its Use and Abuse". Some of the content is fairly technical but not inaccessible by any means. If you're interested in the corner cases of how incompleteness theorems can be applied, it's a terrific resource.

vbtemp 14y ago
Interesting. I'll look into that. THanks.
jackfoxy 14y ago
Thanks! I believe I read a reference to this book once on HN, then could not find it. Unless there is another book that focuses on the misuses of the incompleteness theorem, this is the one I'm looking for.