Kurt Gödel e la prova ontologica: quando la matematica prova a dimostrare Dio

Qualcuno, a un certo punto della storia, ha deciso che l’idea di Dio poteva essere trattata come una questione da risolvere con la stessa freddezza con cui si risolve un’equazione, e già solo questa cosa, detta così, suona come uno di quei plot twist che ti aspetteresti in un anime esistenzialista anni ’90, qualcosa tra Neon Genesis Evangelion e una puntata particolarmente disturbante di Serial Experiments Lain, solo che qui non stiamo parlando di fiction ma di uno dei cervelli più fuori scala del Novecento, Kurt Gödel, uno che già da giovane aveva fatto tremare le fondamenta della matematica come se fosse un boss finale apparso troppo presto nella partita.

La cosa assurda è che Gödel non era il tipo da prediche o sermoni, anzi, il suo approccio aveva qualcosa di quasi hackeristico, come se stesse cercando un exploit dentro il sistema logico della realtà, una backdoor nascosta tra definizioni e assiomi, e quella famosa “prova ontologica” nasce proprio così, come un esercizio mentale spinto al limite, una specie di speedrun della filosofia che parte da un’idea antichissima e la riscrive con il linguaggio glaciale della logica modale, trasformando Dio non in una figura religiosa ma in una funzione, una variabile, un’entità definita da proprietà che devono essere, per forza di cose, tutte positive.

E qui la testa inizia a girare un po’, perché il concetto è tanto semplice quanto destabilizzante: se puoi immaginare un essere che possiede tutte le proprietà positive, e se tra queste proprietà includi anche l’esistenza necessaria, allora quel qualcosa non può limitarsi a “forse esistere”, deve esistere per forza, come se il sistema stesso non potesse reggere senza quella presenza, come se fosse una condizione di stabilità dell’universo logico.

Suona quasi come una lore segreta nascosta sotto la superficie del reale, tipo quelle teorie nei videogiochi dove scopri che il mondo è sostenuto da una regola invisibile che nessuno vede ma che tutto tiene insieme, e infatti la cosa che mi manda fuori di testa è che Gödel non lo vedeva come un atto di fede, ma come una costruzione impeccabile, un puzzle chiuso perfettamente, una di quelle cose che ti fanno dire “ok, anche se non ci credo, non riesco a smontarla”.

E non arriva dal nulla, ovviamente, perché dietro c’è tutta una tradizione filosofica che parte da Anselmo d’Aosta e passa per Gottfried Wilhelm Leibniz, gente che già mille anni fa si stava facendo queste domande mentre il resto del mondo era impegnato a sopravvivere, solo che loro lavoravano ancora in un territorio più intuitivo, più narrativo, mentre Gödel entra in scena con la mentalità di chi vuole formalizzare tutto, come se stesse scrivendo il codice sorgente dell’esistenza.

E qui succede qualcosa di molto geek, nel senso più puro del termine: la filosofia incontra la matematica, la matematica incontra la logica formale, e improvvisamente una questione che sembrava da discussione infinita tra teologi diventa un problema tecnico, quasi verificabile, tanto che decenni dopo qualcuno ha davvero deciso di mettere alla prova quella struttura usando computer, come se fosse un algoritmo da testare, e il risultato è stato che sì, il sistema regge, la costruzione non ha falle interne.

Non significa che Dio esista, attenzione, significa che se accetti le premesse, il sistema ti obbliga ad accettare anche la conclusione, ed è qui che il cervello inizia a fare buffering, perché ti rendi conto che il vero campo di battaglia non è la conclusione, ma le premesse, come in qualsiasi buon dibattito nerd dove la differenza la fa sempre la definizione iniziale delle regole.

E mentre tutto questo accadeva, Gödel stava anche demolendo certezze fondamentali della matematica stessa, roba tipo i suoi teoremi di incompletezza che, detto in modo brutale, suonano come: esistono verità che non potrai mai dimostrare, mai, indipendentemente da quanto sei bravo o da quanto è potente il tuo sistema, e già questo basterebbe a mandare in crisi chiunque abbia mai creduto che la matematica fosse una struttura perfetta e chiusa.

Se ci pensi, è quasi poetico, anche se lui probabilmente odierebbe questa parola: da una parte dimostra che ci sono limiti invalicabili nella conoscenza, dall’altra costruisce una prova che, se accettata, porta a qualcosa di assoluto, necessario, inevitabile, come se oscillasse continuamente tra il dirti “non puoi sapere tutto” e “ma guarda che alcune cose, se le imposti così, non possono che essere vere”.

Poi c’è il lato umano, e lì la storia cambia tono, diventa più fragile, quasi disturbante, perché dietro quella mente che sembrava muoversi su livelli inaccessibili, si nascondeva una persona che negli anni si è persa in paure sempre più profonde, fino a convincersi che il mondo fosse contro di lui, che il cibo fosse avvelenato, che la realtà stessa fosse diventata un luogo inaffidabile, ed è difficile non vedere una specie di tragica ironia in tutto questo, uno che ha passato la vita a cercare certezze assolute e finisce per non fidarsi più nemmeno di ciò che ha nel piatto.

E in mezzo a tutto questo c’è anche un’amicizia che sembra uscita da una fanfiction della scienza, quella con Albert Einstein, due menti fuori scala che passeggiano insieme a Princeton parlando di tempo, logica, universo, roba che oggi farebbe impazzire qualsiasi community nerd se solo esistessero registrazioni dettagliate di quelle conversazioni.

Forse è proprio questo che rende la prova ontologica di Gödel così magnetica ancora oggi, al di là della religione, al di là della filosofia pura: è uno di quei punti in cui capisci che la realtà non è solo quella che tocchi, ma anche quella che puoi costruire con il pensiero, e che a volte le strutture mentali diventano così solide da sembrare più reali del reale stesso.

E allora viene spontaneo chiedersi se stiamo guardando una dimostrazione, un paradosso o semplicemente uno specchio, qualcosa che riflette il nostro bisogno di trovare ordine anche dove l’ordine potrebbe non esserci, un po’ come succede quando cerchiamo significati nascosti nelle trame degli anime o nei finali aperti delle serie che ci ossessionano per anni.

Magari la vera domanda non è se Gödel abbia dimostrato qualcosa, ma perché continuiamo a tornarci sopra, perché questa storia continua a rimbalzare tra matematica, filosofia, AI e cultura pop come un’eco che non si spegne, e forse proprio lì, in quel loop infinito di interpretazioni, si nasconde il motivo per cui certe idee non smettono mai davvero di esistere, un po’ come quelle discussioni che iniziano tra amici e non finiscono mai davvero, restano sospese, pronte a riaccendersi alla prossima occasione… e a questo punto sono curioso: tu da che parte stai, team “è solo logica” o team “qui c’è qualcosa di più”?