НОВОСИБИРСКИЙ ДЕБЮТ
АЗИАТСКОЙ КОНФЕРЕНЦИИ
ПО МАТЕМАТИЧЕСКОЙ ЛОГИКЕ

М. В. Ломоносов говорил: «Математику уж затем учить надо, что она ум в порядок приводит». Ну а приводит в порядок ум тот раздел математики, что называют «математическая логика».

С. Березнюк, к.ф.-м.н., член Оргкомитета АКЛ-2005,
с.н.с. ИМ СО РАН

В настоящее время крупнейшей международной организацией, объединяющей логиков всего мира, является основанная в 1936 г. Ассоциация символической логики (АСЛ). Помимо своих ежегодных собраний, АСЛ также выступает соорганизатором многих традиционных конференций по логике, включая ежегодный Европейский логический коллоквиум (ЕЛК) и проходящую каждые три года Азиатскую конференцию по логике (АКЛ).

Первая АКЛ состоялась в 1981 г. в Сингапуре. После этого конференции проходили в Бангкоке (1984), Пекине (1987), Токио (1990), Сингапуре (1993), Пекине (1996), Ситоу (Тайвань, 1999) и Шанхае (2002). В этом году 9-я АКЛ прошла в новосибирском Академгородке. В ее программный комитет вошли: С. Гончаров (председатель, ИМ СО РАН, Россия), Дэчэн Дин (Нанкинский университет, КНР), Родней  Г. Доуни (Университет Виктории, Новая Зеландия), Ю. Ершов (ИМ СО РАН, Россия), Джон  Н. Кроссли (Университет Монаш, Австралия), Л. Максимова (ИМ СО РАН, Россия), А. Морозов (ИМ СО РАН, Россия), Хироакира Оно (Японский передовой институт науки и технологии), Д. Пальчунов (ИМ СО РАН, Новосибирск), Е. Палютин (ИМ СО РАН, Новосибирск), Шипин Дун (Центральный христианский университет, Тайвань), Ци Фэн (Академия математики и системных наук, КНР), Б. Хусаинов (Оклендский университет, Новая Зеландия), Чжида Чжуан (Сингапурский национальный университет, Сингапур), Марико Ясуги (Киотский университет Сангё, Япония).

Проведение конференции было бы невозможно, если бы не помощь спонсоров, которыми были Ассоциация символической логики, механико-математический факультет Новосибирского государственного университета, Российский фонд фундаментальных исследований, Сибирский фонд алгебры и логики, центр информационных технологий «УниПро», ООО «ТрансТекст» и компания «Алекта» (генеральным директором которой является выпускник ММФ НГУ к.ф.-м.н. А. Жижин).

Не секрет, что в наше время многие «международные» конференции являются таковыми лишь формально: наличие пары приезжих докладчиков из ближнего зарубежья уже дает право заявить о наличии иностранных участников. Но в данном случае игра идет честная: на официальном сайте конференции зарегистрировалось 122 участника из самых разных стран Азии и Тихоокеанского региона: от Турции и Ирана до Японии и Новой Зеландии, а также «варяги» из Германии, Греции, Канады, США… Естественно, оргкомитету стоило большого труда проделать всю необходимую подготовительную работу, но его члены понимали, что принимать столь солидную конференцию — это большая честь и огромная ответственность, и сделали все, чтобы не ударить в грязь лицом. По мнению участников из 16 стран мира, им это вполне удалось.

Основными организаторами конференции были Сибирское отделение РАН, Институт математики СО РАН и Новосибирский государственный университет. На открытии конференции с приветствием выступил директор Института математики СО РАН, член Президиума СО РАН, академик Ю. Ершов. Участников конференции приветствовали председатель программного комитета, декан ММФ НГУ член-корр. РАН С. Гончаров и декан Философского факультета НГУ профессор В. Диев.

После открытия конференции начались пленарные заседания. Первым выступил известный специалист в области неклассической логики и теории доказательств профессор Хироакира Оно из Японского передового института науки и технологии (Номи, Япония). Профессор Оно тесно сотрудничает с представителями новосибирской школы, так как его исследования тесно связаны с работами ученицы ак. А. Мальцева профессора Л. Максимовой. От японского гостя эстафету принял наш соотечественник — профессор А. Манцивода из Иркутского государственного университета (он является также членом Association for Computing Machinery и IEEE), рассказавший участникам о последних достижениях в области семантического программирования. За ним выступал профессор Су Гао, представлявший одновременно Университет Северного Техаса (Дентон, США) и Институт математики Академии математики и системных наук при Академии наук КНР. Во второй половине дня участники конференции продолжили работу в четырех секциях: секции теории вычислимости, секции теории моделей и теории множеств, секции неклассической логики, теории доказательств и универсальной алгебры и секции приложений логики в информатике.

Пленарные доклады второго дня открылись выступлением профессора Моше Варди из Университета Райса (Хьюстон, США). Профессор Варди является организатором серии крупных международных конференций по информатике, и некоторые из молодых участников конференции слушали его не в первый раз. Как и профессор Варди, они прибыли на конференцию прямо из проходившей в Германии летней школы по логическим аспектам систем компьютерной безопасности, где Моше Варди был одним из приглашенных лекторов. В. Рыбаков, представлявший факультет информатики и математики Манчестерского университета метрополии (Манчестер, Великобритания) и Красноярский государственный университет, ознакомил присутствовавших с последними достижениями в области темпоральных логик, то есть логик, где истинность суждений может меняться с течением времени (такие виды логик играют огромную роль при исследованиях в области информатики). Большой интерес участников конференции вызвал доклад Санджая Джайна с факультета информатики Сингапурского национального университета, посвященный использованию отрицательной информации при изучении формальных языков. Представлявший Оклендский университет (Окленд, Новая Зеландия) профессор Б. Хусаинов ознакомил присутствовавших с результатами в области абстрактных типов данных по построению определимых расширений алгебр, которые являлись итогом исследований, проводившихся совместно с С. Гончаровым (Новосибирск, Россия), Д. Хиршфильдтом (Чикаго, США) и А. Рубиным (Новая Зеландия). Нужно отметить, что профессор Б. Хусаинов окончил Новосибирский государственный университет и здесь же в Новосибирске защитил диссертацию.

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

Первым пленарным докладчиком последнего дня конференции был профессор Джозеф Миллер, представлявший математический факультет Университета штата Индиана (Блумингтон, США). Он изложил результаты в области изучения степеней неразрешимости непрерывных функций. Затем со своими докладами выступили В. Кановей (Институт проблем передачи информации РАН) и Л. Беклемишев (представлял Институт математики им. Стеклова РАН и философский факультет Утрехтского университета, Нидерланды). Последним из пленарных докладчиков выступил молодой ученый П. Алаев из нашего Института математики им. Соболева, представивший в докладе решения нескольких открытых проблем теории конструктивных моделей (эти результаты легли в основу его докторской диссертации).

На закрытии конференции вновь выступил профессор Х. Оно и объявил, что по предложению Азиатского комитета АСЛ и программного комитета решено очередную 10-ю Азиатскую конференцию по логике провести в Университете города Кобе (Япония) в конце августа 2008 г.

Официальный сайт конференции: http://www.sbras.ru/ws/ALC-9/

Фото  В. Новикова

стр. 5