Dimostrare Dio

Il testo analizza il rapporto tra logica, matematica e teologia, esaminando i tentativi storici di dimostrare l’esistenza di Dio attraverso il puro ragionamento. L’autore ripercorre le cinque vie di Tommaso d’Aquino basate sulla causa prima e la prova ontologica di Anselmo d’Aosta, evidenziandone i limiti logici e le ipotesi nascoste. Viene dato particolare rilievo alle critiche di Kant, che dichiarò l'impossibilità di trattare il trascendente in modo consistente, e alla successiva formalizzazione di Kurt Gödel. Quest'ultimo trasformò l’argomento ontologico in un sistema di proprietà positive, pur ammettendone la natura di "ultrafiltro" matematico quasi tautologico. Infine, il saggio esplora la prova cosmologica e la sua confutazione logica moderna ad opera di Haskell Curry, il quale dimostra come l'assunzione di un essere necessario conduca a insanabili contraddizioni formali. In sintesi, l'opera illustra come la ragione, nel tentativo di validare la fede, finisca spesso per svelare l'inevitabile scollamento tra concetti astratti e realtà sensibile.