3 ms·
I recommend Torkel Franzén's Gödel's Theorem: An Incomplete Guide to Its Use and Abuse. It is readable without sacrificing rigor. It is especially good at ensu
by dataphyte 10y ago
I recommend Torkel Franzén's Gödel's Theorem: An Incomplete Guide to Its Use and Abuse. It is readable without sacrificing rigor.
It is especially good at ensuring the reader doesn't come away infected with the pseudo-profound BS that plagues many discussions of the Gödel's Theorems.
- theoh 10y agoThat, and Nagel's book on the proof, have been recommended on HN before (very recently!). And Rebecca Goldstein's book has been dismissed as too hand-wavy. For important, wiki-friendly topics like this one, HN is frustratingly not great for building a readily checkable/cumulative knowledge base, rather than encouraging a forgetful herd discussion that goes around in circles. It is as I say frustrating for anyone who wants long-term knowledge rather than flimsy "news".
- Jun8 10y agoVery apt obeservation! I was thinking on how to address that for some time. Any ideas? Would you like to collaborate on this?