La Logica dell'esistenza di Dio

Vi segnaliamo un articolo apparso su la Repubblica in cui il matematico Piergiorgio Odifreddi ci racconta dell'uscita di un manoscritto di Harvey Friedman, geniale logico matematico statunitense, che prosegue l'opera di Kurt Gödel sulla dimostrazione dell'esistenza di Dio. Una storia che ha inizio circa mille anni fa con la dimostrazione ontologica fornita da Anselmo d'Aosta, poi i rimaneggiamenti di Cartesio, Leibniz e l'opera di Gödel nella seconda metà del Novecento. Infine il lavoro di Friedman in cui lo studioso ha lavorato sulla nozione di "consistenza".

Qui l'articolo: La matematica ci riprova: "Ecco perché Dio esiste".