By 1963–64 Gödel would disavow Herbrand–Gödel recursion and the λ-calculus in favor of the Turing machine as the definition of "algorithm" or "mechanical procedure" or "formal system".
По 1963-4 Гедел би одрекао Хербранд-Гедел рекурзију и λ-рачуницу у корист Тјурингове машине као дефиниције "алгоритма" или "механичког поступка" или "формалног система".