Plus précisément: tu prends le programme f qui prend en entrée l'entier n et qui exécute le programme de numéro n et qui renvoie n si ledit programme termine (quel que soit le résultat de son exécution). Si tu peux décider si un entier n est dans l'image de f, ça veut dire que la fonction termine, donc tu décides le problème de l'arrêt, donc l'univers implose (c'est malin, tiens !).
[^] # Re: Halting problem
Posté par Zakath . En réponse au journal Déterminer le domaine d'un programme. Évalué à 6.