De esta forma, si este enunciado es correcto entonces tenemos que encontrar un método efectivo o un programa para una máquina de Turing son conceptos equivalentes.