Supongamos que este problema sí se puede resolver algoritmicamente; entonces hay un programa, que llamaremos "Termina", que cada vez que se le suministra el código de un programa "p" y sus datos de entrada "x", hace un número finito de operaciones y responde ""True"" cuando el programa termina o ""False"" cuando el programa nunca termina.