Turing demostró que si un algoritmo puede ser escrito para resolver un problema matemático, entonces una máquina de Turing puede ejecutar dicho algoritmo.