» Esercizi svolti di Matematica e Fisica

Dio e la Logica: Il "Teorema di Dio" di Kurt Gödel

La recente scomparsa di Antonino Zichichi ha riportato l'attenzione su un tema che molti considerano un ossimoro: lo scienziato credente. Zichichi ha passato una vita a cercare le impronte del Creatore nelle simmetrie delle particelle elementari. Ma se vi dicessi che il più grande logico della storia, Kurt Gödel, ha fatto di più? Non ha cercato Dio in un acceleratore di particelle, ma tra le pieghe della logica modale.

Un segreto nel cassetto

Gödel, l'uomo che ha scosso le fondamenta della matematica con i suoi Teoremi di Incompletezza, era un uomo profondamente spirituale, ma quasi ossessivamente riservato. La sua dimostrazione ontologica dell'esistenza di Dio rimase chiusa in un cassetto per decenni. Perché? Gödel temeva che, se avesse rivelato di credere fermamente in una forma di vita dopo la morte e in un'entità superiore, la comunità scientifica avrebbe rigettato i suoi lavori matematici come "follie di un mistico".

Il concetto di "God-like"

A differenza dei teologi classici, Gödel non parte da testi sacri. Parte da definizioni e assiomi. Il cuore della sua prova è la definizione di un oggetto God-like (simile a Dio).

Per Gödel, un'entità è "di tipo divino" se possiede tutte le proprietà positive.
Cosa sia una proprietà positiva è l'assioma di partenza: la bellezza è positiva, la verità è positiva, l'esistenza stessa è una proprietà positiva. Il male, al contrario, è visto come "privazione" o assenza di proprietà, dunque non entra nel computo.

La Logica Modale: Dal "Possibile" al "Necessario"

Il salto logico di Gödel sfrutta la logica modale, che distingue tra ciò che è possibile e ciò che è necessario. In parole povere, il ragionamento segue questo schema:

1. È possibile che esista un essere che possiede tutte le proprietà positive.

2. L' "esistenza necessaria" è essa stessa una proprietà positiva.

3. Se è possibile che Dio esista, allora deve esistere per forza (perché se non esistesse, gli mancherebbe una proprietà positiva fondamentale, l'esistenza, contraddicendo la definizione iniziale).

È un castello di carte logico perfetto: se accetti le premesse (gli assiomi), non puoi scappare dalla conclusione.

Il paradosso di Odifreddi: L'ateo che spiega Dio

Qui arriviamo al punto più delizioso della vicenda, citato spesso da chi ama le ironie della storia della scienza. L'edizione italiana di riferimento di questo lavoro (La prova matematica dell'esistenza di Dio, Bollati Boringhieri) è stata curata da Piergiorgio Odifreddi.

Sì, proprio lui: il matematico impertinente, l'ateo militante che definisce il cristianesimo "una cretineria per bambini". Perché un ateo così convinto dovrebbe curare la prova di Dio?

1. L'onestà intellettuale: Per un matematico, la bellezza di una dimostrazione prescinde dal fatto che il risultato sia "simpatico" o meno.

2. La neutralità della logica: Odifreddi ci ricorda che la logica è uno strumento. La dimostrazione di Gödel è formalmente corretta, ma la sua verità dipende dagli assiomi. Se accetti che "l'esistenza sia una proprietà positiva", allora Dio esiste. Se rifiuti l'assioma, la dimostrazione cade.

Conclusione: Dio esiste o è solo un Teorema?

La prova di Gödel non ci dice se Dio ci ascolta quando preghiamo, né se gli interessa la nostra dieta o i nostri peccati. Ci dice però che l'idea di un'entità suprema non è un'invenzione irrazionale dei "creduloni", ma una possibilità logica coerente.

In un'epoca di scontri frontali tra scientismo estremo e fede cieca, la lezione di Gödel (e il lavoro di divulgazione di figure come Zichichi o lo stesso Odifreddi, seppur da fronti opposti) ci insegna che il Mistero non è il nemico della Ragione, ma forse il suo orizzonte ultimo.
Dona ora tramite PayPal

Sostienici

Puoi contribuire all’uscita di nuovi articoli ed e-books gratuiti che il nostro staff potrà mettere a disposizione per te e migliaia di altri lettori.