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

[loredana]

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