Для каждого из этих подходов, равно как и для друг подходов к вычислимости на области ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Катленд Н.N. Вычислимость Введение в теорию рекурсивных функций


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

(cкачать страницу)

Смотреть книгу на libgen

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