mercoledì 1 aprile 2009

Raccontando Gödel...

Cari ragazzi e cari lettori, vi propongo un bell'articolo dell'amico Mauro. Leggete con attenzione perché merita.


Grazie, Mauro!


***


EinsteinGodel550


Kurt Gödel (Brno, 28 aprile 1906 – Princeton, 14 gennaio 1978) è stato un matematico, logico e filosofo statunitense di origine boema.


Gödel è stato uno dei più grandi logici matematici vissuti nel secolo scorso, colui il quale ha assorbito, riassunto, rielaborato ed espresso il sistema logico mediante il quale l’uomo, negli ultimi tremila anni circa, ha costruito il proprio pensiero filosofico e scientifico, tramite il quale ha cercato di comprendere e la realtà nella quale viviamo, costruendone modelli verosimili, ma soprattutto ha criticato quello stesso sistema e ha trovato l’errore fondamentale.



Gödel ha fornito un contributo fondamentale al pensiero dell’uomo nell’ultimo secolo, ma contemporaneamente ne è stato un grande distruttore. Nel 1931 il buon Kurt formulò quello che va sotto il nome di “Teorema dell’incompletezza”.


Cercherò di spiegarlo in termini divulgativi, cercando di evitare rigorose formulazioni, nonostante che io, da matematico, sia portato al rigore. Ma mi sono reso conto che anche le parole contano quanto, se non di più, le formule matematiche, poiché sono frutto dello stesso tipo di codifica e nascono dallo stesso sistema di pensiero sul quale l’uomo ha costruito la propria comprensione della realtà e ha basato la propria evoluzione.


I filosofi e i logici degli ultimi 2.500 anni (cioè degli anni nei quali si è sviluppato quello che, secondo il nostro punto di vista, è il pensiero filosofico-scientifico) si sono interrogati sulla realtà ed hanno cercato di comprenderne i meccanismi, di smontarli nelle loro componenti essenziali e di codificarne le leggi. Di costruire, cioè, modelli che permettessero di descriverla. Il compito dei logici e dei filosofi è quello di fornire gli strumenti per l’indagine, ovvero alcuni sistemi formali dai cui assiomi fondamentali, tramite relazioni logiche, sia possibile derivare leggi e regole valide in assoluto da utilizzare per costruire i modelli di ciò che ci circonda.


Così Euclide, intorno al 300 p.e.v., stabilì e codificò i cinque postulati fondamentali della geometria, considerati per quasi due millenni assolutamente coerenti e autoconsistenti, tramite i quali fu possibile descrivere la forma del mondo che ci circonda. Aristotele prima di lui codificò i sillogismi, ovvero i “quanti” elementari del pensiero razionale strutturato. Cartesio, molto più tardi, formalizzò il sistema di riferimento, ovvero i “punti di vista” sotto i quali gli oggetti che costituiscono il mondo possono essere visti; l’impalcatura che racchiude e nella quale porre le leggi e i modelli descrittivi.


Fu nel XIX secolo, poi, che i logici Boole e Morgan, in Inghilterra, Peano, in Italia, e Hilbert, in Germania, lavorarono per raffinare i processi del pensiero razionale, definirne le leggi ed i concetti fondamentali. Fino ad arrivare alla gigantesca opera di Russel e Whitehead, i Principia Mathematica, che si poneva l’ambizioso obiettivo di riformulare l’intera matematica dalla logica, ovvero in un certo senso di fornire la codifica ultima degli strumenti di analisi e del pensiero razionale dell’uomo, del metodo scientifico.


E quasi contemporaneamente all’uscita di quei ponderosi volumi, nacque Gödel, il più grande distruttore di realtà della storia dell’Universo. Egli formalizzò e dimostrò “semplicemente” i paradossi insiti a priori nel tentativo della ricerca di una codifica della realtà.


