Главная /
Основы теории вычислимых функций /
Утверждение "Всякое исчисление, порождающее формулы арифметики либо не адекватно, либо неполно" - это:
Утверждение "Всякое исчисление, порождающее формулы арифметики либо не адекватно, либо неполно" - это:
вопросПравильный ответ:
теорема Геделя
теорема Черча
тезис Тьюринга
Сложность вопроса
93
Сложность курса: Основы теории вычислимых функций
86
Оценить вопрос
Комментарии:
Аноним
Экзамен сдал на зачёт. Спасибо vtone
30 сен 2020
Аноним
Благодарю за тесты по интуиту.
15 ноя 2019
Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.
- # Всякое бесконечное перечислимое множество:
- # При любом n любое множество из класса :
- # Арифметическое множество m-сводимо к множеству всех истинных арифметических формул без параметров:
- # Два пересекающихся перечислимых множества, не отделимые разрешимым множеством:
- # Если U(n,x) - главная вычислимая универсальная функция для класса всех вычислимых одноместных функций, то тогда: