computability theory era Re: [Soci SLIP] input/output error

[Giovanni L.]

Si, ho letto
Mi hai rievocato studi passati sull'halt problem.. sei molto preparata sull'argomento!!

ciao
Giovanni





________________________________
From: loredana <llcfree a gmail.com>
To: Lista soci SLIP <soci a mail.pinerolo.linux.it>
Sent: Tue, June 8, 2010 1:19:49 PM
Subject: computability theory era Re: [Soci SLIP] input/output error

On Tue, 2010-06-08 at 10:13 +0000, Giovanni L. wrote:


> ma é possibile stabilire a priori cosa si può e cosa non si può
> calcolare?

Ho appena risposto a Lucio sullo stesso argomento. E' possibile
stabilire a priori (in teoria) che esistono funzioni non computabili 
ed e' possibile dimostrare che certe funzioni non sono computabili
(halt problem etc), non e' possibile determinarlo in modo automatico
(cioe' con un programma che discrimini tra funzioni computabili o no
per una QUALSIASI funzione). Funzione e programma sono la stessa cosa.

Loredana


      
-------------- parte successiva --------------
Un allegato HTML è stato rimosso...
URL: http://mailman.pinerolo.linux.it/pipermail/soci/attachments/20100608/0c5f3905/attachment.html