Bukti Godel

Recensioni dei lettori

Le recensioni sottolineano che “La prova di Godel” di Nagel e Newman è un'esplorazione ben scritta e accessibile del teorema di incompletezza di Godel, che presenta concetti matematici complessi in modo comprensibile. Molti lettori apprezzano la capacità degli autori di introdurre gradualmente le idee logiche più profonde, aiutando sia i non addetti ai lavori sia coloro che hanno una certa preparazione matematica a comprendere i significativi contributi di Godel. Tuttavia, il libro contiene sezioni impegnative che possono richiedere una rilettura per una piena comprensione, e alcuni lettori hanno trovato affermazioni specifiche all'interno del testo fuorvianti o errate.

⬤ Esposizione chiara e accessibile di argomenti complessi.
⬤ Adatto sia ai non addetti ai lavori sia a chi ha una certa preparazione matematica.
⬤ Coinvolgente e di facile comprensione, paragonato a “Una breve storia del tempo” in matematica.
⬤ Utili note a piè di pagina che chiariscono la terminologia.
⬤ Conciso, copre le idee essenziali in una lunghezza gestibile.
⬤ Fornisce un contesto storico e uno sfondo per il lavoro di Godel.

⬤ Alcune sezioni sono impegnative e possono richiedere una rilettura.
⬤ Occasionali affermazioni controverse o possibili imprecisioni, che generano confusione.
⬤ Manca la trattazione di argomenti avanzati come la teoria degli insiemi e la computabilità, poiché si concentra principalmente sulla prova di Godel.

(basato su 12 recensioni dei lettori)

Titolo originale:

Godel's Proof

Contenuto del libro:

Dall'Introduzione. Nel 1931 apparve su un periodico scientifico tedesco un articolo relativamente breve dal titolo proibitivo "Uber formal unentscheidbare Satze der Principia Mathematica und verwandter Systeme" ("Sulle proposizioni formalmente indecidibili dei Principia Mathematica e dei sistemi correlati").

L'autore era Kurt Godel, allora giovane matematico di 25 anni all'Università di Vienna e dal 1938 membro permanente dell'Institute for Advanced Study di Princeton. L'articolo è una pietra miliare nella storia della logica e della matematica.

Quando l'Università di Harvard conferì a Godel una laurea honoris causa nel 1952, l'encomio descrisse il lavoro come uno dei più importanti progressi della logica nei tempi moderni. All'epoca della sua pubblicazione, tuttavia, né il titolo dell'articolo di Godel né il suo contenuto erano comprensibili alla maggior parte dei matematici.