Il ragionamento a parole è il seguente: preso un qualunque sistema formale (per esempio, la matematica), delle due l’una: o il sistema è non contraddittorio (cioè non è possibile dimostrare un teorema e anche il suo inverso) ed è però incompleto, cioè esistono alcuni teoremi “indecidibili”, dei quali non si può dimostrare né la verità né la falsità, oppure il sistema è autoconsistente (di tutti i teoremi si può dimostrare la verità/falsità) , ma allora risulterà anche contraddittorio, cioè è possibile trovare un teorema del quale si può provare contemporaneamente sia la verità che la falsità (sempre rispettando tutte le regole logiche che al sistema appartengono).


La soluzione, per stabilire la consistenza e la non contraddittorietà di un sistema, è quella di “uscire fuori” dal linguaggio formale e crearne un altro che contenga quello come “oggetto” di analisi. Quindi, per esempio, per parlare di autoconsistenza e di non contraddittorietà della matematica, non possiamo utilizzare il linguaggio della matematica, ma qualche linguaggio che ne è al di là, e che, seguendo la nomenclatura di Aristotele, chiameremo meta-matematica.


Naturalmente, lo stesso tipo di ragionamento potrà essere svolto per quanto riguarda la meta-matematica; ne uscirà fuori un sistema che chiameremo meta-meta-matematica e così via, ad libitum, in una sorta di gioco degli specchi senza fine.


Ed ecco il racconto...



--------------------------------------------------------------------------------



La possibile generalizzazione di quanto teorizzato da Gödel mi saltò agli occhi mentre mi accingevo a completare il lavoro di tutta la mia vita: la “Teoria della Grande Unificazione". Finalmente avevo trovato la chiave logico-matematica che permetteva di descrivere in un unico insieme di leggi le interazioni fisiche fondamentali che regolano tutti i processi nell’universo, a qualunque scala e di qualunque natura.


So che potrà apparire presuntuoso, soprattutto perché non posso dimostrare quanto sto scrivendo, ma la stesura formale di una teoria così completa condurrebbe irrimediabilmente al paradosso di Gödel. E di ciò mi spaventano le implicazioni.


Mi spiego meglio: la realtà dell’Universo, attraverso le elaborazioni teoriche di cui ho intravisto le possibilità, può essere codificata attraverso un sistema formale molto complesso. Questo è il fine cui tendono il pensiero e la ricerca umani. I simboli di tale sistema formale sono distribuiti nello spazio quadridimensionale, sono cioè le particelle elementari. Le regole del sistema formale sono le leggi della fisica che regolano l’interazione tra i costituenti della materia e ne forniscono la distribuzione spazio-temporale. I teoremi sono le "fotografie" della configurazione dell’Universo nei vari istanti dopo il Big Bang. L’unico assioma fondamentale è l’Universo stesso all’istante del Big Bang.


Io so come descrivere formalmente tutto ciò, ma ho paura: non voglio eseguire gli ultimi passaggi formali per la “codifica del Tutto” perché, se vale il “Teorema di incompletezza”, allora i postulati fondamentali, tramite i quali l’Universo stesso è descritto come lo percepiamo e viviamo, conterrebbero in sé i germi della propria non giustificabilità e incoerenza. Ciò equivarrebbe a sancire l’assurdità dell’esistenza dell’Universo.


In altre parole, una volta descritta e codificata definitivamente la Realtà, non sarebbe possibile riferirsi ad altro se non alla Realtà stessa per giustificare le leggi che la governano, provocando la conclusione, secondo il “Teorema di incompletezza”, che queste ultime sono incomplete e non valide e che quindi l’esistenza stessa della realtà è assurda.


Ho deciso dunque di distruggere anche questi appunti e di gettare alle ortiche il lavoro della mia vita. Conserverò soltanto alcune implicazioni secondarie che, almeno agli occhi della comunità scientifica, giustificheranno gli anni da me spesi.


...


Il professor Sarchiapone era morto improvvisamente. Tutti in facoltà ne erano addolorati. Chi non conosceva la sua figura allampanata che percorreva tutte le mattine, sempre alla stessa ora, il vialetto che porta al dipartimento di fisica teorica? Il professore aveva vinto il Premio Einstein per la fisica ed era un docente abilissimo ed appassionato, seppure vagamente logorroico.


