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



Выдержка из книги Булос Д.N. Вычислимость и логика


В понимании этих вроде бы очевидных вещей нужна определенна. Эта биективная функция непременно должна быть вычислимой ( относительно чего. Таким образом, понятие вычислимости неизбежно проникает уже в понятие системы записи чисел.

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

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

В понимании этих вроде бы очевидных вещей нужна определенна.  Эта биективная функция непременно должна быть вычислимой ( относительно чего.  Таким образом,  понятие вычислимости неизбежно проникает уже в понятие системы записи чисел.