Выдержка из книги
Катленд Н.N.
Вычислимость Введение в теорию рекурсивных функций
Для каждого из этих подходов, равно как и для друг подходов к вычислимости на области D, использующих в треннюю структуру D, мы убеждаемся, как и следовало ож дать, что они эквивалентны подходу, основанному на перено понятия вычислимости с N на D с помощью кодирован И наоборот, каждое естественное понятие вычислимости области D индуцирует альтернативное ( но эквивалентнс понятие вычислимости на N через кодирование, как мы Э4 видели в § 5 относительно вычислимости по Посту.