|
Size: 1191
Comment:
|
Size: 1185
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 8: | Line 8: |
| .p71 satirical journalist [[ https://en.wikipedia.org/wiki/Karl_Kraus_(writer) | Karl Kraus ]] epigrams: | p71 satirical journalist [[ https://en.wikipedia.org/wiki/Karl_Kraus_(writer) | Karl Kraus ]] epigrams: |
| Line 14: | Line 14: |
| .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 ]] | 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 ]] |
| Line 18: | Line 18: |
| .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 ]] | 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 ]] |
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