Donc tu viens d'expliquer qu'on ne peut pas trouver un algorithme (en fait au moins un) qui soit universelle pour le problème donné, c'est bien ce que tu viens de montrer.
Tu viens de montrer que ton algo du halting problem n'est pas universelle (ie. il ne peut pas donner de réponse pour halt(halt,halt)). Donc la démonstration par l'absurde n'est pas érronée.
[^] # Re: Que ne savons-nous pas ?
Posté par allcolor . En réponse au journal Que ne savons-nous pas ?. Évalué à 1.
Tu viens de montrer que ton algo du halting problem n'est pas universelle (ie. il ne peut pas donner de réponse pour halt(halt,halt)). Donc la démonstration par l'absurde n'est pas érronée.