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

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

вопрос

Правильный ответ:

теорема о полноте Кантора
теорема о неполноте Геделя
теорема о существовании универсальной машины Тьюринга
Сложность вопроса
36
Сложность курса: Основы теории вычислимых функций
86
Оценить вопрос
Очень сложно
Сложно
Средне
Легко
Очень легко
Комментарии:
Аноним
Какой человек гуглит данные ответы по интуит? Это же очень просты вопросы
05 дек 2018
Аноним
Зачёт всё. Бегу выпивать отмечать 5 в зачётке по тесту
23 апр 2016
Аноним
Благодарю за ответы по интуиту.
16 ноя 2015
Оставить комментарий
Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.