Sinossi Libro
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.
