Cette démonstration classique est du même ordre que :
toto (bool a){
if(a) boucle_infinie() else arret();
}
? testarray(toto);
La réponse dépend des entrées,ce qui est une évidence qui n'apporte strictement aucune nouvelle information. Et d'un point de vue preuve n'a aucune utilité.
[^] # Re: Halting problem
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Déterminer le domaine d'un programme. Évalué à -1.
toto (bool a){
if(a) boucle_infinie() else arret();
}
? testarray(toto);
La réponse dépend des entrées,ce qui est une évidence qui n'apporte strictement aucune nouvelle information. Et d'un point de vue preuve n'a aucune utilité.
"La première sécurité est la liberté"