Sin embargo, Turing demostró que, apoyándose en su tesis, dicho método para el cálculo de predicados no es posible.