Sin embargo, la respuesta negativa al Entscheidungsproblem demuestra que no existe tal algoritmo.