Re: Godel+Turing = Penrose+Lucas

From: ?manu* <paolini_at_NO.math.unifi.SPAM.it>
Date: Sat, 16 Feb 2008 21:27:53 +0100

gugo wrote:
> Che il mio computer sappia fare la macchina di Turing non implica che
> non sappia fare anche la "non macchina di Turing".

Il punto � che tutto quello che si pu� fare col tuo computer si pu� fare
anche con una macchina di Turing.

E.
Received on Sat Feb 16 2008 - 21:27:53 CET