Turing logró desarrollar un método formal que permitió reemplazar el predicado informal "puede ser calculado por medio de un método efectivo".