ЮБИЛЕЙНАЯ КОНФЕРЕНЦИЯ
С 10 по 14 октября 2011 года в Новосибирске на базе Института математики
им. С. Л. Соболева Сибирского отделения РАН и Новосибирского государственного университета состоится международная конференция, посвящённая 60-летнему юбилею чл.-корр. РАН Сергея Савостьяновича Гончарова. На конференции с приглашёнными докладами выступят ведущие специалисты в области алгебры и математической логики из России, Австрии, Германии, Италии, Казахстана, Новой Зеландии, США. Обновляемую информацию о конференции можно найти в Интернете на странице конференции.
Чл.-корр. РАН С. С. Гончаров — крупный учёный, специалист в области современной математической логики с мировым именем. Он — автор и соавтор более 250 научных работ (в том числе 6 монографий), большинство из которых переведены за рубежом. С. С. Гончаров является лауреатом премии Ленинского комсомола (1976), премии Российской академии наук имени академика А. И. Мальцева (1997), государственной премии Новосибирской области и премии Правительства РФ в области науки и образования (2010).
С. С. Гончаров награжден орденом Дружбы, удостоен почётного звания «Заслуженный работник высшей школы РФ».
Научные результаты, полученные С. С. Гончаровым в области теории разрешимых и конструктивных моделей, получили всемирное признание и в значительной степени определили современный облик этой области исследований. В частности, им был установлен фундаментальный критерий разрешимости однородных моделей, на основе которого им было получено решение проблемы М. Морли о разрешимости однородных моделей с вычислимым семейством реализуемых в них типов. Также им была развита теория конструктивных булевых алгебр.
Важные результаты получены С. С. Гончаровым в теории алгоритмов и теории моделей. Им была построена теория алгоритмической размерности, в основе которой лежит принадлежащий ему фундаментальный результат о существовании неустойчивых моделей конечной алгоритмической размерности, что решает одну проблему Ю. Л. Ершова. С. С. Гончаровым разработаны новые мощные методы доказательства того, что модель имеет бесконечную алгоритмическую размерность, которые позволили решить проблему характеризации спектра алгоритмических размерностей для ряда конкретных классов моделей.
Совместно с учёными из Италии, Казахстана, Новой Зеландии, США С. С. Гончаровым было получено решение ряда проблем, касающихся автоустойчивости моделей, а также были исследованы различные алгоритмические вопросы. В частности, был разработан общий метод построения вычислимых структур с заданными свойствами на основе теории нумераций и решен ряд вопросов о связи определимости и синтаксических свойствах вычислимых моделей. В области классической теории алгоритмов он внес фундаментальный вклад в теорию вычислимых нумераций: им разработан новый метод построения вычислимых нумераций, также позволивший решить ряд проблем в этой области.
В классической теории моделей им решена проблема характеризации аксиом классов с сильными эпиморфизмами и сильными гомоморфизмами, поставленная академиком А. И. Мальцевым на Математическом съезде в 1961 году. Кроме того, совместно с американскими математиками им был установлен новый признак модельной полноты в моделях, обогащенных константами.
С. С. Гончаров ведёт исследования и в междисциплинарных областях. Так, им совместно с академиком Ю. Л. Ершовым написан цикл работ по семантическому программированию и математическим основам логических языков программирования и языков спецификаций. Совместно с академиком Н. А. Колчановым выполнен цикл исследований по информационной биологии в рамках интеграционных проектов СО РАН, результаты которого нашли отражение в ряде статей и в трудах «Системная компьютерная биология» под редакцией академика Н. А. Колчанова, чл.-корр. РАН С. С. Гончарова, В. А. Лихошвая и В. А. Иванисенко. С. С. Гончаров также является соредактором трудов по прикладной логике в двух томах (совместно с Д. Габбэем и М. Захарьящевым). В 2008 году вышло три монографии в соавторстве с академиком РАО А. А. Никитиным и профессором Б. Н. Дроботуном, посвященных проблемам логического образования.
В 1992–2001 годах С. С. Гончаров заведовал кафедрой информатики Специализированного учебно-научного центра НГУ, в 1991–2005 годах работал заместителем директора Научно-исследовательского института математико-информационных основ обучения НГУ (с 1998 года — Государственный научно-исследовательский институт дискретной математики и информатики Министерства
образования РФ). С февраля 1996 года по май 2011 года С. С. Гончаров был деканом механико-математического факультета Новосибирского государственного университета. С. С. Гончаров заведует кафедрой дискретной математики и информатики НГУ с момента её основания в 2001 году, а с апреля 2011 года — исполняет обязанности директора Института математики
им. С. Л. Соболева Сибирского отделения РАН.
С. С. Гончаров вёдет активную научно-организационную деятельность: он является заместителем главного редактора журнала «Алгебра и логика» и заместителем главного редактора серии монографий «Сибирская школа алгебры и логики», членом редколлегий Сибирского математического журнала, журналов «Siberian Advances in Mathematics», «Математические труды», «Журнал Сибирского Федерального университета, серия: математика и физика», «Известия Иркутского государственного университета, серия: математика», а также сборников научных трудов «Вычислительные системы», «Системная информатика» и «Проблемы специализированного образования». С. С. Гончаров является президентом Сибирского математического общества и заместителем президента Сибирского фонда алгебры и логики. С. С. Гончаров входил в состав Экспертного Совета ВАК по математике и механике, Экспертного Совета РФФИ по математике. В настоящее время он является членом Экспертного Совета по грантам
Президента РФ. Кроме того, он является руководителем ведущей научной школы, неоднократно поддержанной грантами Президента РФ. Среди его учеников — 10 докторов и более 30 кандидатов наук.
Соб. инф.
стр. 8
|
