Kurt Gödel

Kurt Friedrich Gödel (Brno, 28 aprile 1906 – Princeton, 14 gennaio 1978) è stato un logico, matematico e filosofo austriaco naturalizzato statunitense, noto soprattutto per i suoi lavori sull'incompletezza delle teorie matematiche.

Ritenuto uno dei più grandi logici di tutti i tempi insieme ad Aristotele, Leibniz e Frege,^[1] le sue ricerche ebbero un significativo impatto, oltre che sul pensiero matematico e informatico, anche sul pensiero filosofico del XX secolo.

Gödel nacque in Moravia, secondo figlio di Rudolf August e Marianne Handschuh, in una famiglia di lingua tedesca operante nell'industria tessile nella città allora chiamata Brünn, sotto l'impero austro-ungarico. Il padre era cattolico, mentre la madre era luterana. Il primo aveva svolto studi commerciali e grazie a una grande applicazione nel lavoro riuscì a raggiungere il grado di dirigente e comproprietario di un'importante azienda e poté mandare i suoi figli in una scuola privata tedesca. Sin da giovane Gödel mostrò alcuni aspetti del suo carattere che lo contraddistinsero per tutta la vita: una curiosità insaziabile,^[2] una brillantezza negli studi, un'introversione preponderante e una salute cagionevole; a otto anni si ammalò di febbre reumatica, che suscitò in lui l'eccessiva preoccupazione sia per la sua salute (ipocondria), sia per i pericoli insiti negli alimenti.^[3]

Nel 1918 divenne cittadino cecoslovacco. Nel 1924 si iscrisse all'Università di Vienna, prima con l'intenzione di studiare fisica teorica e poi occupandosi di matematica e filosofia. Frequentò il Circolo di Vienna fondato dal filosofo Moritz Schlick impregnato dall'opera di Ludwig Wittgenstein ed entrò in contatto con il filosofo della scienza Rudolf Carnap con cui condivise la passione per la parapsicologia.^{[senza fonte]} Studiò Bertrand Russell e seguì una conferenza di David Hilbert circa le questioni di completezza e consistenza dei sistemi matematici tenuta al congresso internazionale di Bologna nel 1928.

Concentrò quindi i suoi interessi sulla logica matematica e nel 1929, dopo essere diventato cittadino austriaco, ottenne il dottorato con una dissertazione di cui fu relatore Hans Hahn e con cui dimostrò la completezza del calcolo dei predicati del primo ordine, stabilendo che è possibile dimostrare gli enunciati veri per ogni interpretazione dei simboli.^[4]

Nel 1933, invitato da John von Neumann e Oswald Veblen, si trasferì negli Stati Uniti, dove per un anno fu membro visitatore dell'Institute for Advanced Study di Princeton, divulgando il suo teorema di incompletezza. Sia durante la permanenza in America sia nei soggiorni viennesi di questi anni soffrì di esaurimenti nervosi che si manifestavano in una ossessione per la dieta, per i ritmi intestinali e per una fobia sugli avvelenamenti alimentari, ossessione che lo trascinò a evitare il cibo fino alla denutrizione.^[5]

Nel 1936 fu profondamente colpito dall'assassinio di Moritz Schlick per mano di uno studente nazista sulle scale dell’Università di Vienna e subì una nuova crisi nervosa. Successivamente trascorse un anno negli USA dove strinse amicizia con Albert Einstein. Nel settembre del 1938 sposò Adele Porkert Nimbursky, ballerina viennese incontrata in un locale notturno, sei anni più anziana, cattolica già divorziata, che lo sostenne fino all'ultimo giorno. Gödel la conosceva da alcuni anni ma i suoi genitori si erano sempre opposti al matrimonio per via del suo lavoro e del fatto che fosse già stata sposata. Nello stesso anno, dopo l'annessione nazista dell'Austria, diventò automaticamente cittadino della Germania. Nel 1940, in seguito all'abolizione del titolo di Privatdozent e temendo di essere chiamato alle armi, si trasferì negli Stati Uniti passando per la Russia, servendosi della ferrovia Transiberiana, e il Giappone, valicando il Pacifico per nave. Quando arrivò in USA i transfughi gli chiesero notizie della Germania nazista. Rispose: «Il caffè è cattivo».^[6]

Tornò nuovamente all'Institute for Advanced Study ove rimase sino alla morte. Nel 1948 diventò cittadino statunitense. Diventò membro permanente dell'IAS nel 1946, professore ordinario nel 1953 e professore emerito nel 1973. Frequentò tutti i giorni Einstein che lo conduceva in passeggiate e conversazioni quotidiane. L'ultimo suo articolo risale al 1958. Nel 1972 ricevette la laurea honoris causa dall'Università Rockefeller e tre anni dopo la National Medal of Science.

Col peggioramento dei suoi problemi psichici, Gödel si ridusse a mangiare solo quel che gli preparava la moglie, che tuttavia negli ultimi mesi del 1977 fu ricoverata sei mesi per problemi di salute. Il suo disturbo ossessivo-compulsivo era ormai degenerato in un delirio paranoico^[7] e il matematico si rifiutava quasi sempre di mangiare, convinto che il cibo fosse avvelenato.^[8] Nei primi giorni del 1978 Gödel fu ricoverato all'ospedale di Princeton per malnutrizione e inedia, causate da una grave forma di anoressia che lo aveva portato a pesare 29 chilogrammi.^[9] Morì il 14 gennaio 1978. Fu sepolto nel cimitero della città, seguito dalla moglie Adele nel 1981.

Lo stesso argomento in dettaglio: Teoremi di incompletezza di Gödel, Ipotesi del continuo, Metrica di Gödel e Prova ontologica di Gödel.

Pur pubblicando pochi articoli, Gödel si occupò di quasi tutti i settori della logica moderna; l'impatto delle sue opere fu enorme e si diffuse anche fuori dal mondo accademico matematico.^[10] Gödel pubblicò il suo più famoso risultato nel 1931 a venticinque anni - dopo averlo presentato al pubblico l'anno precedente al "Secondo Congresso di Epistemologia delle Scienze Esatte" di Königsberg - quando lavorava presso l'Università di Vienna. Questo lavoro conteneva i famosi due teoremi di incompletezza di Gödel che da lui presero il nome, che stabiliscono che ogni sistema assiomatico consistente e in grado di descrivere l'aritmetica dei numeri interi è dotato di proposizioni che non possono essere dimostrate né confutate sulla base degli assiomi di partenza. Parafrasando: se un sistema formale S è consistente (privo di contraddizioni), allora è possibile costruire una formula F sintatticamente corretta, ma indimostrabile in S, che quindi risulta “incompleto”. Per cui se un sistema formale è logicamente coerente, la sua non contraddittorietà non può essere dimostrata stando all'interno di quel sistema logico.

I teoremi di Gödel nascevano in relazione alle ricerche volte a realizzare il programma di Hilbert, che chiedeva di trovare un linguaggio matematico che potesse provare da solo la propria consistenza o coerenza. Gödel dimostrò invece che la coerenza di un sistema è tale proprio perché non può essere dimostrata.^[11] Molti non compresero le affermazioni di Gödel, ritenendo che il suo teorema avesse definitivamente distrutto la possibilità di accedere a verità matematiche di cui avere assoluta certezza. Gödel invece era convinto di non avere affatto dissolto la consistenza dei sistemi logici, da lui sempre considerati come funzioni reali dotati di pieno valore ontologico, e che anzi il suo stesso teorema di incompletezza aveva una valenza di oggettività e rigore logico. Oltretutto, spiegava Gödel, la presenza di un enunciato che affermi di essere indimostrabile all'interno di un sistema formale significa appunto che esso è vero, dato che non può essere effettivamente dimostrato. E proseguiva dicendo:

Nonostante ciò, i teoremi di incompletezza hanno avuto un interesse crescente del pubblico, grazie anche alle possibili interpretazioni extra matematiche - pur non affatto implicate dai teoremi stessi - che per molti costituiscono un'autentica critica alla ragione formale, dimostrando un limite intrinseco a tale modalità conoscitiva. I due teoremi, il primo in particolare, furono invece interpretati da Gödel come una conferma del platonismo, corrente filosofica che affermava l'esistenza di formule vere non dimostrabili (episteme), e dunque l'irriducibilità della nozione di verità a quella di dimostrabilità.^[12] In accordo con questa filosofia, era convinto che la verità, essendo qualcosa di oggettivo, cioè indipendente dalle costruzioni effettuate nelle dimostrazioni dei teoremi, non può essere posta a conclusione di alcuna sequenza dimostrativa, ma solo all'origine.

Gödel fu anche autore di un celebre lavoro sull'ipotesi del continuo. Riuscì a dimostrare che essa non può essere confutata dagli assiomi della teoria degli insiemi, pur essendo accettata fino a quel momento, se comunque si continua a ritenere tali assiomi consistenti^{[non chiaro]}. Questa ipotesi fu poi ampliata da Paul Cohen che ne provò l'indipendenza, illustrando come sia indimostrabile a partire dagli stessi assiomi.^[13]

Gödel vedeva nella teoria degli insiemi e nella matematica in genere una forma di conoscenza "reale" e non puramente astratta o concettuale, sebbene prescinda dall'esperienza dei sensi e si basi esclusivamente sull'intuizione mentale.^[14] Similmente a Parmenide, egli concepiva la logica "formale" come unita indissolubilmente a un contenuto "sostanziale":

