Formuló su propia versión que hoy es ampliamente aceptada como la tesis de Church-Turing (1936).