Re: Godel+Turing = Penrose+Lucas

From: A.D. <isd_mod_at_libero.ix>
Date: Sun, 17 Feb 2008 12:11:52 GMT

gugo <g_ugo_at_libero.it> wrote in message
2bbce55a-0bb9-46f8-b499-594a166dd51f_at_q70g2000hsb.googlegroups.com...
> Che il mio computer sappia fare la macchina di Turing
> non implica che non sappia fare anche la "non macchina
> di Turing".

Ripeto, computazionale non c'� nessuna differenza tra un PC
e la macchina di Turing, quello che pu� fare uno lo pu� fare
l'altro, e quello che non pu� fare uno non pu� fare l'altro.
Non c'� alcuna differenza.
Il discorso della casualit� non incide minimamente sulla
propriet� computazionali di entrambe le amcchine.

A.D.
Received on Sun Feb 17 2008 - 13:11:52 CET