Elaborò anche, tramite l'interpretazione cosmologica della sua metrica (una soluzione esatta delle equazioni di campo di Einstein), la teoria di un universo rotante su sé stesso, diverso sia dall'universo statico in voga all'epoca sia dal Big Bang, che bilancia la gravità con la forza centrifuga anziché con una costante cosmologica repulsiva intrinseca allo spaziotempo come nel modello standard; questa teoria è nota come universo di Gödel, ma non è stata universalmente accettata dalla comunità scientifica in quanto non prende in considerazione la legge di Hubble.

Un altro risultato a cui giunse fu la dimostrazione nel 1970 dell'esistenza di Dio, inteso come ente che assomma tutte le qualità positive di un dato insieme.^[8] Questo teorema deriva dal concetto di ultrafiltro e ha poco a che vedere con la teologia tradizionale, sebbene nascesse anche da esigenze di carattere esistenziale e religioso. Per comprendere la sua Ontologischer Gottesbeweis, ovvero la sua prova ontologica di Dio, occorre tener presente come Gödel avesse sempre avvertito l'urgenza di trovare un ordine logico-matematico da porre a fondamento dell'esistenza dell'universo. Un tale ordine gli sembrava fosse garantito solo dalla necessità logica dell'esistenza di Dio, ossia dalla dimostrazione di un Essere che assommi in sé le qualità positive di tutti gli enti reali. Come nel primo teorema di incompletezza, Dio doveva rappresentare quella Verità che non dipende da calcoli umani ed è perciò assoluta e non relativa. Riemerge qui l'impostazione platonica di Gödel, nonché la sua forte stima per il filosofo tedesco Gottfried Leibniz, di cui riprende la prova ontologica e la definizione di Dio come la somma perfetta di «ogni qualità semplice che sia positiva e assoluta»^[15].

La dimostrazione gödeliana, concepita come un teorema logico-formale assolutamente analogo a quelli suoi precedenti, risulta dal fatto che non è logicamente plausibile ammettere la possibilità di un unico Essere provvisto di tutte le "proprietà positive", tra cui la stessa esistenza, senza attribuirgli una realtà effettiva, perché ciò sarebbe una palese contraddizione in termini. Il passaggio dal piano razionale a quello reale avviene per l'impossibilità di salvaguardare la coerenza del discorso logico qualora si negasse a Dio un'esistenza fattuale. E conclude quindi affermando che «Dio esiste necessariamente, come volevasi dimostrare».^[16] A differenza dell'amico Albert Einstein, che concepiva Dio alla stregua di un'entità impersonale da cogliere con la sola ragione, Gödel era animato anche da sentimenti di venerazione religiosa.^[16] Cresciuto nella fede luterana, egli si descriveva come un teista, credente in un Dio cristiano e personalistico come quello di Leibniz e non panteista alla maniera di Spinoza e Einstein.^[17]

La prova ontologica di Dio non fu mai resa nota dall'autore, probabilmente per timore di essere frainteso;^[18] essa rimase sconosciuta fino alla pubblicazione postuma negli Stati Uniti, nove anni dopo la sua morte, in una raccolta contenente altri scritti inediti del matematico moravo.^[18]

• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, «Monatshefte für Mathematik und Physik», vol. 38, 1931. È disponibile una traduzione in inglese di Martin Hirzel, 2000, qui in Internet Archive (archiviato il 19 marzo 2012).
• The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory, Princeton University Press, Princeton, NJ., 1940.
• Ontologischer Beweis (Prova ontologica), pubblicata postuma nel 1987 (trad. it.: La prova matematica dell'esistenza di Dio).
• Collected Works, New York, Oxford University Press, 1986-2006, 5 volumi, testi in tedesco con traduzione inglese a fronte.
• My philosophical viewpoint, c. 1960 in Hao Wang, A Logical Journey: from Gödel to Philosophy, Cambridge, USA, The MIT Press, 1996, p. 316.
• The modern development of the foundations of mathematics in the light of philosophy, in Collected Works, Volume III, 1961, pp. 375–387.

• Opere, vol. 1 (1929-1936), Torino, Bollati Boringhieri, 1999.
• Opere, vol. 2 (1938-1974), Torino, Bollati Boringhieri, 2002.
• Opere, vol. 3, saggi inediti e conferenze, Torino, Bollati Boringhieri, 2006.
• Opere, vol. 4, corrispondenza A-G, Torino, Bollati Boringhieri, 2009.
• Opere, vol. 5, corrispondenza H-Z, Torino, Bollati Boringhieri, 2009.

• Italo Aimonetto, Il fondamento del teorema di Gödel: da Peano a Frege e Russell, Torino, Rivista Filosofia, 39, 1988, pp. 231–249.
• Francesco Berto, Logica da zero a Gödel, Bari, Laterza, 2008, ISBN 88-420-8634-7.
• Francesco Berto, Tutti pazzi per Gödel. La guida completa al teorema d'incompletezza, Bari, Laterza, 2008, ISBN 978-88-420-8590-4.
• Riccardo Bruni, Kurt Gödel, un profilo, Roma, Carocci, 2015, ISBN 978-88-430-7513-3.
• Pierre Cassou-Noguès, I demoni di Gödel. Logica e follia. Milano, Bruno Mondadori, 2008, ISBN 978-88-6159-145-5.
• John L. Casti, Werner DePauli, Gödel: L'eccentrica vita di un genio, Milano, Raffaello Cortina, 2001, ISBN 88-7078-711-7.
• Daniele Chiffi, Kurt Gödel. Philosophical Explorations, Aracne, Roma 2012.
• Maurizio Cotti Piccinelli, Il teorema di Gödel. Un trattato sulla conoscenza, Genova, Il Melangolo, 2018, ISBN 978-88-6983-168-3.
• John W. Dawson jr, Dilemmi Logici: La vita e l'opera di Kurt Gödel, Torino, Bollati Boringhieri, 2001, ISBN 88-339-1353-8.
• Sergio Galvan. Introduzione ai teoremi di incompletezza. Milano, Franco Angeli, 1992.
• Rebecca Goldstein, Incompletezza. La dimostrazione e il paradosso di Kurt Godel, Torino, Codice Edizioni, 2006, ISBN 88-7578-041-2.
• Douglas Hofstadter, Gödel, Escher, Bach: un'eterna ghirlanda brillante, Milano, Adelphi, 1990, ISBN 88-459-0755-4.
• Gabriele Lolli, Da Euclide a Gödel, Bologna, Il Mulino, 2010, ISBN 978-88-15-13923-8.
• Gabriele Lolli, Incompletezza. Saggio su Kurt Gödel. Bologna, Il Mulino, 1992.
• Gabriele Lolli (a cura di), Scritti Scelti, Torino, Bollati Boringhieri, 2011.
• Gabriele Lolli, Sotto il segno di Gödel. Bologna, Il Mulino, 2007.
• Gabriele Lolli e Ugo Pagallo (a cura di), La complessità di Gödel, Torino, Giappichelli, 2008, ISBN 978-88-348-8271-9.
• Gabriele Lolli (a cura di), La prova matematica dell'esistenza di Dio, Torino, Bollati Boringhieri, 2006, ISBN 88-339-1679-0.
• Ernest Nagel e James R. Newman, La prova di Gödel, Torino, Bollati Boringhieri, 1992, ISBN 88-339-0309-5.
• Piero Pasolini, Il teorema di Gödel di fronte alla logica, alla cibernetica e all'assoluto, Rivista Nuova Umanità n. 1, Roma, Ed. Città Nuova, 1978.
• Palle Yourgrau, Un mondo senza tempo. L'eredità dimenticata di Gödel e Einstein. Milano, Il Saggiatore, 2006, ISBN 88-428-0903-9.
• Piergiorgio Odifreddi, Il dio della logica. Vita geniale di Kurt Gödel, matematico della filosofia. Rizzoli, 2018, ISBN 978-8830423053

• Prova ontologica di Gödel
• Teoremi di incompletezza di Gödel
• Teorema di completezza di Gödel
• Dimostrazione originale del teorema di completezza di Gödel
• Falla di Gödel

• Wikiquote contiene citazioni di o su Kurt Gödel
• Wikimedia Commons contiene immagini o altri file su Kurt Gödel

• Gödel, Kurt, su Treccani.it – Enciclopedie on line, Istituto dell'Enciclopedia Italiana.
• GÖDEL, Kurt, in Enciclopedia Italiana, III Appendice, Istituto dell'Enciclopedia Italiana, 1961.
• Gödel, Kurt, in Dizionario di filosofia, Istituto dell'Enciclopedia Italiana, 2009.
• (EN) Mark Balaguer, Kurt Gödel, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
• Kurt Gödel, su BeWeb, Conferenza Episcopale Italiana.
• (EN) Kurt Gödel, su MacTutor, University of St Andrews, Scotland.
• (EN) Kurt Gödel, su Mathematics Genealogy Project, North Dakota State University.
• (EN) Opere di Kurt Gödel, su Open Library, Internet Archive.
• (EN) Opere riguardanti Kurt Gödel, su Open Library, Internet Archive.
• (EN) Edward N. Zalta (a cura di), Kurt Gödel, in Stanford Encyclopedia of Philosophy, Center for the Study of Language and Information (CSLI), Università di Stanford.

Portale Biografie

Portale Filosofia

Portale Matematica