Piergiorgio Odifreddi – IL TEOREMA DI GöDEL E L’I.A. (1992)
FORMATO PDF
Due libri (Gödel, Escher e Bach di Douglas Höfstadter, e La nuova mente dell’imperatore di Roger Penrose) hanno contribuito a tener vivo, negli anni ’80, il dibattito sull’Intelligenza Artificiale.1 Il loro successo di pubblico,2 in un campo non propriamente di cassetta qual è la divulgazione scientifica, mostra come i loro autori siano maestri nell’arte di attrarre l’attenzione.
Entrambi allestiscono uno spettacolo di fuochi artificiali. Höfstadter spara in aria paradossi logici, canoni a granchio, geometrie non euclidee, cromosomi, neuroni, la stele di Rosetta, cristalli aperiodici, superconduttori, aforismi zen, formicai. Penrose risponde con paradossi quantistici, relatività generale, mondi paralleli, la freccia del tempo, frattali, fotoni, la torre di Pisa, il Big Bang, buchi neri e bianchi, tessellamenti periodici del piano, quasicristalli, ed un numero binario lungo due pagine.
Come ogni trasmissione di cassetta che si rispetti, i due autori invitano ospiti famosi al loro fianco. Il salotto variopinto di Höfstadter riceve Federico il Grande, Bach e famiglia, Achille e la tartaruga, Lewis Carroll e Alice, Euclide e Ramanujan, Escher e Magritte. Quello più austero di Penrose accoglie Galileo e Newton, Schröodinger e il gatto, Hilbert e Mandelbrot, Platone e Einstein, e addirittura il Creatore.
Conteso da entrambi i conduttori e vero ospite d’onore è il logico matematico Kurt Gödel, un cui risultato degli anni ’30 (noto appunto come Teorema di Gödel) aveva già in precedenza attirato l’attenzione di filosofi, giornalisti e (perché no?) poeti, ispirando infatti addirittura un poema in musica. I due autori non sono dunque particolarmente originali, da questo punto di vista. L’aspetto interessante sta nel fatto che le loro tesi sono contrapposte: entrambi usano il Teorema di Gödel per argomentare sull’Intelligenza Artificiale, ma Höfstadter a favore e Penrose contro. Per capire da che parte stia la ragione, dobbiamo introdurre i termini del dibattito ed enunciare i risultati di Gödel.