Главная /
Мышление, вычисления и искусственный интеллект для школьников /
Какое утверждение верно для формальной математической системы?
Какое утверждение верно для формальной математической системы?
вопросПравильный ответ:
полной и непротиворечивой системы не существует
в любой системе существуют верные утверждения, недоказуемые в рамках этой системы
в любой системе не существуют верные утверждения, доказуемые в рамках этой системы
неполной и непротиворечивой системы не существует
Сложность вопроса
81
Сложность курса: Мышление, вычисления и искусственный интеллект для школьников
67
Оценить вопрос
Комментарии:
Аноним
Экзамен сдал на 5. лол
06 мар 2019
Другие ответы на вопросы из темы образование интуит.
- # Любой вычислимый язык является ...
- # Что такое алфавит?
- # Предполагается ли при доказательстве нерешения проблемы остановки о существовании такой программы?
- # Какое противоречие возникает при окончании доказательства нерешения проблемы остановки?
- # В чем выражается противоречивость формальной системы?