Negli ultimi tempi, però, più di qualche collega e studente aveva notato la tensione che ne segnava il volto già scavato e lo sguardo insolito, tra folle e distratto. Alle lezioni dimenticava i conti e commetteva degli errori assolutamente incredibili per uno come lui. La sua attività di ricercatore si era quasi bloccata. Passava le giornate chiuso nel suo ufficio da solo e ne usciva solo la sera, spesso di notte.


Il medico legale diagnosticò un infarto.


...


Paolo  Chimera era il primo assistente del professor Sarchiapone. Fu lui che si occupò tanto dei funerali (il professore non era sposato e non aveva parenti prossimi, la sua vita era la ricerca) quanto di riordinare gli appunti del defunto professore.


Fu così che, scartabellando tra centinaia di appunti sulle decine di cd del professore, scoprì una serie di file nascosti e protetti da password. Conoscendo bene il professore e le sue abitudini non gli fu difficile scoprire la chiave che permetteva di leggerli. Possedeva ovviamente gli strumenti analitici per capirne i contenuti e le implicazioni. Lavorò parecchie settimane sugli appunti e i calcoli del professore, nascostamente, ma sempre più assorbito a tempo pieno, man mano che ne comprendeva il significato. Dovette anche ricorrere sporadicamente a consulenze di colleghi fisici teorici relativistici e meccanicisti quantistici per dipanare i punti più tecnici e ostici, ma riuscì sempre a essere evasivo sulle implicazioni delle domande che poneva, facendole passare per pura speculazione e curiosità fine a se stessa. Fu molto abile nel non suscitare curiosità insane, perché quel lavoro doveva essere soltanto suo.


E così alla fine comprese che cosa avesse assorbito il professore a tal punto negli ultimi tempi da causarne probabilmente la morte.


Aveva in mano la chiave per il successo. La “Teoria della Grande Unificazione”. La codifica ultima delle leggi fondamentali che regolano il Tutto. La “Teoria di Chimera”.


Già si vedeva a Stoccolma in abito da cerimonia mentre il re di Svezia gli consegnava il Nobel. Ed era tutto così elegante, tutto così logico! Una teoria così perfetta, una volta viste e decifrate le pagine e pagine di equazioni. E bastava così poco a completare la teoria! Lo disturbavano leggermente soltanto le ultime pagine del professore, quelle nelle quali il defunto profetizzava chissà quali sventure e disastri per chi avesse avuto accesso agli appunti. Mah! Probabilmente, si disse, era soltanto che il professore negli ultimi momenti della sua vita era già molto malato e l’idea di non poter vivere per poter completare il proprio lavoro, e soprattutto per goderne del successo, lo avevano turbato al punto di farlo delirare.


Si assicurò per l’ultima volta, discretamente, che nessuno dei colleghi nella comunità scientifica fosse a conoscenza delle attività del professore negli ultimi tempi e completò elegantemente (del resto aveva avuto un buon maestro) la codifica del Tutto.


...


“Bah! Che cacata!” pensai, arrivato ormai all’ultima pagina del libro che stavo leggendo.


Il caminetto ardeva in un angolo e me ne stavo mollemente semi-sdraiato sulla mia poltrona preferita. Il bicchiere era pieno di Laphroaig invecchiato 30 anni e la pipa era piena. Ma il weekend stava per finire e il giorno dopo… sveglia alle 6, bisognava chiudere, lavare i piatti, svuotare il camino e chiudere casa. E farsi la coda sul raccordo.


Che palle! I weekend uno non ha il tempo di iniziarli che appena si è abituato sono finiti. Andare fuori porta per rilassarsi, dicono: ma dov’è tutto ‘sto rilassamento?


Arrivi in campagna e la casa è vuota e gelida; allora devi fare la spesa, accendere la stufa e il caminetto. Magari bastasse: ovviamente la legna tagliata è finita l’ultima volta che ci sei stato, per cui bisogna spaccarne di nuova. E, con lungimiranza mirabile, provvederai a tagliarne solo l’indispensabile, con il risultato di pianificarti il medesimo disagio per la volta successiva che tornerai.


Poi vai a fare la spesa. In macchina, perché la casa è lontana da qualunque forma di vita evoluta da almeno mezz’ora di strade fangose e dissestate tra boschi e valli; per carità, molto suggestivi, ma sempre, almeno quando ci vai, irrimediabilmente allagati e impraticabili, a causa di una sorta di diluvio universale appena concluso.


