1 transparent par page - Montefiore

◮ Appliquons maintenant Test à lui-même. Deux résultats possibles :
◮ Test(Test) se termine : la valeur de CheckHalt(Test, Test)
est alors “halts” et donc Test(Test) boucle à l’infini.
◮ Test(Test) boucle à l’infini : CheckHalt(Test, Test) renvoie
“loops forever” et donc Test(Test) se termine.
◮ Cette analyse montre que Test(Test) boucle et aussi se termine.
◮ Cette contradiction montre qu’il n’est pas possible d’écrire une
fonction CheckHalt.
112