Incompleteness
The Proof and Paradox of Kurt Gödel
Rebecca Goldstein 2005 / 510.92 GOL / Tigard Library
This book seems mostly about the Vienna and Princeton of Gödel and contemporaries, not mathematics. I plodded, then skimmed, then abandoned it.
p71 satirical journalist Karl Kraus epigrams:
- - The psychoanalyst picks our dreams as if they were our pockets
- - The secret of the demagogue is to appear as dumb as his audience so that these people can believe themselves as smart as he is
note added: later on, there is more about Godel's proofs, but in somewhat incomprehensible verbiage rather than symbols.
p156 Gödel's Proof by Ernest Nagel and James. R. Newman CmillLib
This book might provide more math and less chat
p187 Godel's second incompleteness theorem contravened David Hilbert's quest for axomatic formalism