Turing proved that if an algorithm can be written to solve a mathematical problem, then a Turing machine can execute that algorithm.
Turing probou que se se podía escribir un algoritmo para resolver un problema matemático, entón habería unha máquina de Turing que podería executar ese algoritmo.