In a few years (1939) Turing would propose, like Church and Kleene before him, that his formal definition of mechanical computing agent was the correct one.
За неколико година (1939) Тјуринг би предложио, као Черч и Клини пре њега, да је његова формална дефиниција механичке израчунљивости био исправан.