Sicuramente poi i viaggi per fare la spesa sono più di uno, dato che al primo tentativo non compri mai tutto quello che ti serve, nonostante ti sia premunito di un piano “merci di sussistenza” elaborato già parecchi mesi prima da un battaglione di consulenti strategici della Arthur Andersen. C’è sempre il sale talmente calcificato dall’umidità nella saliera che non lo scrosti manco con le bombe a mano o la fiamma ossidrica. Oppure il pacco di pasta, che ospita colonie di tarme talmente evolute che, quando lo prendi per gettarlo nella spazzatura, ti presentano un piano di sfratto redatto dal loro commercialista. Per cui va ricomprato ogni volta tutto. E la volta dopo è di nuovo la stessa cosa.


Gli infissi sono deteriorati e nella casa tirano venti non provati nemmeno da Amundsen durante la traversata al Polo; le coperte poi: sono talmente fradice e ammuffite che ti sembra di abitare in una palude, anche per la quantità di insetti e aracnidi che, con le tarme della pasta alle quali pagano regolare affitto, ormai sono i veri padroni della casa.


Beate le lumache e le tartarughe, ti viene da pensare, che la casa se la portano sempre appresso in montagna, mare e campagna!


Il weekend, comunque, volgeva al termine, e in più stavo anche lavorando. Dovevo recensire i racconti di questo scrittore, pesanti e incomprensibili. E solo perché questo autore era amico dell’editore. E poi chi era questo qua, tra l’altro? Non c’era neanche il suo nome sul manoscritto.


Soprattutto l’ultimo racconto! Tutte quelle storie sulla logica, i sistemi formali e l’Universo. Ma chi ci capiva qualcosa! Io sono uscito da una sana e comprensibile facoltà di giornalismo, per me quelle elucubrazioni erano arabo.


"Dovrò inventarmi qualche cazzata anche stavolta" mi dissi. "Ma tanto ci sono abituato… che lavoro del cazzo!" E pensare che quell’imbecille di Piero Pierolli, mio compagno di università, è finito a Repubblica… E io che lavoro in quella cacchio di casa editrice di fantascienza e fantasy!


Un momento. In fondo all’ultima pagina c’era scritto: “Le conclusioni del ragionamento del professor Sarchiapone seguono nell’appendice A”. Magari mi sarei schiarito un attimo le idee su quel guazzabuglio di fregnacce. Mi accinsi a leggere.


Lessi.


...


– Che cosa ne pensi? – Mi chiese Carlo.


– Va bene che è il primo numero e devono crescere, ma Stellaria avrebbe potuto cominciare le pubblicazioni con qualcosa di meglio!


Ero con Carlo a casa mia e commentavamo, libro alla mano, il primo numero di una nuova collana bimestrale di fantascienza.


Condividevo con Carlo, oltre che lo stesso tipo di studi all’Università, sei anni passati a Fisica a spaccarci il cranio, anche il tipo di lavoro: consulenti per una società di informatica, lavoro certamente pochissimo attinente con gli studi compiuti… ma almeno ci dava adeguatamente di che vivere.


Fantascienza e fantasy erano le nostre passioni fin da ragazzi e, ora che potevamo permettercelo economicamente, ogni nuova pubblicazione era subito presa, letta ed analizzata con l’occhio critico del fanatico.


Il lancio pubblicitario mi aveva convinto, ma questa prima antologia proprio no. Soprattutto l’ultimo racconto. E poi non c’era nemmeno il nome dell’autore in copertina, sicuramente dimenticanza in fase di stampa. Ciò, comunque, deponeva ancora meno a favore della collana.


– E poi qua c’è scritto che la spiegazione delle conclusioni della bizzarra teoria del professor Sarchiapone sono in fondo, chissà che si è inventato questo qua!


– Dài, leggiamo  – mi fa Carlo – abbiamo fatto trenta, facciamo trentuno.


Leggemmo.


...


La realtà e l’Universo scomparvero d’improvviso.


