Гончаров, Сергей Савостьянович

В Рувики есть статьи о других людях с такой фамилией, см. Гончаров; Гончаров, Сергей.

Сергей Савостьянович Гончаров
Дата рождения	24 сентября 1951(1951-09-24) (74 года)
Место рождения	Новосибирск, РСФСР, СССР
Страна	СССР  Россия
Научная сфера	математическая логика, теория вычислимости
Место работы	Институт математики имени С. Л. Соболева СО РАН
Образование	Новосибирский государственный университет
Учёная степень	доктор физико-математических наук
Учёное звание	доцент (1977) профессор (1985) член-корреспондент РАН (1997) Действительный член Европейской академии наук (2002) академик РАН (2016)
Научный руководитель	Ю. Л. Ершов
Ученики	А. С. Морозов, Бахадыр Хусаинов
Известен как	специалист в области математической логики и теории вычислимости, один из создателей теории алгоритмической размерности
Награды и премии	Премия имени А. И. Мальцева (1997)
Сайт	math.nsc.ru/LBRT/logic/p…

Серге́й Савостья́нович Гончаро́в (род. 24 сентября 1951, Новосибирск) — советский и российский математик и организатор науки, академик РАН (2016), профессор, специалист в области математической логики и теории вычислимости.

Биография

Родился 24 сентября 1951 года в Новосибирске.

В 1973 году окончил с отличием механико-математический факультет Новосибирского государственного университета (НГУ).

В 1974 году — защита кандидатской диссертации, тема: «Конструктивные булевы алгебры».

В 1977 году присвоено учёное звание доцента НГУ.

В 1981 году — защита докторской диссертации, тема: «Неавтоэквивалентные конструктивизации».

В 1985 году присвоено учёное звание профессора НГУ.

В 1991 году — учредитель (выборщик) Российской Академии Наук.

В 1993 году избран член-корреспондентом Академии Наук Высшей Школы.

В 1995 году избран действительным членом Международной Академии Наук Высшей Школы.

В 1997 году избран член-корреспондентом РАН.

В 2002 году избран действительным членом Европейской Академии Наук.

В 2016 году избран действительным членом РАН.

Работа

С 1973 года работает в Сибирском отделении РАН. В Институте математики им. С. Л. Соболева СО РАН с 1992 года является заведующим лабораторией (Лаборатория теории вычислимости и прикладной логики), а с 2004 года — заведующим отделом математической логики. С мая 2012 по 24 сентября 2021 года занимал пост директора института.

С 1973 по 2003 годы — ассистент, доцент, а с 1983 года профессор кафедры алгебры и логики НГУ.

С 1991 года по 1998 — заместитель директора Института дискретной математики и информатики Министерства образования РФ.

С 1992 года по настоящее время — заведующий кафедрой и профессор кафедры дискретной математики и информатики механико-математического факультета и СУНЦ НГУ.

С февраля 1996 года по 2011 год — декан механико-математического факультета НГУ.

Научная деятельность

Специалист в области математической логики, теории вычислимости, теории алгоритмов и теории моделей, а также их приложений в информатике. Является одним из признанных в мире лидеров современной математической логики.

Ключевые научные достижения:

• Один из создателей теории алгоритмической размерности, в основе которой лежит его фундаментальный результат о существовании неустойчивых моделей конечной алгоритмической размерности.
• Автор получивших мировое признание результатов в области теории конструктивных и вычислимых моделей; внёс значительный вклад в теорию разрешимых моделей, установив фундаментальный критерий разрешимости однородных моделей.
• Решил ряд известных проблем, поставленных другими математиками, в частности, проблему М. Морли, проблему Перетятькина-Денисова и проблему академика А. И. Мальцева.
• Совместно с академиком Ю. Л. Ершовым разработал теорию семантического программирования.

Из библиографии

Автор более ста научных работ, в том числе:

