День логики


В Математическом центре Академгородка праздник отметили круглым столом
21 февраля 2020

В новосибирском Академгородке прошел круглый стол «Математическая логика: современное состояние и перспективы», приуроченный к Всемирному дню логики. В рамках круглого стола сибирские математики обсудили современные проблемах математической логики и теории вычислимости.

В ноябре 2019 года Генеральная конференция ЮНЕСКО провозгласила 14 января 2020-го Всемирным днем логики — дата выбрана как дань уважения памяти математиков Курта Гёделя (14 января 1906—1978 гг.) и Альфреда Тарского (род. 14 января 1901 года).

«Начиная с древних времён логика возникает из потребностей жизни — в частности, из юридических проблем и проблем обоснованности построения научных знаний. В этой связи логика важна как в университетском, так и школьном образования. Если говорить о последнем, то логика была включена в курс еще в гимназиях в Российской империи. В советское время вместо логической программы образования фундаментальную роль играла программа по геометрии, где вводились элементы доказательства на основе евклидовой геометрии. Она вырабатывала навыки точного проведения логических рассуждений, которые являются элементом общей культуры, — рассказал директор Института математики им. С. Л. Соболева СО РАН академик Сергей Савостьянович Гончаров. — Подобная методика рассуждений хорошо и понятно работает на конечных объектах. Следующий этап развития логической науки связан с проблемами построения анализа бесконечно малых. Эти задачи, а также развитие теории множеств, привели к проблеме правильности работы с бесконечными объектами. В рамках развития логики для них ключевой вклад внесли профессор Альфред Тарский, заложивший основы математической семантики, которые базируются на теории моделей, и профессор Курт Гёдель, доказавший знаменитую теорему о неполноте рекурсивно аксиоматизируемых расширений аксиоматики Пеано для арифметики. Следует отметить, что наряду с А. Тарским фундаментальный вклад в проблемы современной логики внёс выдающийся советский математик академик Анатолий Иванович Мальцев, доказавший принципиальный результат теории моделей — теорему компактности».

Сергей Гончаров также отметил, что в настоящее время большой вызов в современной математической логике связан с теорией квантовых вычислений и созданием интеллектуальных систем управления, в которых уже работают новые логико-вероятностные математические модели. Развитие этого направления чрезвычайно важно также в связи с задачами прогнозирования и построения систем с элементами машинного обучения.

Ведущий научный сотрудник лаборатории теории вычислимости и прикладной логики ИМ СО РАН доктор физико-математических наук Евгений Евгеньевич Витяев выступил на круглом столе с обсуждением существующих логико-вероятностных методов. «Технологии глубокого обучения, основанные на нейронных сетях, добились впечатляющих результатов и могут решать некоторые задачи на уровне человека, однако растёт понимание, что нейронным сетям нельзя доверять в областях, где цена ошибки слишком высока. Отсюда возникает проблема — разработать методы объясняющего искусственного интеллекта, способного обосновывать принятые решения» — сказал Евгений Витяев.

О значении логики в информатике говорил старший научный сотрудник лаборатории информационных систем Института систем информатики им. А. П. Ершова СО РАН кандидат физико-математических наук Денис Константинович Пономарёв.

«Одним из ключевых методов информатики является постановка и решение задач через формальные, компьютерные языки. Для интересующей предметной области выбирается формальный язык, в котором можно описать класс задач, подлежащий решению. После этапа формализации возможность решения класса задач изучается на уровне формального языка уже с помощью методов математики и компьютерных наук — фактически исследуются свойства языка, как математические объекты. Подобным образом развились такие направления как логическое программирование, методы представления знаний (о времени, пространстве, действиях), методы рассуждений о знаниях, и многие другие» — прокомментировал Денис Пономарёв.

Главный научный сотрудник лаборатории теоретического программирования ИСИ СО РАН доктор физико-математических наук Виктор Львович Селиванов рассказал о перспективных направлениях теории вычислений на непрерывных структурах: о спектрах степеней топологических структур, эффективной дескриптивной теории множеств, вычислимости в числовых полях и численных методах.

Круглый стол «Математическая логика: современное состояние и перспективы» проведён в рамках серии научных мероприятий, организуемых Математическим центром в Академгородке.

Руководитель логического направления Математического центра в Академгородке, к.ф.-м.н. Н. А. Баженов