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

Утверждение "Всякое исчисление, порождающее формулы арифметики либо не адекватно, либо неполно" - это:

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

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

теорема Черча

теорема Геделя(Верный ответ)

тезис Тьюринга

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

Утверждение "Любой алгоритм, перечисляющий множество формул арифметики порождает некоторую ложную формулу, либо не порождает некоторой истинной формулы" - это:

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

Всякое бесконечное перечислимое множество:

Перечислимо всякое множество, если оно:

Ассоциативное исчисление - это:

Ассоциативное исчисление - двустороннее, если оно содержит правила:

Двухстороннее исчисление, для правил которого нет алгоритма, выясняющегося, можно ли получить одно слово из другого:

Верно утверждение: