Re: Halting problem

Le premier argument s'applique sur le second

Non, le premier argument est exécuté, avec comme argument le code du second. C'est un peu différent.

Le second pour exprimer sa signification a besoin d'un argument si il s'agit d'une fonction

Non, quand on a le code on peut savoir plein de choses sur une fonction sans avoir à l'exécuter. En faisant de l'analyse statique, par exemple.