Ученые со всего мира обсуждают, как математика может способствовать решению проблем искусственного интеллекта.
В Казанском федеральном университете открылась международная конференция «Алгебра и математическая логика: теория и приложения».
В ней принимают участие математики из России и ряда зарубежных стран, среди которых специалисты по алгебрам Ли, теории групп, теории колец, алгебраической геометрии, универсальной алгебре, теории моделей, математической логике, теории вычислимости, алгебраическим и логическим методам в программировании, а также другим разделам математики.
Крупное научное мероприятие, организаторами которого наряду с КФУ являются Научно-образовательный математический центр Приволжского федерального округа и Академия наук Республики Татарстан, посвящено 130-летию со дня рождения основателя кафедры алгебры Казанского университета, члена-корреспондента АН СССР Николая Чеботарева и 80-летию со дня рождения академика АН РТ Марата Арсланова, заведующего кафедрой алгебры и математической логики Института математики и механики КФУ.
Приветствуя участников конференции, первый проректор – проректор по научной деятельности КФУ Дмитрий Таюрский отметил, что 2024 год является юбилейным не только для математиков, но и для всего Казанского университета – в ноябре будет отмечаться 220-летие со дня рождения вуза.
«Несмотря на все сложности, которые сейчас существуют в мире, мы заинтересованы в том, чтобы у нас не останавливалось развитие наук, и математики прежде всего», – сказал Д. Таюрский.
Он подчеркнул, что от фундаментальной науки зависит технологическое развитие нашей страны и пожелал математикам продуктивной работы на конференции.
Исполняющий обязанности директора ИМиМ КФУ Марат Насрутдиновв своем выступлении выразил надежду на то, что общение участников конференции будет способствовать рождению новых идей, направленных на развитие алгебры, математической логики и математики в целом.
С приветствием к собравшимся также обратились председатель программного комитета конференции, академик РАН, главный научный сотрудник Института математики им. С.Л. Соболева Сибирского отделения РАН Юрий Ершов, которому в КФУ в 2023 году были вручены медаль и премия имени Н.И. Лобачевского, и ректор Казанского государственного архитектурно-строительного университета Рашит Низамов.
Завершилась церемония открытия вручением юбилейной медали «300 лет Российской академии наук» сопредседателю программного комитета конференции, профессору кафедры алгебры и математической логики ИМиМ КФУ, главному научному сотруднику НОМЦ ПФО, профессору РАН Искандеру Калимуллину. Ее торжественно передал ученому главный научный сотрудник Математического института им. В.А. Стеклова РАН, академик РАН Лев Беклемишев.
«Завтра я выступлю с пленарным докладом о связи между теорией доказательств и топологией "Топологическая семантика логики доказуемости", – сообщил в перерыве Л. Беклемишев, который участвовал в конференции пять лет назад. – Это второй мой приезд в Казань, чему я очень рад. Я тесно взаимодействую с коллегами из Казанского университета и считаю своим долгом быть здесь».
В интервью Центру медиакоммуникаций КФУ Марат Арсланов рассказал, что особенностью нынешней конференции является то, что большое внимание здесь будет уделено прикладным исследованиям.
«Сейчас большое значение имеют приложения современной математики. Они играют важную роль в решении проблем, связанных с развитием искусственного интеллекта, а также используются для решения производственных задач», – сообщил М. Арсланов.
Академик РАН Сергей Гончаров сказал, что впервые выступил с докладом в Казанском университете, когда был еще студентом. С тех пор он активно взаимодействует с М. Арслановым и его учениками.
«Общение между математиками позволяет увидеть ключевые задачи, которые необходимо решать. Сейчас, например, это проблемы, связанные с искусственным интеллектом, обработкой больших данных. Алгебра и математическая логика являются основными инструментами, позволяющими решать эти задачи», – поделился С. Гончаров.
В конференции, которая завершится 1 июля, принимают участие как известные ученые, среди которых более 40 докторов наук, так и молодые математики.
Автор: Лариса Бусиль, Департамент по информационной политике КФУ, фото:Инна Басырова