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:

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