Главная /
Основы теории вычислимых функций /
Утверждение: "Средствами формальной системы нельзя доказать ее непротиворечивость" - это:
Утверждение: "Средствами формальной системы нельзя доказать ее непротиворечивость" - это:
вопросПравильный ответ:
первая теорема Геделя
вторая теорема Геделя
десятая проблема Гильберта
Сложность вопроса
30
Сложность курса: Основы теории вычислимых функций
86
Оценить вопрос
Комментарии:
Аноним
Зачёт всё. Бегу отмечать отмечать победу над тестом интут
22 авг 2019
Аноним
Зачёт в студне отлично. Мчусь кутить отмечать 5 за тест интуит
26 апр 2016
Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.