Главная /
Основы теории вычислимых функций /
Утверждение "Любой алгоритм, перечисляющий множество формул арифметики порождает некоторую ложную формулу, либо не порождает некоторой истинной формулы" - это:
Утверждение "Любой алгоритм, перечисляющий множество формул арифметики порождает некоторую ложную формулу, либо не порождает некоторой истинной формулы" - это:
вопросПравильный ответ:
теорема о полноте Кантора
теорема о неполноте Геделя
теорема о существовании универсальной машины Тьюринга
Сложность вопроса
36
Сложность курса: Основы теории вычислимых функций
86
Оценить вопрос
Комментарии:
Аноним
Какой человек гуглит данные ответы по интуит? Это же очень просты вопросы
05 дек 2018
Аноним
Зачёт всё. Бегу выпивать отмечать 5 в зачётке по тесту
23 апр 2016
Аноним
Благодарю за ответы по интуиту.
16 ноя 2015
Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.
- # Непознаваемая программа:
- # По любому номеру любого вычислимого действительного числа, номер вычислимой функции десятичного его разложения:
- # Если X - класс вычислимых одноместных функции, а Y - его подмножество, то верно утверждение:
- # Если X - класс вычислимых одноместных функции, а Y - его подмножество, то верно утверждение:
- # m-полнота - это отношение: