Turing demostró que no se puede encontrar una solución general a este problema.