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

vendredi 20 juin 2008.
 

-  Albert Einstein diceva di essere andato a Princeton per passeggiare con G÷del

-  Gli omaggi di Albert Einstein e il paragone con la musica di Bach e la grafica di Escher

-  Lo studioso Francesco Berto racconta il teorema che ha cambiato la scienza moderna

Non solo matematica sugli impervi sentieri del genio

-  di Giuseppe Galasso Corriere della Sera, 20.06.2008

L’aneddoto pi¨ bello su Kurt G÷del Ŕ di Albert Einstein che diceva di essere andato a Princeton « solo per avere il privilegio di camminare insieme a G÷del sulla via di casa ». Era un’ammirazione meritata. Il teorema per cui G÷del entr˛ nella storia della scienza Ŕ stato definito da Rebecca Goldstein (studiosa di filosofia, e anche narratrice) insieme al principio di indeterminazione di Heisenberg e alla relativitÓ di Einstein la terza gamba di quel tripode di cataclismi teorici che sono stati percepiti come un terremoto nella profonditÓ dei fondamenti delle « scienze esatte » e ci hanno condotti « in un mondo sconosciuto che quasi un secolo dopo stiamo ancora lottando per renderci conto di dove, esattamente, siamo arrivati ».

Detto in parole poverissime, il teorema di G÷del dimostrava, nel 1931, che qualsiasi teoria matematica in guisa di sistema formale e coerente contenente l’aritmetica elementare (ossia la teoria dei numeri interi naturali) Ŕ « sintatticamente incompleta ». Per la logica matematica un sistema Ŕ sintatticamente incompleto se nel suo linguaggio si incontrano formule di cui non si pu˛ dimostrare nÚ la veritÓ, nÚ la falsitÓ. In altri termini (mi si passi l’esempio) Ŕ come se nella grammatica di una lingua si formulassero regole di cui non si possa dire se siano corrette o scorrette. G÷del smentisce cosý in modo radicale che, data l’inevitabilitÓ di proposizioni indecidibili, si possano costruire nell’universo dei numeri sistemi formali in cui tutto sia conosciuto o conoscibile, e lascia, quindi, aperti e indecisi gli esiti di qualsiasi sistema.

La logica matematica prevede, per˛, anche un’altra incompletezza, quella semantica, se gli sviluppi di un sistema portano a formulare proposizioni non appartenenti al sistema stesso (in questo caso, per stare all’esempio di prima, Ŕ come se la grammatica italiana a un certo punto formulasse regole fuori della sua logica e del suo sistema, e secondo la logica e il sistema di un’altra ed estranea grammatica).

E quest’altra incompletezza era per G÷del causata dal fatto che in tutti i sistemi la coerenza interna, ossia la loro non-contraddittorietÓ, Ŕ una proposizione non decidibile al loro interno. In altri termini, incompleto nel primo senso, un sistema lo Ŕ anche nel secondo senso, essendo incapace di coerenza interna, e quindi di auto-sufficienza.

Si dirÓ : ma questo non Ŕ molto astratto, puramente teorico ? Lo Ŕ, infatti, ma, come accade nella pi¨ alta scienza, dall’astrazione nascono conseguenze e applicazioni pratiche di sconcertante concretezza. Lo stesso G÷del assimilava le classi e i concetti logici, di cui si occupava, ai corpi fisici che sono a base delle percezioni dei nostri sensi.

In pratica, procedeva traducendo gli enunciati dell’aritmetica relativi alle proprietÓ formali o strutturali delle sue espressioni in enunciazioni semplicemente aritmetiche, per cui a ognuna di tali espressioni (formula, funzione, dimostrazione etc.) era associato un numero. Cosý, le relazioni logiche diventavano rapporti numerici. PoichÚ un sistema chiuso di tali rapporti era sintatticamente e semanticamente incompleto, occorreva, per procedere, uscire fuori dai sistemi chiusi e finiti e ammettere qualche ipotesi non formalizzabile in aritmetica.

Ora, pensate che nei computer qualsiasi oggetto o dato o immagine o testo etc. Ŕ traducibile in numeri ed Ŕ memorizzabile, e avrete un’idea di quel che Ŕ stata la correlazione stabilita tra dati numerici e dati logici, di cui G÷del Ŕ stato un protagonista, cosý come lo Ŕ stato della negazione che l’aritmetica costituisca un sistema finito e chiuso.

A far capire tutto ci˛ ha mirato Francesco Berto, docente di Ontologia a Parigi e di Logica a Venezia, col suo Tutti pazzi per G÷del ! (Laterza). Quel tutti Ŕ, in realtÓ, un auspicio di Berto stesso, che di G÷del (perchÚ, dice, seguirne il percorso logico Ŕ stato per lui « una delle esperienze pi¨ emozionanti ») si dichiara, appunto pazzo e tali vuol fare diventare gli altri.

Speriamo che sia cosý. 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, oltre che durevole, anche davvero affascinante (Berto ha ragione), quale lo ritrasse, fra gli altri, Douglas R. Hofstadter nel suo G÷del, Escher, Bach : un’eterna ghirlanda (Adelphi), associando, non a caso, il grande logico-matematico a un grande artista della grafica e a un sommo musicista.


Sul tema, in rete e nel sito, si cfr. :

-  KURT GODEL (Wikipedia).

-  TEOREMI DI INCOMPLETEZZA DI GODEL (Wikipedia).

-  MATEMATICA E ANTROPOLOGIA, ALTRO CHE MISTERO. GALILEO GALILEI E’ GALILEO GALILEI ... E LA TRASCENDENZA CRISTIANA NON E’ LA TRASCENDENZA "DELL’ENTE ...CATTOLICO-ROMANO", DEL VATICANO !!! Cerchiamo di "non dare i numeri" : il "Logos" non Ŕ un "Logo", e la "Charitas" non Ŕ la "caritas" !!!


Répondre à cet article

Forum