 It should also be noted that the question what exactly is an effective procedure spurred Church’s work on effective calculability and the decision problem (see  section 1).  It is also motivated some of his other technical work such as his work on constructive ordinals (1938).