Bukti Godel

Recensioni dei lettori

Il libro fornisce una chiara introduzione al teorema di incompletezza di Gödel, rivolta a lettori con limitate conoscenze pregresse di logica formale e matematica. Sebbene sia apprezzato per la sua accessibilità e per il background approfondito che fornisce prima di addentrarsi nella dimostrazione, alcuni lettori ritengono che manchi di profondità nell'esplorare le implicazioni più ampie del lavoro di Gödel. Il testo è generalmente apprezzato per la sua chiarezza, anche se alcune critiche sottolineano aree in cui avrebbe potuto essere più chiaro o più dettagliato.

⬤ Eccellente presentazione della prova di Gödel, che rende accessibili idee complesse anche ai non specialisti.
⬤ Spiegazione accurata dello sfondo e del contesto che circonda il lavoro di Gödel.
⬤ Breve e facile da leggere, spesso gestibile in una o due sedute.
⬤ Contiene tabelle e una chiara sintassi matematica per rafforzare i concetti.
⬤ Gli approfondimenti analitici sono apprezzati, rendendo il libro informativo e coinvolgente per chi è interessato alla filosofia della matematica.

⬤ Alcuni lettori ritengono che manchi di profondità nell'interpretazione delle implicazioni del teorema di Gödel.
⬤ Alcuni lettori hanno trovato alcune parti del testo confuse o poco chiare, in particolare per quanto riguarda la notazione e i concetti.
⬤ La conclusione è considerata brusca e lascia ai lettori la voglia di approfondire le ramificazioni filosofiche.
⬤ Le spiegazioni dettagliate degli autori possono sembrare a volte troppo dense o orientate ai fatti, rendendo l'esperienza di lettura meno coinvolgente per alcuni.

(basato su 107 recensioni dei lettori)

Titolo originale:

Godel's Proof

Contenuto del libro:

Nel 1931 Kurt G del pubblicò il suo scritto fondamentale, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems". Questo scritto rivoluzionario metteva in discussione alcuni assunti di base su cui si fondava gran parte della ricerca in matematica e logica. G del ricevette un riconoscimento pubblico del suo lavoro nel 1951, quando gli fu assegnato il primo Albert Einstein Award per i risultati ottenuti nelle scienze naturali, forse il più alto riconoscimento di questo tipo negli Stati Uniti. Il comitato del premio descrisse il suo lavoro nella logica matematica come "uno dei più grandi contributi alle scienze negli ultimi tempi".

Tuttavia, pochi matematici dell'epoca erano in grado di comprendere la complessa dimostrazione del giovane studioso. Ernest Nagel e James Newman forniscono una spiegazione leggibile e accessibile sia agli studiosi che ai non specialisti delle idee principali e delle ampie implicazioni della scoperta di G del. Questo libro offre a tutte le persone istruite e appassionate di logica e filosofia la possibilità di comprendere un argomento finora difficile e inaccessibile.

In occasione del 50° anniversario della pubblicazione originale di G del's Proof, la New York University Press è orgogliosa di pubblicare questa edizione speciale di uno dei suoi libri più venduti e più frequentemente tradotti. Con una nuova introduzione di Douglas R. Hofstadter, questo libro interesserà studenti, studiosi e professionisti nei campi della matematica, dell'informatica, della logica, della filosofia e della scienza.