Gödel fornisce, in questo piccolo scritto, una dimostrazione logica dell’esistenza di Dio: impresa che oggi potrà anche sembrare anacronistica, ma che si situa nella scia di una tradizione millenaria. La dimostrazione fu concepita nel 1941, rimaneggiata nel 1954, e perfezionata nel 1970. Nel febbraio dello stesso anno Gödel mostrò la versione definitiva al logico Dana Scott, e nell’agosto dichiarò all’economista Oskar Morgenstern di esserne soddisfatto, ma di non volerla pubblicare: non intendeva rivelare i suoi interessi teologici; la dimostrazione gli interessava solo da un punto di vista logico.
Schema della prova ontologica di Gödel
Gödel si ispirò alla prova ontologica di Leibniz e, utilizzando gli strumenti della logica moderna, diede nuovo impulso alla tradizione iniziata con Anselmo d'Aosta.
Lo schema della prova ontologica di Gödel è il seguente:
Ogni proprietà positiva è necessariamente positiva.
Per definizione Dio ha tutte e solo le proprietà positive.
L'esistenza necessaria è una proprietà positiva.
Quindi Dio, se è possibile, possiede necessariamente l'esistenza.
Il sistema di tutte le proprietà positive è compatibile.
Quindi Dio è possibile.
Essendo possibile, Dio esiste necessariamente.
