El principal problema con el que nos encontramos al intentar rebatir esta tesis es que los conceptos de “algoritmo” y de “procedimiento efectivo” no se encuentran perfectamente definidos dentro de ninguna teoría matemática.