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