Re: Godel+Turing = Penrose+Lucas
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
This archive was generated by hypermail 2.3.0
: Thu Nov 21 2024 - 05:10:09 CET