De acordo com a tese de Church–Turing, se um cálculo puder serfeito de forma automatizada — por um dado método, num número finito depassos — então também pode ser feito por uma máquina de Turing. Nesteartigo faz-se uma breve introdução à tese de Church–Turing e ao contextohistórico da sua formulação. Inclui-se uma tradução comentada de partedo artigo de Alan Turing de 1936–37, “On computable numbers, with anapplication to the Entscheidungsproblem” [24], onde é possível entender aorigem da máquina de Turing
