Какие утверждения о логике и математической логике являются истинными?
(Ответ считается верным, если отмечены все правильные варианты ответов.)
Варианты ответа
Можно создать программу для компьютера, которая, используя законы математической логики, будет доказывать любые математические теоремы
Невозможно создать программу для компьютера, которая, используя законы математической логики, будет доказывать любые математические теоремы (Верный ответ)
Можно создать программу для компьютера, которая, используя законы математической логики, будет доказывать некоторые математические теоремы(Верный ответ)
Невозможно создать программу для компьютера, которая, используя законы математической логики, будет доказывать некоторые математические теоремы