Ершов, Юрий Леонидович | это... Что такое Ершов, Юрий Леонидович? (original) (raw)

Юрий Леонидович Ершов
Дата рождения:	1 мая 1940(1940-05-01) (72 года)
Место рождения:	Новосибирск, СССР
Страна:	СССР → Россия
Научная сфера:	математика
Место работы:	Институт математики СО РАН
Учёная степень:	доктор физико-математических наук (1965)
Учёное звание:	профессор, член-корреспондент АН СССР (1970) академик РАН (1991)
Альма-матер:	Новосибирский государственный университет
Научный руководитель:	А. И. Мальцев
Известные ученики:	C.C. Гончаров
Награды и премии

В Википедии есть статьи о других людях с такой фамилией, см. Ершов.

Ю́рий Леони́дович Ершо́в (род. 1 мая 1940, г. Новосибирск) — академик РАН, доктор физико-математических наук, профессор, советник РАН, признанный лидер сибирской школы алгебры и логики.

Содержание

• 1 Биография
• 2 Семья и дети
• 3 Интересные факты
• 4 Научные интересы
• 5 Список основных монографий
• 6 Примечания
• 7 Ссылки

Биография

Среднюю школу окончил с серебряной медалью, в выпускном классе точные науки вытеснили его давний интерес к геологии. Не поступив в МФТИ, год отработал токарем-карусельщиком на заводе в Новосибирске и в 1958 году поступил на механико-математический факультет Томского государственного университета, но в 1959 году перевелся в Новосибирский государственный университет, который окончил с отличием в 1963 году.

Ещё будучи студентом НГУ, стал известен в кругу математиков новыми интересными научными результатами, и через несколько месяцев после окончания университета, в 1963 году под руководством академика А. И. Мальцева защитил кандидатскую диссертацию на тему «Разрешимость элементарных теорий», а в 1965-м — докторскую на тему «Элементарные теории полей», став при этом первым первым выпускником НГУ, защитившим кандидатскую и докторскую диссертации.[источник не указан 1122 дня]

• С 1967 года — заведующий отделом математической логики Института математики СО АН СССР
• С 24 ноября 1970 года — член-корреспондент АН СССР по отделению математики
• С 1973 по 1976 — декан Механико-математического факультета Новосибирского государственного университета[1]
• В мае 1980 года посетил США по программе Фулбрайта. Этот визит известен в математических кругах США как «The Ershov Affair»[2][_значимость факта?_].
• С 1986 по 1994 года — ректор Новосибирского государственного университета
• С 1991 по 2002 — директор НИИ математико-информационных основ образования при НГУ (с 1998 года — Институт дискретной математики и информатики Министерства образования РФ)
• С 7 декабря 1991 года — академик по Секции математики, механики, информатики (математика)
• В 2000 году награждён орденом «За заслуги перед Отечеством» IV степени[3]
• С 2002 года — исполняющий обязанности директора Института математики СО РАН
• С 2003 года по 2011 год — директор Института математики СО РАН
• В 2003 году получил Государственную премию Российской Федерации в области науки и техники 2002 года за монографию «Кратно нормированные поля»[4]
• В 2010 году награждён орденом «За заслуги перед Отечеством» III степени[5]
• Лауреат премии Правительства Российской Федерации в области образования (2010) за цикл трудов «Концепция формирования логико-математического образования в высшей школе»[6]
• Академик Ершов является председателем объединённого ученого совета по математике и информатике СО РАН
• Главный редактор Сибирского математического журнала и журнала Алгебра и логика.

Семья и дети

Женат, имеет троих детей.[7]

Интересные факты

• Юрий Ершов является первым студентом Новосибирского университета — лауреатом Ленинской стипендии[источник не указан 1122 дня]
• а также первым выпускником НГУ, ставшим действительным членом РАН.[8]

Научные интересы

Основными результатами Ю. Л. Ершова стали решение классической проблемы о разрешимости элементарной теории поля _p_-адических чисел и создание общей теории нумераций, нашедшей многочисленные приложения в математической логике. В частности, одним из результатов теории нумераций было построение категории -пространств, с помощью которой может быть построена непротиворечивая модель бестипового λ-исчисления, во многих аспектах более удобная, чем топология Скотта[9].

Список основных монографий

• Ершов, Юрий Теория нумераций. — М.: Наука, 1977. — 416 с.
• Ершов, Юрий Проблемы разрешимости и конструктивные модели. — М.: Наука, 1980. — 415 с.
• Ершов, Юрий Определимость и вычислимость. — Новосибирск: Научная книга, 1996. — 286 с. — ISBN 9780306110399 (2-е изд., 2000)
• Гончаров, Сергей; Ершов, Юрий Конструктивные модели. — Новосибирск: Научная книга, 1999. — 345 с. — ISBN 9785881190217
• Ершов, Юрий Кратно нормированные поля. — Новосибирск: Научная книга, 2000. — 329 с. — ISBN 9785881190217

Примечания

1. ↑ ЕРШОВ Юрий Леонидович
2. ↑ [1] Anita Burdman Feferman, and Solomon Feferman, Alfred Tarski: Life and Logic. Cambridge University Press, 2004, ISBN 0-521-80240-7; pp. 363—365
3. ↑ Указ Президента Российской Федерации от 28 апреля 2000 г. № 774
4. ↑ Указ Президента Российской Федерации от 13 декабря 2003 г. № 1481
5. ↑ Указ Президента Российской Федерации от 16 июня 2010 г. № 745
6. ↑ Распоряжение от 25 октября 2010 г. № 1868-р О присуждении премий Правительства Российской Федерации 2010 года в области образования
7. ↑ Институт математики им. С. Л. Соболева СО РАН
8. ↑ Новосибирский государственный университет
9. ↑ Барендрегт, Хенк Ламбда-исчисление. Его синтаксис и семантика = The Lambda Calculus. Its syntax and semantics. — М.: Мир, 1985. — 606 с. — 4800 экз.

Ссылки

• Профиль Ю. Л. Ершова на официальном сайте РАН
• Персональная страничка Ю. Л. Ершова на сайте Института математики СО РАН
• Выпускники НГУ, члены РАН и РАО

Ректоры НГУ
И. Н. Векуа • С. Т. Беляев • В. А. Коптюг • А. П. Деревянко • В. Е. Накоряков • Ю. Л. Ершов • В. Н. Врагов • Н. С. Диканский • В. А. Собянин • М. П. Федорук