Ouais alors il faut se rendre à l'évidence, soit tu t'exprimes pas bien et personne comprends ce que tu veux dire, soit quelque part tu as tort, soit le problème de l'arrêt n'en est pas un, ce qui reviendrait à ce que des générations d'informaticiens aient tort, et là t'as intérêt à bien faire comprendre ce que tu veux dire si tu veux pas te faire descendre ;)
En gros, tu veux en venir ou ? Cette preuve montre qu'il existe au moins un programme dont l'arrêt est indécidable, et sûrement une infinité d'autres.
Donc t'as démontré que le problème dans sa généralité était insoluble. Après en se restreignant à des sous classes du problème effectivement on peut faire des trucs, mais bon, ces classes sont pas forcément toutes intéressantes, et surtout t'as des tas de cas intéressants qui sont pas dedans ...
[^] # Re: Halting problem
Posté par thoasm . En réponse au journal Déterminer le domaine d'un programme. Évalué à 3.
En gros, tu veux en venir ou ? Cette preuve montre qu'il existe au moins un programme dont l'arrêt est indécidable, et sûrement une infinité d'autres.
Donc t'as démontré que le problème dans sa généralité était insoluble. Après en se restreignant à des sous classes du problème effectivement on peut faire des trucs, mais bon, ces classes sont pas forcément toutes intéressantes, et surtout t'as des tas de cas intéressants qui sont pas dedans ...