La prova ontologica di Gödel

Questa fonte presenta la prova ontologica di Kurt Gödel, un tentativo di dimostrare formalmente l'esistenza di Dio attraverso gli strumenti della logica modale. Il testo definisce Dio come un ente che possiede tutte le proprietà positive, articolando il ragionamento tramite una serie rigorosa di assiomi e definizioni matematiche. Sviluppato inizialmente nel 1941 e perfezionato decenni dopo, questo studio rimase a lungo privato poiché l'autore temeva che i suoi interessi teologici venissero fraintesi. Gödel considerava infatti questa dimostrazione esclusivamente come un'indagine logica pura, inserendosi tuttavia in una tradizione filosofica millenaria. Il documento qui riportato, curato da Gabriele Lolli e Piergiorgio Odifreddi, offre dunque uno sguardo unico sull'intersezione tra fede e razionalità nel pensiero di uno dei più grandi logici della storia.