• учебные пособия: «Lectures in model theory» и «Введение в логику и методологию науки» (совместно с Ю. Л. Ершовым и К. Ф. Самохваловым);
• монографии: «Счётные булевы алгебры» (1988 г.) и «Счётные булевы алгебры и разрешимость» (1996 г., и на английском языке — 1997 год), «Конструктивные модели» (1999, совместно с Ю. Л. Ершовым) и «Handbook of recursive mathematics» (1999, под редакцией С. С. Гончарова, Ю. Л. Ершова, A. Nerode, J. Remmel, V. Marek).
• Алгебраические и алгоритмические свойства логических исчислений : [в 2 ч.] / С. С. Гончаров, Б. Н. Дроботун, А. А. Никитин ; Учреждение Российской акад. образования «Ин-т пед. исслед. одарённости детей». — 2-е изд., испр. и доп. — Новосибирск : Ин-т пед. исслед. одарённости детей, 2009. — 20 см; ISBN 978-5-91650-016-5
• Основания дидактики обучения логико-алгебраическим дисциплинам в высшей школе : [монография : в 2 ч.] / С. С. Гончаров, Б. Н. Дроботун, А. А. Никитин ; Учреждение Российской акад. образования «Ин-т пед. исслед. одарённости детей». — Новосибирск : Ин-т пед. исслед. одарённых детей, 2011. — 20 см; ISBN 978-5-91650-057-8
• Основные научные статьи после 2011 года:
  • С. С. Гончаров. Индексные множества почти простых конструктивных моделей // Сибирский математический журнал. — 2013. — Т. 54, № 3. — С. 534—548.
  • S. A. Badaev, S. S. Goncharov. Computable numbering of a minimal element in the Rogers semilattice of a computable family of arithmetical sets // Алгебра и логика. — 2014. — Т. 53, № 5. — С. 555—569.
  • Н. А. Баженов, С. С. Гончаров, М. И. Марчук. Индексное множество автоустойчивых относительно сильных конструктивизаций линейных порядков // Сибирский журнал чистой и прикладной математики. — 2015. — Т. 15, № 3. — С. 51-60.
  • С. С. Гончаров. Условные термы в семантическом программировании // Сибирский математический журнал. — 2017. — Т. 58, № 5.
  • S. S. Goncharov, R. Miller, V. Harizanova. Turing degrees of complete formulas of almost prime models // Algebra and Logic. — 2019. — Т. 58, № 3. — С. 282—287.
  • N. Bazhenov, S. S. Goncharov, A. Melnikov. Decompositions of decidable abelian groups // International Journal of Algebra and Computation. — 2020. — Т. 30, № 8. — С. 1635—1656.
  • S. S. Goncharov, M. I. Marchuk. The Degree of Decidable Categoricity of a Model with Infinite Solutions for Complete Formulas // Algebra and Logic. — 2021. — Т. 60, № 3. — С. 200—206.
  • С. А. Бадаев, С. С. Гончаров. Полурешетки Роджерса с наименьшим и наибольшим элементами в иерархии Ершова // Алгебра и логика. — 2022. — Т. 61, № 2. — С. 127—143.
  • S. S. Goncharov, E. E. Vityaev, D. I. Sviridenko. Task-driven approach to artificial intelligence // Cognitive Systems Research. — 2023. — Т. 80.
  • С. С. Гончаров, Ц. Сян. Изоморфизм безатомных булевых алгебр с выделенным идеалом // Алгебра и логика. — 2024. — Т. 63, № 1. — С. 59-71.
  • S. Badaev, N. Bazhenov, S. S. Goncharov, B. Kalmurzaev, A. Melnikov. A non-computable c.e. closed subset of [0,1] // Journal of Logic and Computation. — 2025. — Т. 35, № 6.

Участвовал как пленарный докладчик во всероссийских и международных конференциях.

Под его руководством защищено 37 кандидатских и 11 докторских диссертаций.

Общественная деятельность

В 2003—2006 годах — член Правления международной профессиональной организации «Association for Symbolic Logic».

Председательствовал в Областном Совете Научной молодёжи, был кандидатом в члены ЦК ВЛКСМ, членом различных учёных советов.

Ведёт работу по организации и аттестации научных исследований в качестве члена специализированных советов и экспертных советов МОиН РФ по президентским грантам для ведущих научных школ, молодых докторов и кандидатов наук. Являлся председателем Экспертного совета ВАК по математике и механике, но не входит в состав совета, утверждённый в 2022 году.

Член редколлегий и редакционных советов ряда научных изданий:

• заместитель главного редактора журнала «Алгебра и логика»;
• заместитель главного редактора «Сибирского математического журнала»;
• главный редактор журнала «Siberian Advances in Mathematics»;
• главный редактор «Сибирский журнал чистой и прикладной математики» (преемник «Вестника НГУ. Серия: Математика, механика, информатика»);
• член редколлегии серии монографий «Сибирская школа алгебры и логики».

Заместитель председателя Сибирского фонда алгебры и логики.

Член президиума СО РАН.

Член бюро Отделения математических наук РАН.

Семья

• Жена: Гончарова Любовь Николаевна — детский врач.
• Дочь: Наталья (1971 г.р.), окончила гуманитарный факультет НГУ и аспирантуру Института этнографии и антропологии РАН, кандидат исторических наук, замужем, четверо детей: Лиза, Алексей, Василий и Маркуша. Муж — выпускник ГГФ НГУ Хлестов Иван Валерьевич.
• Дочь: Анна (1978 г.р.), окончила факультеты экономики и психологии НГУ, замужем, сын Тимофей. Муж — выпускник ЭФ НГУ Анашин Сергей Вадимович.

Награды

• Премия Ленинского комсомола в области науки и техники за цикл работ по конструктивным булевым алгебрам (1976)
• Серебряный знак семинара Алгебры и логики за научную активную работу (1982)
• Премия СО РАН за создание теории семантического программирования совместно с академиком Ю. Л. Ершовым и д.ф.-м.н. Д. И. Свириденко (1983)
• Премия имени РАН А. И. Мальцева (1997) — за монографию «Счётные булевы алгебры и разрешимость»
• Орден Дружбы (2003)
• «Заслуженный работник высшей школы Российской Федерации» (2008)
• Почётная Грамота губернатора Новосибирской области В. А. Толоконского, за значительный вклад в развитие научно-образовательного комплекса Новосибирской области, подготовку высококвалифицированных специалистов для приоритетных направлений науки и экономики, многолетнюю плодотворную научную деятельность и в связи с 50-летием со дня образования университета (2009)
• Лауреат государственной премии Новосибирской области в области науки и образования. (За вклад в развитие теории конструктивных моделей и создание научных школ, за цикл работ.) (2010)
• Премия Правительства Российской Федерации в области образования (2010)
• Премия Фонда им. М. А. Лаврентьева СО РАН (2017)
• Орден Почёта за большой вклад в развитие науки и многолетнюю добросовестную работу (2021)

Примечания

Ссылки

• Гончаров Сергей Савостьянович (Механико-математический факультет НГУ)  (неопр.). mmf.nsu.ru. Дата обращения: 2016-3-21. Архивировано из оригинала 5 июня 2016 года.
• Институт математики им. С. Л. Соболева СО РАН - Гончаров Сергей Савостьянович  (неопр.). math.nsc.ru. Дата обращения: 2016-3-21. Архивировано 28 марта 2016 года.
• Sergei S. Goncharov  (неопр.). mmfd.nsu.ru. Дата обращения: 2016-3-21. Архивировано из оригинала 30 октября 2016 года.
• Персоналии: Гончаров Сергей Савостьянович  (неопр.). mathnet.ru. Дата обращения: 2016-3-21. Архивировано 8 сентября 2016 года.