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