Re: Godel+Turing = Penrose+Lucas

From: Enrico SMARGIASSI <smargiassi_at_ts.infn.it>
Date: Sat, 09 Feb 2008 16:44:26 +0100

gugo wrote:

> "macchina di Touring".

Si scrive Turing. E non ha fondato nessun club :-)

> da Fabri, allora questo basterebbe per trasformare il mio computer in
> una "non-macchina di turing"?

Premesso che non sono affatto un esperto, e premesso che questi
argomenti basati su Goedel e compagnia non li ho mai ben capiti, a me
risulta che le macchine di Turing stocastiche esistano, ma che si
ritiene generalmente (pero' non credo esista una dimostrazione formale)
che esse siano simulabili da opportune macchine di Turing
deterministiche, e che quindi non introducano nulla di nuovo. Pero'
prendimi con le pinze.
Received on Sat Feb 09 2008 - 16:44:26 CET