CPT : Che dire della prova di Gödel dell'esistenza di Dio?

JYB:    Le prove dell'esistenza di Dio hanno una lunga storia, a partire da Anselmo d'Aosta nell'XI secolo. La prova ontologica di Gödel è molto interessante. Da essa, è infatti possibile dedurre prove di coerenza della teoria degli insiemi e dell'aritmetica, contraddicendo in qualche modo il secondo teorema di incompletezza di Gödel. Lo ha dimostrato Piergiorgio Odifreddi, che ha presentato un intervento su questo al III Congresso Mondiale di Logica e Religione che abbiamo organizzato a Varanasi, in India (città famosa sia per l'induismo che per il buddismo) nel novembre 2022.

Questo risultato può sembrare strano, ma il risultato di incompletezza non è assoluto. Poco dopo la dimostrazione di Gödel, Gerhard Gentzen presentò una prova relativa della consistenza dell'aritmetica. E Gentzen era uno dei logici preferiti di Gödel. Studiò le sue opere nei dettagli. Sulla base di ciò, Gödel dimostrò il suo ultimo importante risultato nella logica matematica, una prova di coerenza dell'aritmetica, nota come "prova di Dialettica", che è stata pubblicato nel 1958 in un numero speciale della rivista svizzera Dialettica in onore del 70º compleanno del logico svizzero Paul Bernays (collaboratore principale di David Hilbert nel campo della logica).

E, in modo brillante, Chistoph Benzmueller e Dov Gabbay hanno dimostrato che l'interazione con la tecnologia informatica, non solo consente la valutazione formale di argomenti ontologici, ma anche è utile per affinare la comprensione concettuale delle nozioni e dei concetti coinvolti. Questo lavoro è stato presentato al II Congresso mondiale su logica e religione a Varsavia, in Polonia, nel 2017. Al congresso hanno partecipato anche Saul Kripke (Premio Schlock), Laurent Lafforgue (Medaglia Fields), Michał Heller (Premio Templeton).