Precisamente la tesis de Church establece que la definición de algoritmo o procedimiento efectivo es una máquina de Turing.