Nagel, Ernest and James R. Newman (2001). Gödel’s Proof. New York: New York University Press. 2001.
L’edizione italiana (La prova di Gödel) è pubblicata da Bollati Boringhieri.
Di tutte le spiegazioni dell’ormai celebre teorema di incompletezza di Gödel, questa è quella che ho trovato più chiara e comprensibile (anche più – bestemmia! – delle spiegazioni di Hofstadter: ma lui stesso ammette, nella prefazioone a questa edizione, di esserne stato folgorato da ragazzo).
Naturalmente, non mi cimenterò a riassumere il libro. Ma vi mostrerò che faccia aveva Gödel. Dimostrò il suo teorema a 25 anni!
In una foto con Einstein (ceco di Brno, nel 1940 fuggì negli Stati Uniti, via Transiberiana e Pacifico, e approdò allo IAS di Princeton).
Infine, un’opera d’arte che propone il teorema.
Sbagliando s'impera 