Teorema di incompletezza di Gödel: i limiti della matematica

Il teorema di incompletezza di Gödel è una delle conquiste intellettuali più sconvolgenti del Novecento: nel 1931 un matematico austriaco di venticinque anni dimostrò che la matematica non potrà mai essere completa e certa allo stesso tempo. In ogni sistema formale abbastanza potente da contenere l'aritmetica esistono affermazioni vere che il sistema stesso non potrà mai dimostrare. Fu la fine di un sogno coltivato per secoli.

Quel sogno aveva un nome e un volto: il programma di Hilbert. All'inizio del XX secolo il grande matematico tedesco David Hilbert aveva proposto di rifondare l'intera matematica su basi assolutamente solide, dimostrando una volta per tutte che fosse coerente (priva di contraddizioni) e completa (capace di dimostrare ogni verità). Kurt Gödel fece crollare quell'edificio dall'interno, usando proprio gli strumenti della logica formale.

La frase che parla di sé stessa

Il cuore della dimostrazione è un trucco geniale chiamato numerazione di Gödel: a ogni simbolo, formula e dimostrazione viene assegnato un numero univoco. In questo modo affermazioni sulla matematica diventano affermazioni dentro la matematica. Gödel costruì così una proposizione che, tradotta, dice in sostanza: «Questo enunciato non è dimostrabile». Se il sistema potesse dimostrarla, dimostrerebbe qualcosa di falso e sarebbe incoerente; se non può dimostrarla, allora l'enunciato è vero ma indimostrabile. In entrambi i casi la completezza è perduta. È la versione rigorosa e matematica dell'antico paradosso del mentitore.

Il secondo teorema di incompletezza è ancora più tagliente: un sistema coerente non può dimostrare la propria coerenza. La matematica, in altre parole, non può garantire da sola di non contenere contraddizioni nascoste. Come spiega la voce della Stanford Encyclopedia of Philosophy dedicata ai teoremi di incompletezza, questo risultato segna un confine invalicabile per qualsiasi tentativo di auto-fondazione.

Chi era Kurt Gödel

Nato a Brno nel 1906, Gödel studiò a Vienna e frequentò il celebre Circolo di Vienna, pur restando un platonista convinto: per lui gli oggetti matematici esistevano davvero, indipendentemente dalla mente umana. Secondo la biografia dell'Encyclopaedia Britannica, presentò i suoi risultati nel 1930 e li pubblicò nel 1931 in un articolo dal titolo tedesco quasi impronunciabile. Emigrato negli Stati Uniti, divenne membro dell'Institute for Advanced Study di Princeton, dove strinse una profonda amicizia con Albert Einstein, che diceva di recarsi in ufficio solo «per il privilegio di tornare a casa a piedi con Gödel».

Perché non è la "fine della matematica"

Un equivoco diffuso vuole che Gödel abbia mostrato che «la matematica è inutile» o «niente è dimostrabile». È falso. La quasi totalità dei teoremi che usiamo resta perfettamente dimostrabile. Ciò che Gödel ha provato è che nessun singolo sistema finito di assiomi può catturare tutte le verità aritmetiche: per ogni sistema esisterà sempre qualche verità che gli sfugge e che richiederebbe un assioma in più. La matematica resta affidabile, ma rinuncia per sempre alla pretesa di onniscienza.

Le conseguenze hanno travalicato la logica pura. Pochi anni dopo, Alan Turing tradusse l'idea di Gödel nel linguaggio del calcolo, dimostrando l'esistenza di problemi indecidibili che nessun computer potrà mai risolvere in generale — il celebre problema dell'arresto. Il limite scoperto da Gödel è quindi anche il confine ultimo dell'informatica.

Un'eredità inquieta

Gödel ebbe una vecchiaia tormentata da paranoie e dalla paura di essere avvelenato; morì a Princeton nel 1978 rifiutando il cibo. Restano i suoi teoremi, come ricorda anche la voce enciclopedica italiana sui teoremi di incompletezza, a ricordarci una lezione vertiginosa: persino il regno più rigoroso del pensiero umano contiene verità che possiamo intuire ma mai dimostrare. La certezza assoluta, là dove sembrava più al sicuro, non esiste.

L'eco oltre la matematica

I teoremi di Gödel hanno avuto un'influenza che va ben oltre i numeri. In filosofia della mente, alcuni pensatori — come John Lucas e in seguito il fisico Roger Penrose — li hanno usati per sostenere che la mente umana non possa essere ridotta a un computer: poiché noi «vediamo» la verità di enunciati che un sistema formale non può dimostrare, la coscienza supererebbe ogni macchina. È una tesi affascinante ma molto contestata: la maggior parte dei logici ritiene che l'argomento non regga, perché nulla garantisce che la nostra mente sia davvero coerente nel senso tecnico richiesto. Il dibattito, comunque, dura da settant'anni.

C'è poi un risvolto umano che merita di essere ricordato. Quando Gödel presentò i suoi risultati a Königsberg nel 1930, in un convegno dove David Hilbert avrebbe pronunciato il suo celebre motto ottimista «Wir müssen wissen, wir werden wissen» (dobbiamo sapere, sapremo), quasi nessuno colse subito la portata della scoperta. Solo il matematico John von Neumann ne intuì immediatamente le conseguenze e nei giorni successivi ricavò in autonomia il secondo teorema, salvo poi scoprire che Gödel l'aveva già anticipato. È uno dei rari casi in cui un'idea ha cambiato la storia del pensiero quasi in silenzio, davanti a una platea distratta.

Vale la pena chiarire un ultimo equivoco. Incompletezza non significa incoerenza: un sistema può essere perfettamente privo di contraddizioni e tuttavia incapace di dimostrare tutte le verità. Anzi, sono proprio i sistemi più coerenti e potenti a non potersi auto-certificare. La matematica, dopo Gödel, ha imparato a convivere con questa modestia strutturale, continuando a crescere rigogliosa. Il sogno di Hilbert di un metodo automatico capace di decidere ogni questione era irrealizzabile; ma proprio dalle sue macerie sono nate la teoria della calcolabilità e, in ultima analisi, l'informatica moderna. A volte, in scienza, scoprire un limite vale più che abbatterlo.