Gli amici si proclamano sinceri, i nemici lo sono.
A. Schopenhauer. Parerga e paralipomena.
Il teorema di Gödel, la dimostrazione che non possiamo sapere tutto.
Se la relatività ha modificato il nostro concetto di spazio e tempo, la meccanica quantistica ha rivoluzionato l'idea di realtà, il teorema di incompletezza di Gödel ha fatto qualcosa di altrettanto sorprendente: ha dimostrato che perfino la matematica, il linguaggio della certezza per eccellenza, possiede limiti che non possono essere superati.
All'inizio del Novecento molti matematici erano convinti che, partendo da poche regole fondamentali, sarebbe stato possibile dimostrare ogni verità matematica. Il più convinto sostenitore di questa visione era David Hilbert, che immaginava la matematica come un edificio perfetto, dove ogni mattone trovava il proprio posto seguendo regole precise.
Nel 1931 il giovane logico austriaco Kurt Gödel dimostrò che quel sogno era irraggiungibile.
L'idea era tanto semplice quanto geniale. Gödel costruì, con il linguaggio della matematica, una proposizione che affermava: «Questa affermazione non può essere dimostrata.»
A questo punto accade qualcosa di sorprendente. Se il sistema riuscisse a dimostrarla, la frase sarebbe falsa, perché sostiene di non poter essere dimostrata. Se invece il sistema non riuscisse a dimostrarla, allora la frase sarebbe vera. In entrambi i casi emerge una conclusione inevitabile: esistono affermazioni vere che nessun procedimento matematico può dimostrare.
- Nasce così il Primo Teorema di Incompletezza, secondo cui ogni sistema matematico sufficientemente potente contiene verità che non possono essere dimostrate utilizzando soltanto le proprie regole.
- Gödel andò ancora oltre. Con il Secondo Teorema di Incompletezza dimostrò che un sistema coerente non può nemmeno provare da solo di essere privo di contraddizioni. Per verificarne la solidità occorre sempre uno sguardo esterno, proprio come un libro non può certificare da sé che tutto ciò che contiene sia corretto.
Le conseguenze furono immense. Pochi anni dopo, Alan Turing sviluppò risultati che portarono al celebre problema dell'arresto, dimostrando che esistono problemi che nessun algoritmo potrà risolvere in tutti i casi.
Da quelle idee sarebbero poi nati i fondamenti teorici dell'informatica moderna.
Il teorema di Gödel compare spesso anche nella cultura popolare. Romanzi, film e serie televisive lo citano quando affrontano i limiti della conoscenza o dell'intelligenza artificiale.
Perfino opere come 2001: Odissea nello spazio, con il computer HAL 9000, oppure The Matrix, richiamano indirettamente una domanda che Gödel aveva già posto quasi un secolo fa: può un sistema comprendere completamente sé stesso?
Naturalmente il teorema non dimostra che un'intelligenza artificiale non possa pensare. Dimostra qualcosa di molto più profondo: ogni sistema basato su regole sufficientemente complesse incontrerà sempre domande alle quali non potrà rispondere usando soltanto quelle stesse regole.
Paradossalmente, una delle più grandi conquiste della matematica consiste proprio nell'aver dimostrato che non tutto può essere dimostrato.
Una lezione di straordinaria umiltà, che ricorda come perfino la disciplina più rigorosa abbia un orizzonte oltre il quale resta sempre qualcosa da scoprire.
Fonti
Piergiorgio Odifreddi, Il Vangelo secondo la Scienza e Le menzogne di Ulisse.
Douglas R. Hofstadter, Gödel, Escher, Bach. Un'Eterna Ghirlanda Brillante (edizione italiana).
Gabriele Lolli, Da Euclide a Gödel.
Enciclopedia Treccani, voce "Kurt Gödel" e "Teoremi di incompletezza".
Enciclopedia della Matematica Treccani.
IMPRESA OGGI - 21 luglio 2026