13 commenti:

  1. A me? Ma grazie a te! ;-)


    Abbraccione!

    RispondiElimina
  2. Ho letto con interesse il post. Faccio i miei complimenti a Mauro per il coinvolgente racconto.


    Grazie

    Artemisia

    RispondiElimina
  3. Che brividi per quell'ultima frase "la realtà e l'Universo scomparvero all'improvviso". Speriamo proprio di no!!!


    Una materia complessa resa in modo leggero.


    Bravo, Mauro.


    Ciao. Ruben

    RispondiElimina
  4. Ciao, sono Marco e sono in terza media. Non avevo sentito parlare di Godel. Leggere il post non è stato facile enon so se ho capito questa cosa dell'incompletezza però sono molto incuriosito.

    RispondiElimina
  5. Annarita, posso rispondere io, intanto? So che poi lo farai anche tu, ma intanto... ;-)


    Grazie ad Artemisia e Ruben per i complimenti; a Marco, intanto complimenti per essere arrivato fino in fondo, per uno studente di terza media è faticoso seguire certi ragionamenti, ma il segreto di chi vuol arrivare lontano è quello di non scoraggiarsi mai; se ti va, vieni a leggere cosa ho scritto oggi di una grande donna che non si è lasciata smontare dai genitori e dalla società che le volevano impedire di arrivare dov'è arrivata... ;-)


    Un abbraccio e un ringraziamento a tutti!

    RispondiElimina
  6. Cara Annarita, e naturalmente caro Mauro, la curiosità mi ha spinto a leggere fino in fondo ogni cosa e man mano che procedevo si faceva strada che la conclusione potesse riservare una sorpresa. E così il sospetto si è avverato: non poteva che essere quello il modo di tagliare corto, perché c’erano troppi elementi che non si potevano imbrigliare, matematicamente “raccontando”.

    Scorrevole e simpatica la messa in scena con il preludio tutto sulla matematica di Gödel, ma per un napoletano salta agli occhi quel tal professor Sarchiapone che infastidisce non poco con tal nome e che per niente si lega al presunto genio relativo. Insomma questo nome mi ha distratto continuamente al punto da condizionare ogni cosa della lettura. A maggior ragione per l’altro nome, quello del suo assistente il prof. Chimera. Messi insieme rivelano continuamente la velata comicità introdotta nel racconto. Forse troppo marcata a causa di Chimera, poiché l’altro, Sarchiapone può passare indisturbato anche per un napoletano preso dal rispetto dell’autore che dimostra di essere seriamente preso dalle sue concezioni matematiche.

    Mi ricordo di quando ero ragazzo e vivevo a Caserta e c’era sempre qualcuno da prendere in giro per la sua effettiva goffaggine e incapacità a capire le cose. Ma c’era di peggio perché non se la cavava affatto con le ragazze facendo delle magre a più non posso. E noi subito a mortificarlo dicendo in coro, come altre volte, “Pascà’ (Pasquale) si proprio ‘nu sarchiapone!”

    Sarchiapone è un termine di pertinenza maschile che identifica l’uomo grosso e grasso, bietolone e melenso, nonché lo stupido, ma pure – stranamente – l’ipocrita, il furbastro, il volpone di tre cotte, ma più esattamente, con riferimento all’aspetto fisico, un tipo basso e storto. Di conseguenza non poteva mancare la nascita di questo genere di personaggio nell’ambito teatrale, già nel 1600.

    C’è la versione (che forse vi deriva) di un animale immaginario inventato in un dialogo comico dal duo Carlo Campanini-Walter Chiari verso la fine degli anni '50, presentato come pericoloso e selvaggio per spaventare i viaggiatori in treno.

    Dunque poteva mai finire bene la storia dell’Universo, se pur fantastica, del racconto in questione in mano a Sarchiapone accademico?

    A questo punto, dopo tutto questo dire fuori dai canoni, mi sorge il dubbio di essere anch’io una sorta di animale raro che ha espresso un’opinione insolita sul post di Mauro che ad altri non è sorta, tutti presi dalla matematica di Gödel, Russel e vattelapesca. O no?

    Tutto sommato anche questa mia scena imprevista, potrebbe far parte del racconto che viene camuffato per fantastico, ma che è in realtà una burla per seri e austeri accademici. La matematica che vuole essere rigorosa finisce per stancarsi e decide di prendersi un weekend. Non l’avesse mai fatto perché viene la fine del mondo.

    Buona come metafora però!


    Abbracci a tutti,

    gaetan

    RispondiElimina
  7. Sorellina grazie per avere pubblicato il post di Mauro Piadi, veramente eccezionale.

    Lascio anche da te il commento postato nel suo blog.


    Complimenti Mauro, veramente grande.

    Tentero' di risponderti

    Meta-meta-matematica fa rima con metafisica e tanto per stare, sempre per la rima con logica. D' altronde come tu ricordi Kurt Gödel è stato un matematico, logico e filosofo.

    La metafisica affronta di petto le Grandi domande, cosi' come hai fatto tu (''Finalmente avevo trovato la chiave logico-matematica che permetteva di descrivere in un unico insieme di leggi le interazioni fisiche fondamentali che regolano tutti i processi nell’universo, a qualunque scala e di qualunque natura'').

    La metafisica spiega che cos' e' l' essere, quale e' la natura della realta', se abbiamo il libero arbitrio, perche' le lumache e le tartarughe la casa se la portano sempre appresso in montagna, mare e campagna, quanti angeli possono ballare sulla capocchia di un fiammifero e quanti ce ne vogliono per montare a un matematico, filosofo, logico e a un consulente per una societa' di informatica una scrivania dell' Ikea.

    Caro Mauro rifletto su quanto scritto e mi chiedo quale e' il significato di tutto quanto?

    Mi spiego: della vita, della morte, dell' amore, della “Teoria della Grande Unificazione”, della codifica ultima delle leggi fondamentali che regolano il Tutto, della “Teoria di Chimera”, dell' infarto del professor Sarchiapone e del polpettone della mamma.

    Perche' mi sono chiesto ognuna di queste cose ha un significato. Perche' ce l' anno. Altrimenti la vita sarebbe solo ...

    A questo punto mi sono risposto... mi ci vuole qualcosa di forte, anche meglio del Laphroaig invecchiato 30 anni, per esempio un buon bicchierino di grappa ... per accompagnare il mio toscano ''Soldati''...


    La realtà e l’Universo scomparvero d’improvviso.


    Vale ironicus

    RispondiElimina
  8. Mauro ti ringrazio di aver risposto ai lettori:)

    RispondiElimina
  9. Caro Gaetano, per quanto mi riguarda i tuoi commenti originali non mi colgono di sorpresa;)


    Ti ringrazio di aver commentato.


    Un caro saluto e a presto.

    RispondiElimina
  10. Complimenti a tutti cominciando da Mauretto per finire agli amici che hanno commentato. Tutto molto interessante ed accattivante. E grazie a te, cara prof.

    RispondiElimina
  11. Ciao!

    Allora penso che prima di leggerlo

    lo stamperò su carta, perchè la lettura su monitor limita molto la concentrazione :)

    RispondiElimina
  12. A Gaetano: il tuo commento ha decisamente colto in pieno lo spirito con il quale avevo scritto quel post, partito da considerazioni sulla meta-matematica, per arrivare a un racconto che oserei definire di pata-matematica (e ma siccome il termine ancora non esiste, lo conio io in questo momento; Jarry ha ben inventato il termine patafisica, e dunque...).

    Voglio dire che si può partire da argomenti serissimi (come sono quelli di Gödel), per giocarci su, per costruire qualcosa che ha tutta l'apparenza di una serissima teoria scientifica e che, giocando anche molto sui nomi (Sarchiapone e Chimera, appunto), è invece, in fondo, un divertissement patafisico...

    Per cui il tuo commento è pienamente nello spirito che io ho cercato di infondere nel mio post!


    A Pier: quel bicchierino di grappa lo prenderei anch'io, posso? ;-)


    A Enzino: :-)))


    Ad Alberto: fammi sapere poi cosa ne pensi... ;-)


    Infine, ancora un grazie ad Annarita, con un abbraccione che parte da Roma e arriva a Bagno di Romagna!

    RispondiElimina