Cita:
Iniciado por patilanz 
?? Por que? Que cambiaría esto, saber si un programa termina o no?
Para indicar mas correctamente, no es saber si "un" programa en particular termina o no, sino "cualquier" programa que se reciba.
Si te dijera que ese es un programa imposible de construir, tal vez aceptarías con más ganas el desafío de construir uno que pruebe que en realidad no es imposible y que estoy equivocado.
Hay una colección de problemas que se sabe son imposibles de resolver, pero no es fácil detectarlos a simple vista, sin embargo, nup_ tiene el ojo entrenado.