Re: Godel+Turing = Penrose+Lucas

From: ?manu* <paolini_at_NO.math.unifi.SPAM.it>
Date: Sun, 10 Feb 2008 13:56:12 +0100

gugo wrote:
> Partendo dai risultati dei "Teoremi di incompletezza di G�del",
> mescolando uno dei noti teoremi di Turing, "Halting Problem",
> Mr. Roger Penrose (fisico matematico) e successivamente Mr. John Lucas
> (filosofo) hanno dichiarato e (dimostrato?) che una macchina di Turing
> non potra' mai emulare il cervello umano.
> Quindi un computer non potra' mai emulare il cervello umano.
>
> Prendendo per buona la loro prima affermazione, non sono d'accordo
> sull'ultimissimo passaggio.
> Non sono proprio sicuro del fatto che un Computer possa essere preso
> come esempio di "macchina di Touring".
> Non ho letto nulla relativamente alla casualita' nelle macchine di
> Touring, e i nostri computer hanno all'interno dei generatori di
> numeri casuali.

Non sono molto esperto a riguardo ma credo che le asserzioni di Penrose
tendano alla distinzione tra computer classici e computer quantistici.
La tesi sarebbe che il cervello, per implementare l'autocoscienza, debba
avere un funzionamento basato su qualche fenomeno quantistico. I
computer usuali, invece, hanno algoritmi basati sulla macchina di
Turing, a questi si applica il teorema di incompletezza che dovrebbe in
qualche modo significare che una macchina di Turing non pu� avere
coscienza di s�.

E.
Received on Sun Feb 10 2008 - 13:56:12 CET