• [^] # Re: Halting problem

    Posté par . En réponse au journal Déterminer le domaine d'un programme. Évalué à 3.

    Je répète, j'y ai répondu, j'ai mis la démonstration, je l'ai expliquée.

    La démonstration montre que la fonction halt n'existe pas, la supposition de son existence introduit une contradiction prouvant donc qu'une telle fonction *n'existe pas*.

    Il n'y a rien d'autres à ajouter là dessus.