ДВЕ КОНФЕРЕНЦИИ ПО ТЕОРИИ ВЫЧИСЛИМОСТИ В ГЕРМАНИИ
Город Гейдельберг хранитель древних немецких университетских
традиций, обладатель самого старого университета на современной
территории Германии...
А.Морозов, проф., д.ф.-м.н., Институт математики
СО РАН.
Трудно передать тому, кто там не побывал,
это ощущение стройности и чистоты мудрого, спокойного,
устремленного в вечность города. Здесь с 18 по 21 января
проходилa конференция "Вычислимость и модели " в рамках
международного гранта ИНТАС-РФФИ, руководителями которого
являются профессор Б.Купер (г.Лидс, Англия) и чл.-корр. РАН
С.Гончаров. Первaя такая конференция прошла в мае 2000 года в
Новосибирске. Надо отметить, что это далеко не первый
международный грант, получаемый новосибирскими логиками. До этого
уже были успешные совместные гранты с итальянскими специалистами
из Университета Сиены, с Дармштадским Техническим Университетом
(Германия), в настоящее время ведутся работы по международному
гранту Национального Научного Фонда совместно со специалистами из
США. В этой конференции приняли участие и выступили с пленарными
докладами 3 сотрудника Института математики им. С.Л.Соболева СО
РАН (чл.-к. РАН С.Гончаров, проф. А.Морозов, к.ф.-м.н.
О.Кудинов).
Эта конференция была приурочена к самой важной конференции по
теории вычислимости, организуемой каждые 5 лет в Обервольфахе,
которая прошла с 21 по 27 января. Обычно на конференции в
Обервольфах приглашаются на конкурсной основе 40--50 самых
известных и активно работающих специалистов со всего мира.
Некоторым может показаться странным, что теория вычислимости
это органическая часть математической логики и оснований
математики. Однако это довольно быстро становится ясным каждому,
кто начинает знакомиться с этой областью. К сожалению, жанр
заметки не позволяет пояснить этот тезис. Тем не менее, стоит
заметить, что все создатели теории вычислимости а также все
идеологи создания первых компьютеров были специалистами по
математической логике, которые естественно подошли к этой
проблематике, исходя из внутренней логики развития исследований.
Обервольфах это имя, принадлежащее крохотной деревушке в
живописном уголке Шварцвальда (Черного леса), знают многие
математики мира. Здесь, "в немецкой глуши" находится уникальный
математический институт, основная задача которого проведение
математических конференций. Каждую неделю здесь проходит новая
конференция по математике.
Поэтическая атмосфера Шварцвальда покой и тишина, высокие
стройные сосны и ели, задумчивые холмы, живописная долина и
деревушка, будто сошедшая с картины немецкого художника,
создает неповторимое настроение и водхновляет на занятия
математикой. Гостям Обервольфаха предоставляется возможность
пользоваться великолепными светлыми и строгими залами для
заседаний, прекрасной библиотекой, открытой круглосуточно,
современными компьютерами, музыкальной комнатой, хорошей
гостиницей и рестораном. Этот математический институт был
построен в 1944 году и потом длительное время финансировался на
средства фонда Фольксваген. В настоящее время основные расходы
несет федеральная земля Баден-Вюртемберг. В конференции по
вычислимости в Обервольфахе приянл участие 51 специалист, из
которых девять человек было приглашено из СНГ: пятеро (академик
РАН Ю.Ершов, чл.-к. РАН С.Гончаров, проф. А.Морозов, а
также молодые кандидаты наук О.Кудинов и П.Алаев)
сотрудники Института математики им. С.Л.Соболева СО РАН, двое
специалистов из Татарстана и двое из Казахстана. Кстати, все они
прнадлежат к научной школе, основанной в Новосибирске академиком
А.Мальцевым.
На этот раз оргкомитет конференции использовал необычную
политику. Он старался уменьшить число докладов, увеличить время
на перерывы и предоставить таким образом как можно больше времени
для неформального общения специалистов. На конференции было
сделано всего 20 пленарных докладов, из которых 2 были сделаны
сотрудниками СО РАН (С.Гончаров и А.Морозов).
Обе конференции показали, что, несмотря на существующие
трудности, научный потенциал, активность и результаты Сибирской
логико-алгебраической школы находятся на самом высоком
международном уровне, к исследованием привлекается талантливая
молодежь, которaя успешно работает в самых актуальных
направлениях математической логики и получает результаты,
решающие известные трудные проблемы и высоко оцениваемые
международным математическим сообществом. Этот эффект быстрого и
качественного роста молодых талантливых ученых безусловно в
огромной мере обеспечивается универсальностью и высоким качеством
базовой подготовки на математическом факультете НГУ а также тем,
что студентам с самого начала доверяются самостоятельные участки
исследований, предоставляются возможности творческого роста и
самореализации.
|