Grazie

Ciao

Francesco Berto ha scritto di recente un libro STUPENDO sul teorema, Tutti pazzi per Godel(edito da Laterza 2008) e nella seconda parte del testo (sono due in tutto) discute sugli esiti e gli sviluppi del pensiero godeliano.Credo sia veramente interessante per chi voglia capire l'importanza che il teorema ha giocato nella logica moderna (la sua dimostrazione logica) e sugli studi filosofici (il testo da me recensito invece è uno sguardo al pensiero di Godel). In particolare un capitolo è dedicato al platonismo matematico (realismo) che però è in lungo e largo confutato…quindi…anche per la matematica e la logica non credo ci sia tanto spazio per Dio.

Ancora una parola a questo punto dovrebbe però essere spesa "sull'ontologia metafisica" a cui molti logici fanno riferimento e a cui in fondo Godel stesso credo pensasse scrivendo del divino. Non il dio della fede (Gesù,Allah…), bensì il dio Ragione. A riguardo rimando (in parte) a un mio breve appunto.

Riporto una citazione di Gabriele Lolli dal testo di Berto sul realismo matematico p.191

«

Chi parla di enunciati aritmetici veri presuppone che la realtà di N sia direttamente accessibile alla conoscenza come lo spazio di Euclide, perché non dice come si faccia a stabilire che un enunciato è vero; la situazione non è diversa da quella di chi ha imparato fin da bambino a ritenere di avere conoscenze dirette su Dio, recepite in realtà attraverso i discorsi dei grandi; probabilmente ci si convince poi, assumendo di avere delle conoscenze, che gli esseri umani abbiano facoltà adatte a fornire quelle conoscenze, non analitiche ovviamente, in un caso la fede e nell’altro un’intuizione speciale»

Esiste in ogni caso un testo edito da Bollati Boringhieri curato proprio da Odiffreddi sulla prova di Godel, ma non ho assolutamente idea di cosa si tratti.

Caro Emilio, volevo chiederti se (ed eventualmente come) nel libro si parla della prova ontologica dell'esistenza di Dio costruita da Goedel. E' un argomento di cui mi sono occupato poco tempo fa e che mi intriga molto.

Chi volesse approfondire, qui, cercando bene nella pagina, troverà la versione in PP di una mia conferenza tenuta per un circolo di matematici, nonché il mio saggio in word da cui l'ho ricavata (che peraltro è sfociato in uno scambio di e-mail con Odifreddi, che all'inizio non ha gradito ma poi ha finito con l'accettare la mia critica al suo modo di concepire la struttura formale della prova di Anselmo: lo scambio è disponibile in rete da qualche parte).

Ciao!

Nella speranza che il lavoro possa continuare…