Es necesario destacar, que el origen de la tesis de Church-Turing se encuentra en el hecho de que Turing deseaba demostrar que el problema de la decisión (Entscheidungsproblem), para el cálculo de predicados, carecía de solución, es decir, era insoluble.