Una delle più grandi menti del XX secolo è sicuramente quella del moravo Kurt Gödel (1906-1978). Nato nell’odierna Brno, la vita di Gödel, come per altro quella di molti geni, fu piuttosto tormentata e dominata da quello che è stato chiamato "il male di vivere". Fin da giovane si dimostrò brillante negli studi, ma lungo il corso della sua esistenza dovette spesso combattere contro la depressione. Nel 1926 fu tra i frequentatori del Circolo di Vienna e in questo vivace ambiente culturale neopositivista maturò definitivamente la sua vocazione nei confronti della ricerca logico-matematica. Mai scelta risultò più azzeccata visto che già nel 1931, a soli venticinque anni, esponeva in un celebre articolo i presupposti dei suoi teoremi di incompletezza destinati a sconvolgere tutte le teorie logico-matematiche elaborate fino a quel momento. Se di Gödel sono molto noti i rivoluzionari contributi alla teoria logico-matematica, meno noto è il fatto che formulò una sua rielaborazione della prova ontologica di sant’Anselmo di Aosta, ossia di quella dimostrazione logica che ritiene di poter inferire l’esistenza di Dio a priori, partendo dal concetto che abbiamo di lui. Del resto, fino al 1987 la prova ontologica gödeliana era nota esclusivamente a pochi amici dell’autore ed è inoltre rimasta a lungo tra le sue carte inedite. Su questo tema è ritornato di recente David P. Goldman (un redattore capo che dichiara di collocarsi in una prospettiva giudaico-cristiana) sulla prestigiosa rivista First Things, facendo un rapido riassunto del dibattito apertosi in filosofia sulla cosiddetta "prova a priori" e avanzando alcune osservazioni critiche. Goldman rileva innanzitutto come la scoperta dell’impossibilità di fare della matematica un sistema formale in sé compiuto quale conseguenza dei teoremi di incompletezza conduca lo stesso Gödel a concludere che noi non possiamo conseguire un credibile approccio con la realtà senza la presenza di Dio. Dopo aver infatti tentato nel 1949 di prospettare una soluzione originale delle equazioni della teoria generale della relatività del suo amico Albert Einstein sulla base dell’ipotesi di un universo in rotazione su se stesso, dopo aver cioè proposto una descrizione logica del cosmo, Gödel sancì che pure così al "sistema" continuava a mancare qualcosa di essenziale: la ragione dell’esistenza del mondo secondo un ordine logico-matematico. E la soluzione di questo problema poteva venire soltanto da una dimostrazione razionale dell’esistenza di Dio, ossia dalla necessità logica della presenza di un ente che assommi in sé tutte le qualità positive. È dunque da presupposti sia logici sia esistenziali che è scaturita nella mente di Gödel l’esigenza di concepire una nuova prova ontologica modale. Ma, come nota correttamente Goldman, il Dio di Gödel non è né la divinità benevola della vecchia teologia naturale né il perfetto armonizzatore dei seguaci del disegno intelligente, dal momento che egli cela totalmente il proprio volto nel mondo e può essere colto soltanto nel paradosso e nell’intuizione razionale. Nonostante ciò, Dio non è un’astrazione perché «può agire come una persona» ed è quanto constata facilmente chi come Gödel lo cerca nel paradosso. Chi si imbatte nella prova ontologica di Gödel difficilmente riesce a non provare nello stesso istante ammirazione e sconcerto: ammirazione per il rigore logico della dimostrazione; sconcerto per l’arditezza della prova. Si tratta, infatti, di un teorema logico costituito da ventotto passaggi e strutturato con formule ben formate di logica simbolica (accompagnate da alcune annotazioni piuttosto scarne dell’autore), la cui conclusione equivale alla seguente perentoria affermazione: «Dio esiste necessariamente, come volevasi dimostrare». La ritrosia dell’autore a renderla nota la dice lunga sui pregiudizi del suo ambiente universitario contro fede religiosa. Come ricorda sempre Goldman riportando le parole di Adele, la moglie di Gödel, «sebbene non andasse in chiesa era religioso e leggeva la Bibbia a letto ogni domenica mattina». Non manifestava pubblicamente le sue convinzioni religiose perché temeva di risultare ridicolo, visto che – come scriveva alla madre nel 1961 – «il novanta percento dei filosofi contemporanei considerava loro principale dovere espellere dalla testa degli uomini la beatitudine religiosa». Trattando della prova a priori dell’esistenza di Dio nel mio libro intitolato Prove logiche dell’esistenza di Dio da Anselmo d’Aosta a Kurt Gödel (Marietti), ho osservato che una dimostrazione di questo tipo può essere accolta se si accetta una qualche forma di platonismo delle idee o delle essenze per cui i concetti sono dotati di una realtà oggettiva. Con questa tesi pare concordare anche David P. Goldman, il quale lascia intendere che Gödel in matematica era un "platonista", ovvero aderiva alla posizione di chi ritiene che i numeri e le funzioni matematiche non sono una mera "costruzione" del nostro intelletto, ma possiedono una realtà propria. A detta di Goldman, tuttavia, la sfida maggiore lanciata dal pensiero religioso di Gödel è rivolta non ai matematici, bensì ai teologi, che lo hanno fino ad ora volutamente evitato forse perché si tratta di una sfida troppo impegnativa.