Si reflexionamos sobre la idea anterior, observamos como remarca los atributos de Turing, no para la tesis M, pero sí para la tesis de Church-Turing.