Re: Godel+Turing = Penrose+Lucas

From: A.D. <isd_mod_at_libero.ix>
Date: Thu, 14 Feb 2008 06:39:08 GMT

gugo <g_ugo_at_libero.it> wrote in message
98e9eaf4-69da-4a71-aebd-b31e54acfe35_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.
Received on Thu Feb 14 2008 - 07:39:08 CET