Al ser imposible la existencia de tal máquina "Termina", que resolvía el problema de la parada, el problema de la parada no puede ser solucionado por ninguna máquina de Turing.