Основы теории вычислимых функций

В теореме Успенского - Райса утверждается, что в главной нумерации:

(Ответ считается верным, если отмечены все правильные варианты ответов.)

Варианты ответа

множество номеров любой функции бесконечно(Верный ответ)

множество номеров любой функции счетно

множество номеров любой функции не разрешимо(Верный ответ)

Похожие вопросы

В теореме Роджерса утверждается, что трансляторы, сводящие главные нумерации друг к другу выбираемы:

Любые две нумерации перечислимых множеств:

Определению главной универсальной функции адекватно утверждение:

Нумерация, соответствующая главной универсальной функции называется: