База ответов ИНТУИТ

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

<<- Назад к вопросам

Множество всех истинных арифметических формул без параметров:

(Отметьте один правильный вариант ответа.)

Варианты ответа
перечислимо
универсально
не перечислимо(Верный ответ)
Похожие вопросы
Множество всех истинных арифметических формул без параметров:
Арифметическое множество m-сводимо к множеству всех истинных арифметических формул без параметров:
Множество всех самоприменимых программ:
Утверждение "Любой алгоритм, перечисляющий множество формул арифметики порождает некоторую ложную формулу, либо не порождает некоторой истинной формулы" - это:
Множество всех программ, останавливающихся хотя бы на одном входе является:
Для перечисляемых образцов и вычислимой универсальной функции, множество номеров всех функций, продолжающих хоть один образец:
Множество всех показателей n, для которых существует целое решение уравнения xn+yn=zn всегда:
Иммунное множество - это множество:
Среди перечислимых множеств множество, к которому m-сводится любое перечислимое множество X:
m-полное множество относительно m-сводимости - это множество: