Como esta conclusión es absurda, entonces no puede existir el algoritmo "Termina"; es decir que es imposible resolver el problema de la parada algoritmicamente.