On 09/02/2010 12.12, radicale 003 wrote:
> On 9 Feb, 11:31, Denis<spamcontai...*yahoo.com> wrote:
>> E' chiaro che deve essere cosi' altrimenti anche il>calcolo di 1+1 non e' terminante perche' il problema>diventa quello di produrre un numero
>> infinito di cifre.
>
> Giusto
>
>> Direi che non sempre e' cosi' semplice separare le
>> due cose , la separazione e' un caso speciale
>
> Addirittura ! Come mai accade questo ?
>
Prendi tutti i programmi esprimibili in un qualsiasi linguaggio
universale quindi questi li potrai raggruppare in sottoinsiemi in cui
una loro parte e' uguale , questi sottoinsiemi sono i programmi con
parametro che potrebbero essere costituiti anche da un solo elemento
quindi programma non definibile con parametri .
Questo non implica che non sia possibile definire un linguaggio
universale tale che tutti i programmi siano definibili con parametro ma
qui il dubbio e' se la cosa abbia effettivamente un significato oppure
se sia solo una questione tecnica.
Una cosa interessante e' invece notare come alcuni programmi possano
essere "accorciati" portando sempre piu' il programma stesso nel
parametro andando verso un comportamento piu' flessibile ( piu' casi
gestiti dal parametro ) passando da una situazione di computabilita' /
terminazione / algoritmo ad una situazione di incomputabilita' / non
terminazione ed allo stesso tempo il programma ottiene l' universalita'.