Re: Godel+Turing = Penrose+Lucas

From: gugo <g_ugo_at_libero.it>
Date: Sat, 16 Feb 2008 07:20:41 -0800 (PST)

On 14 Feb, 06:39, "A.D." <isd_..._at_libero.ix> wrote:
> gugo <g_..._at_libero.it> wrote in message
>
> 98e9eaf4-69da-4a71-aebd-b31e54acf..._at_f10g2000hsf.googlegroups.com...
>
> > (a mio avviso non sarebbe vero, come dice A.D.
> > che un computer e' una macchina di Turing perche'
> > sa fare la macchina di Turing.
>
> L'unica differenza tra una macchina di Turing ed un
> computer consiste nel fatto che la macchina di Turing
> classica ha risorse infinite, per il resto il funzionamento
> � identico a quello di un normale computer (dal punto
> di vista della computabilit�). Dato un programma per
> la macchina di Turing � possibile tradurlo in istruzioni
> di qualsiasi microprocessore, e viceversa, ottenendo
> lo stesso risultato. Quindi si pu� dire che le due
> macchine sono strettamente equivalenti (salvo il
> problema delle risorse infinite, che comunque pu�
> essere "aggirato" in molti casi).
>
> A.D.

Ripeto che su questo non sono d'accordo.
Anche io so fare la macchina di Turing, ma non per questo mi sento
meno umano di te.
Puoi tradurre anche nel mio linguaggio le istruzioni di un programma
per macchina di Turing, ma non significa che io sia equivalente ad una
macchina di Turing.
Che il mio computer sappia fare la macchina di Turing non implica che
non sappia fare anche la "non macchina di Turing".
Received on Sat Feb 16 2008 - 16:20:41 CET