Semiconduco

L'Angelo di Goedel (6/N)

Per tentare di riprendere i fili del discorso, cerco di riassumere come posso:

1. Penrose non crede in una piccola anima immortale (quindi esclude il punto D): pensa che i fenomeni dell'intelligenza, della coscienza e dell'autocoscienza siano in ogni caso rinviabili a cause fisiche, naturali e indagabili con il metodo scientifico;
2. Penrose non crede che alla base dei fenomeni di cui al punto precedente (che per brevità d'ora in poi chiamerò fenomeni mentali) ci sia un qualche tipo di computo, di algoritmo (in buona sostanza: qualcosa che possa essere eseguito su una macchina universale di Turing), e crede anche che ciò sia impossibile in linea di principio; quindi esclude anche il punto A (IA in senso forte);
3. le argomentazioni che Penrose sciorina a sostegno della sua posizione si estendono per circa 150 pagine, non esattamente facilissime da leggere, ma che credo di poter riassumere all'osso in questa maniera;
   • un computer "intelligente" in senso A sarebbe basato - in ogni caso - su un algoritmo, e cioè alla fin fine su un sistema formale (a noi esseri umani perfettamente noto, perché lo dobbiamo costruire);
   • tale sistema formale si scontrerebbe coi limiti posti dai teoremi di Goedel, in altre parole sarebbe incapace di provare affermazioni vere ma indecidibili all'interno del sistema stesso;
   • siccome invece noi esseri umani potremmo provare tali affermazioni (potremmo dimostrare certi teoremi, almeno in linea di principio, non mi aspetto che lo possano concretamente fare tutti, ma un qualsiasi essere umano bene addestrato e con sufficiente pazienza certamente sì), ciò dimostra la nostra innegabile superiorità, e scatena un paradosso tale per cui la costruzione stessa del computer "intelligente" diventa impossibile; queste stesse argomentazioni gli servono a confutare il punto B (IA in senso debole)
4. non gli resta che il punto C: i fenomeni mentali sono conseguenza di fenomeni fisici non-computabili. Nelle restanti 350 pagine del libro, Penrose va a caccia di questi fantasmi, indicando alcune interessanti possibilità (che però, va detto, sono solo possibilità: non dimostra nulla).

1. cos'è una macchina universale di Turing?
2. chi cazzo era Goedel, perché non si è fatto gli affari suoi, chi lo spingeva, e soprattutto cosa diavolo c'entra un teorema di matematica con la mia piccola anima immortale.