GUEST POST DI STEFANO B. "I would be a machine!"

L’ultimo sondaggio in questo blog proponeva una possibile differenza tra cervello e mente. Colgo l’occasione per porre questa domanda: la mente umana è assimilabile a un computer? La questione è ovviamente complessa, ma in 50 anni di dibattito sono state abbozzate alcune soluzioni. Chi desse una risposta positiva a questa domanda sarebbe considerato un meccanicista. Ma c’è un argomento razionale con cui il meccanicista può difendere la propria tesi? Oppure è solo uno che ha visto troppi film di fantascienza? E’ stato fatto notare che la tesi meccanicista più raffinata possibile corrisponde a questo: l’insieme delle nostre conoscenze (K) è ricorsivamente enumerabile (RE); ovvero: c’è una particolare macchina che può computare, attraverso un algoritmo, tutte le nostre conoscenze? Da decenni filosofi e scienziati dibattono su queste questioni. L’antimeccanicista sostiene -facendo appello al Secondo Teorema di Goedel- che un qualunque computer che si basa sull’aritmetica elementare, per quanto potente sia, non potrà mai dimostrare tutti i teoremi possibili. A questo punto il meccanicista domanda: “certamente un essere umano può accedere ad una parte di tutte le conoscenze possibili, ma può accedere a tutte?” Dando una risposta secca: no. Quindi la potenza della ragione non può superare quella di una macchina. Al più è possibile concedere che macchina e uomo hanno gli stessi limiti e, in questo senso, l’una può essere un buon sostituto dell’altro. La discussione a questo punto può sembrare essersi incagliata, ma è proprio qui che si entra in un territorio del tutto nuovo per la ragione: la filosofia della mente. Usando un teorema (detto di Tarski), Gibbs ha mostrato che le due posizioni sono riducibili a questi due asserti:

1) K non è RE: dunque non vi sono verità che la mente umana non può conoscere

2) K è RE, ovvero vi sono verità che la mente umana (come una macchina) non può conoscere.

Ma K è o non è RE? Ovviamente non darò la risposta, ma lascio ai lettori tutte le possibili congetture...

Stefano B.