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