Kurt Goedel è un matematico tedesco che alla giovane età di 23 anni dimostrò un teorema, che ha preso il nome di "Teorema dell'incompletezza", che ovviamente non starò nemmeno a citare per intero, tanto è complicato da leggere, ma che è considerato uno dei punti più alti del pensiero umano.
Detto in poche parole e con un esempio molto semplice, il teorema dimostra come qualsiasi sistema logico fatto di assiomi e postulati (e di teoremi da essi derivati) contiene postulati che non sono né veri né falsi: sono semplicemente indecidibili. Goedel ne ha dato la dimostrazione, ma il problema era noto fin dall'antichità, se già San Paolo lo cita nel paradosso del mentitore cretese: un profeta cretese disse che tutti i cretesi sono mentitore; ebbene questa frase non può essere né vera né falsa, è un loop logico senza uscita, eppure è formulata con il linguaggio (e il metalinguaggio) che siamo soliti usare tutti i giorni e che nel 99,99% dei casi non porta a situazioni paradossali.
Tutta questa introduzione per citare due libri, uno che ho letto e che mi ha appassionato ai tempi dell'università (ma che ora mi spaventerebbe leggere da capo) e uno appena uscito: il primo è "Goedel, Escher, Bach: un'Eterna Ghirlanda Brillante" di Douglas R. Hofstadter (Adelphi editore), l'altro è "Tutti pazzi per Goedel" di Francesco Berto (Laterza editore). Il secondo è uscito da pochi giorni ed è sostanzialmente un libro di storia del pensiero; il primo, però, è un affascinante intreccio tra filosofia, matematica e logica (per quanto riguarda Goedel), musica (per quanto riguarda Bach) e arte grafica (per quel che concerne Escher). Da leggere a mente sgombera, perché dopo di roba in testa ne avrete pure troppa...
Special
Info & Servizi
