Формальная система на основании аксиом и правил вывода создает:
(Отметьте один правильный вариант ответа.)
Варианты ответа
новые теоремы(Верный ответ)
новые правила вывода
новые аксиомы
Мышление, вычисления и искусственный интеллект для школьников
Похожие вопросы
Набор определенных начальных аксиом и правил вывода является ...
Является ли формальной системой набор определенных начальных аксиом и правил вывода?
Что представляет собой формальная система?
Любая математическая полная формальная система не может быть:
Любая математическая противоречивая формальная система не может быть:
Любая математическая непротиворечивая формальная система не может быть:
Любая математическая неполная формальная система не может быть:
Теоремы в формальных системах доказываются на основании:
Результаты теста Тьюринга рассчитываются на основании ответов компьютера на вопросы ...
Эксперимент "Китайская комната Серля" доказывает, что система может: