14 января состоялось празднование Всемирного дня логики. Дата 14 января выбрана как дань уважения выдающимся математикам Курту Гёделю (умер 14 января 1978 г.) и Альфреду Тарскому (родился 14 января 1901 г.). Всемирный день логики был провозглашён Генеральной конференцией ЮНЕСКО в ноябре 2019 г.
В рамках празднования Дня логики состоялся международный онлайн-семинар «World Logic Day Workshop 2021», организованный Математическим центром в Академгородке и Назарбаев Университетом (г. Нур-Султан, Казахстан). В работе семинара приняло участие 50 человек из России, Казахстана, США, Болгарии, Великобритании и Германии.
С докладами на семинаре выступили академик РАН Сергей Савостьянович Гончаров (ИМ СО РАН), профессор Штеффен Лемпп (University of Wisconsin-Madison, США) и учёный секретарь Association of Symbolic Logic, профессор Расселл Миллер (City University of New York, США).
Сергей Гончаров рассказывает:
В связи с развитием информационных технологий алгоритмические методы приобретают важнейшее значение в человеческой деятельности. Понимая ведущую роль логики в цифровых технологиях, ЮНЕСКО провозгласило Всемирный день логики. Празднование этого дня направлено не только на поддержку научных исследований, но и на расширение общественного понимания роли логики в технологии и инновациях. В образовательной деятельности следует выделить особую важность логики как основы научного мышления.
Современная теория моделей, являющаяся базой для теории онтологий в информатике, была создана профессором Альфредом Тарским и выдающимся советским математиком, академиком Анатолием Ивановичем Мальцевым. Стоит отметить, что именно А. И. Мальцев ввёл преподавание математической логики в Новосибирском государственном университете. В работах академика Юрия Леонидовича Ершова и его учеников развит целый ряд важных направлений, лежащих на стыке математической логики и информатики: теория конструктивных моделей, теория нумераций, семантическое программирование, теория вычислимых функционалов.
Организатор мероприятия
Николай Баженов комментирует:
Фундаментальные результаты, полученные в Сибирской школе алгебры и логики, признаны во всём мире. В прошлом году МЦА проводил круглый стол, посвящённый Всемирному дню логики. В рамках круглого стола наши ведущие специалисты обсудили перспективы развития логики и её приложений. Отметим, что при поддержке МЦА ведётся работа по современным перспективным направлениям: связь конструктивных моделей с онлайн-алгоритмами, полиномиальная вычислимость в решениях уравнений с частными производными. В этом году на онлайн-семинаре ведущие мировые учёные выступили с докладами о важных новых результатах в области математической логики и теории вычислимости.
