= 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.  This book might provide more math and less chat' I will find a different book for that.  Later on, there is more about Godel's proofs, but in somewhat incomprehensible verbiage rather than symbols. 

p71 satirical journalist [[ https://en.wikipedia.org/wiki/Karl_Kraus_(writer) | 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

Karl Kraus [[ https://archive.org/details/inthesegreattime0000krau | In These Great Times ]] .[[ https://archive.org/details/inthesegreattime0000krau_d9r3 | also ]] . [[ https://archive.org/details/173436442KrausKarlInTheseGreatTimes | also ]]

p156 '''Gödel's Proof''' by Ernest Nagel and James. R. Newman [[ https://catalog.wccls.org/polaris/search/title.aspx?ctx=1.1033.0.0.6&pos=1&cn=2505991 | CmillLib ]]

p187 Godel's second incompleteness theorem contravened [[ https://en.wikipedia.org/wiki/David_Hilbert | David Hilbert's ]] quest for [[ https://en.wikipedia.org/wiki/Formalism_(philosophy_of_mathematics)#Hilbert's_formalism | axomatic formalism ]]