Tu présupposes une implémentation de "halt" or son implémentation * ON S'EN FOUT *. Pour la démonstration * LA SEULE ET **UNIQUE** CHOSE NECESSAIRE * est de * PRÉSUPPOSER L'EXISTENCE * de cette fonction. Ce qui permet d'en tirer * UNE CONTRADICTION *. Cette contradiction * PROUVE * qu'il * N'EXISTE PAS * de telle fonction.
Discuter sur le comment cette fonction peut-être implémentée * EST INUTILE *.
[^] # Re: Halting problem
Posté par allcolor . En réponse au journal Déterminer le domaine d'un programme. Évalué à 2.
Discuter sur le comment cette fonction peut-être implémentée * EST INUTILE *.