Gödel fornisce, in questo piccolo scritto, una dimostrazione logica dell’esistenza di Dio: impresa che oggi potra 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.

Kurt Gödel (1906-1978) emigrò nel 1940 dall'Austria negli Stati Uniti, dove trovò una posizione stabile all'Institute for Advanced Study, Princeton. È considerato uno dei più grandi logici di tutti i tempi. Presso Bollati Boringhieri sono usciti le sue Opere, in 5 volumi (1999-2009), e La prova matematica dellesistenza di Dio (2006).