Pero Turing ya había demostrado que no existe algoritmo general que pueda decidir si una máquina de Turing se para.