Inviare un messaggio

In risposta a:
Filosofia, Matematica e Teologia.....

GODEL, GODEL, GODEL. Tutti pazzi per Kurt Gödel. Una nota di Giuseppe Galasso sul libro di Francesco Berto - a cura di Federico La Sala

venerdì 20 giugno 2008 di Maria Paola Falchinelli
[...] Non è tanto semplice. Berto stesso dice di avere spesso, da filosofo, sbattuto la testa in un muro di difficoltà. Dice pure che per il suo libro si deve sapere un po’ di logica elementare e che ha dovuto iniziare con un po’ di teoria degli insiemi. Ma chi supera gli ostacoli trova in lui una guida abile e suasiva. E la fatica sarà premiata. Gödel è stato discusso, e dopo di lui matematica e logica hanno preso anche altri sentieri. Ma il nucleo duro del suo pensiero si è dimostrato, (...)

In risposta a:

> GODEL, GODEL, GODEL. --- Il grande matematico austriaco riscrisse, con le armi della logica, la prova ontologica dell’esistenza di Dio (di Roberto Timossi - E Gödel fa i conti con Anselmo).

giovedì 7 ottobre 2010

LA VIA DI KANT: USCIRE DALLA CAVERNA, E NON RICADERE NELL’ILLUSIONE DI “DIO” CONCEPITO COME “UOMO SUPREMO”. Note per una rilettura della “Storia universale della natura e teoria del cielo”

RATZINGER ’A SCUOLA’ DEL VISIONARIO SWEDENBORG. Una nota di Leonard Boff e una di Immanuel Kant

KANT E SAN PAOLO. COME IL BUON GIUDIZIO ("SECUNDA PETRI") VIENE (E VENNE) RIDOTTO IN STATO DI MINORITA’ DAL GIUDIZIO FALSO E BUGIARDO ("SECUNDA PAULI").



Il grande matematico austriaco riscrisse, con le armi della logica, la prova ontologica dell’esistenza di Dio. Una sfida per la teologia

E Gödel fa i conti con Anselmo

Il teorema si chiude con un perentorio: «Dio esiste necessariamente, come volevasi dimostrare». Però fu pubblicato postumo, perché il genio di Brno temeva i pregiudizi degli altri scienziati

DI ROBERTO TIMOSSI (Avvenire, 07.10.2010)

Una delle più grandi menti del XX secolo è sicuramente quella del moravo Kurt Gödel (1906-1978). Nato nell’odierna Brno, la vita di Gödel, come per altro quella di molti geni, fu piuttosto tormentata e dominata da quello che è stato chiamato ’il male di vivere’. Fin da giovane si dimostrò brillante negli studi, ma lungo il corso della sua esistenza dovette spesso combattere contro la depressione.

Nel 1926 fu tra i frequentatori del Circolo di Vienna e in questo vivace ambiente culturale neopositivista maturò definitivamente la sua vocazione nei confronti della ricerca logico-matematica. Mai scelta risultò più azzeccata visto che già nel 1931, a soli venticinque anni, esponeva in un celebre articolo i presupposti dei suoi teoremi di incompletezza destinati a sconvolgere tutte le teorie logico-matematiche elaborate fino a quel momento.

Se di Gödel sono molto noti i rivoluzionari contributi alla teoria logico-matematica, meno noto è il fatto che formulò una sua rielaborazione della prova ontologica di sant’Anselmo di Aosta, ossia di quella dimostrazione logica che ritiene di poter inferire l’esistenza di Dio a priori, partendo dal concetto che abbiamo di lui.

Del resto, fino al 1987 la prova ontologica gödeliana era nota esclusivamente a pochi amici dell’autore ed è inoltre rimasta a lungo tra le sue carte inedite. Su questo tema è ritornato di recente David P. Goldman (un redattore capo che dichiara di collocarsi in una prospettiva giudaico-cristiana) sulla prestigiosa rivista First Things, facendo un rapido riassunto del dibattito apertosi in filosofia sulla cosiddetta ’prova a priori’ e avanzando alcune osservazioni critiche.

