Kurt Gödel "LA PROVA MATEMATICA DELL'ESISTENZA DI DIO" a cura di Gabriele Lolli e Piegiorgio Odifreddi, Bollati Boringhieri


	Ultimo aggiornamento: 07/09/2007

Kurt Gödel "LA PROVA MATEMATICA DELL'ESISTENZA DI DIO" a cura di Gabriele Lolli e Piegiorgio Odifreddi, Bollati Boringhieri, Prima edizione maggio 2006 (Pagine 123) Indice del libro: 5 Prefazione di Gabriele Lolli La prova matematica dell'esistenza di Dio 23 Nota introduttiva di Robert Merrihev Adams 61 Prova ontologica di Kurt Gödel 64 Testi collegati alla prova ontologica Appendici 77 A. Una dimostrazione divina di Piergiorgio Odifreddi 95 B. Logica e teofilia. Osservazioni su una dimostrazione attribuita a Kurt Gödel di Roberto Magari, con presentazione di Gabriele Lolli Nella Prefazione di Gabriele Lolli si sottolinea che Gödel ha dichiarato che il suo interesse, per la prova ontologica dell'esistenza di Dio, è puramente logico. Gödel è un personaggio preminente nel panorama culturale del ventesimo secolo e può essere affiancato a Einstein (tra i due, a Princeton, s'instaurò una sincera amicizia) sia per l'importanza scientifica sia per i risultati davvero sorprendenti e affascinanti. Le convinzioni personali di Gödel non sono generalmente note, a causa della sua ritrosia a renderle manifeste per iscritto. (Einstein, invece, si è pronunciato volentieri su questioni etiche e politiche.) Nel febbraio del 1970 Gödel mostrò la versione definitiva della dimostrazione logica dell'esistenza di Dio al logico Dana Scott, ma non intendeva pubblicarla, per non rivelare i suoi interessi teologici, essendo interessato alla dimostrazione solo da un punto di vista logico. Per gli approfondimenti, relativi a tale dimostrazione, Piergiorgio Odifreddi ricorda, al lettore, il proprio libro: "Il Vangelo secondo la scienza*- Le religioni alla prova del nove". Reputo particolarmente efficace anche la minuziosa analisi del linguaggio in cui la teoria di Gödel (detta "Teoria di A", perché comprendente apporti di Scott e Sobel) è presentata da Roberto Magari, il quale invita a considerare l'aspetto squisitamente tecnico, offrendo ogni delucidazione utile per rendere accessibile, anche ai meno addetti ai lavori, tale dimostrazione logica dell'esistenza di Dio. La Redazione di Maecla ringrazia moltissimo Marco Trainito* che ha acconsentito alla pubblicazione del suo saggio (in formato .pdf), che rappresenta un interessante contributo, particolarmente dotto e critico, dedicato alle "Analisi logiche delle prove ontologiche dell'esistenza di Dio: Russell, Gödel e Odifreddi su Cartesio, Leibniz e Anselmo".
AGGIORNAMENTO (05/09/2007) La Redazione di Maecla sentitamente ringrazia i gentilissimi Piergiorgio Odifreddi e Marco Trainito, che hanno acconsentito alla pubblicazione di alcuni messaggi di posta elettronica aventi per oggetto il saggio di Marco Trainito "Analisi logiche delle prove ontologiche dell'esistenza di Dio: Russell, Gödel e Odifreddi su Cartesio, Leibniz e Anselmo".