Сегодня - 08.03.2021

В новосибирском Академгородке снова отпраздновали День логики

20 января 2021
 
В рамках Всемирного дня логики состоялся международный онлайн-семинар World Logic Day Workshop 2021, организованный Институтом математики им. С. Л. Соболева СО РАН и Назарбаев Университетом (Нур-Султан, Казахстан). В работе семинара приняли участие более 50 человек из 9 стран.
 
«На рубеже нового десятилетия логика как область знаний оказалась как никогда прежде востребованной в наших обществах и экономиках. Так, информационные и цифровые технологии, во многом определяющие сегодня наш образ жизни, являются технологиями, построенными на основе логических суждений и алгоритмов. Принцип логического суждения лежит и в основе искусственного интеллекта, беспрецедентные темпы развития которого позволяют говорить о технологической и даже об антропологической революции», — пишет генеральный директор ЮНЕСКО Одре Азуле в послании по случаю Дня логики.
 
В связи с развитием информационных технологий алгоритмические методы приобретают важнейшее значение в человеческой деятельности. Современная теория моделей, являющаяся базой для теории онтологий в информатике, была создана профессором Альфредом Тарским и выдающимся советским математиком академиком Анатолием Ивановичем Мальцевым. Стоит отметить, что именно А. И. Мальцев ввел преподавание математической логики в Новосибирском государственном университете. В работах академика Юрия Леонидовича Ершова и его учеников развит целый ряд важных направлений, лежащих на стыке математической логики и информатики: теория конструктивных моделей, теория нумераций, теория вычислимых функционалов, семантическое программирование, которое нашло применение в построении программных систем для задач обработки данных и управления. В настоящее время исследования по связям конструктивных моделей с онлайн-алгоритмами активно ведутся в Математическом центре в Академгородке. Другое важное направление связано с вычислимостью над вещественными числами, ее связью с приближенными вычислениями и алгоритмами компьютерной алгебры. В этом направлении сибирскими учеными получены новые выдающиеся результаты о полиномиальной вычислимости для полей алгебраических чисел.
 
Семинар World Logic Day Workshop 2021 проведен в рамках серии научных мероприятий, организуемых Математическим центром в Академгородке.
 
Директор ИМ СО РАН академик С. С. Гончаров
 
Поделись с друзьями: 

Система Orphus