Goldman rileva innanzitutto come la scoperta dell’impossibilità di fare della matematica un sistema formale in sé compiuto quale conseguenza dei teoremi di incompletezza conduca lo stesso Gödel a concludere che noi non possiamo conseguire un credibile approccio con la realtà senza la presenza di Dio.

Dopo aver infatti tentato nel 1949 di prospettare una soluzione originale delle equazioni della teoria generale della relatività del suo amico Albert Einstein sulla base dell’ipotesi di un universo in rotazione su se stesso, dopo aver cioè proposto una descrizione logica del cosmo, Gödel sancì che pure così al ’sistema’ continuava a mancare qualcosa di essenziale: la ragione dell’esistenza del mondo secondo un ordine logico-matematico. E la soluzione di questo problema poteva venire soltanto da una dimostrazione razionale dell’esistenza di Dio, ossia dalla necessità logica della presenza di un ente che assommi in sé tutte le qualità positive.

È dunque da presupposti sia logici sia esistenziali che è scaturita nella mente di Gödel l’esigenza di concepire una nuova prova ontologica modale. Ma, come nota correttamente Goldman, il Dio di Gödel non è né la divinità benevola della vecchia teologia naturale né il perfetto armonizzatore dei seguaci del disegno intelligente, dal momento che egli cela totalmente il proprio volto nel mondo e può essere colto soltanto nel paradosso e nell’intuizione razionale.

Nonostante ciò, Dio non è un’astrazione perché «può agire come una persona» ed è quanto constata facilmente chi come Gödel lo cerca nel paradosso.

Chi si imbatte nella prova ontologica di Gödel difficilmente riesce a non provare nello stesso istante ammirazione e sconcerto: ammirazione per il rigore logico della dimostrazione; sconcerto per l’arditezza della prova. Si tratta, infatti, di un teorema logico costituito da ventotto passaggi e strutturato con formule ben formate di logica simbolica (accompagnate da alcune annotazioni piuttosto scarne dell’autore), la cui conclusione equivale alla seguente perentoria affermazione: «Dio esiste necessariamente, come volevasi dimostrare».

La ritrosia dell’autore a renderla nota la dice lunga sui pregiudizi del suo ambiente universitario contro fede religiosa. Come ricorda sempre Goldman riportando le parole di Adele, la moglie di Gödel, «sebbene non andasse in chiesa era religioso e leggeva la Bibbia a letto ogni domenica mattina». Non manifestava pubblicamente le sue convinzioni religiose perché temeva di risultare ridicolo, visto che - come scriveva alla madre nel 1961 - «il novanta percento dei filosofi contemporanei considerava loro principale dovere espellere dalla testa degli uomini la beatitudine religiosa». Trattando della prova a priori dell’esistenza di Dio nel mio libro intitolato Prove logiche dell’esistenza di Dio da Anselmo d’Aosta a Kurt Gödel (Marietti), ho osservato che una dimostrazione di questo tipo può essere accolta se si accetta una qualche forma di platonismo delle idee o delle essenze per cui i concetti sono dotati di una realtà oggettiva.

Con questa tesi pare concordare anche David P. Goldman, il quale lascia intendere che Gödel in matematica era un ’platonista’, ovvero aderiva alla posizione di chi ritiene che i numeri e le funzioni matematiche non sono una mera ’costruzione’ del nostro intelletto, ma possiedono una realtà propria. A detta di Goldman, tuttavia, la sfida maggiore lanciata dal pensiero religioso di Gödel è rivolta non ai matematici, bensì ai teologi, che lo hanno fino ad ora volutamente evitato forse perché si tratta di una sfida troppo impegnativa.


Questo forum è moderato a priori: il tuo contributo apparirà solo dopo essere stato approvato da un amministratore del sito.

Titolo:

Testo del messaggio:
(Per creare dei paragrafi separati, lascia semplicemente delle linee vuote)

Link ipertestuale (opzionale)
(Se il tuo messaggio si riferisce ad un articolo pubblicato sul Web o ad una pagina contenente maggiori informazioni, indica di seguito il titolo della pagina ed il suo indirizzo URL.)
Titolo:

URL:

Chi sei? (opzionale)
Nome (o pseudonimo):

Indirizzo email: