Tras un estudio exhaustivo se ha podido comprobar que existen diversas versiones de la tesis de Church-Turing.