 A greater difference lay in the profound significance of Turing’s approach for the emerging science of automatic computation. Church’s approach did not mention computing machinery, whereas Turing’s introduced the ‘Turing machine’, as Church dubbed it in his 1937a review of Turing’s paper—Turing’s abstract computing machine that encapsulates the fundamental logical principles of the stored-program, all-purpose digital computer.