Ершов, Юрий Леонидович


Ершов, Юрий Леонидович
Юрий Леонидович Ершов
Дата рождения:

1 мая 1940(1940-05-01) (72 года)

Место рождения:

Новосибирск, СССР

Страна:

Flag of the Soviet Union.svg СССР →
Flag of Russia.svg Россия

Научная сфера:

математика

Место работы:

Институт математики СО РАН

Учёная степень:

доктор физико-математических наук (1965)

Учёное звание:

профессор,
член-корреспондент АН СССР (1970)
академик РАН (1991)

Альма-матер:

Новосибирский государственный университет

Научный руководитель:

А. И. Мальцев

Известные ученики:

C.C. Гончаров

Награды и премии


Орден «За заслуги перед Отечеством» III степени
Орден «За заслуги перед Отечеством» IV степени
Орден Трудового Красного Знамени Орден «Знак Почёта»
Государственная премия Российской Федерации — 2002

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

Содержание

Биография

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

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

Семья и дети

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

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

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

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

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

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

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

Примечания

Ссылки


Wikimedia Foundation. 2010.

Смотреть что такое "Ершов, Юрий Леонидович" в других словарях:

  • Ершов, Юрий Леонидович — (род. 1.5.1940) советский математик, чл. кор. АН СССР (1970). Род. в Новосибирске. Окончил Новосибирский ун т (1963). Д р физико матем. наук (1966), проф. (1967). С 1963 работает в Ин те математики СО АН СССР, с 1967 и в Новосибирском ун те. Осн …   Большая биографическая энциклопедия

  • ЕРШОВ Юрий Леонидович — (р. 1940) российский математик, академик РАН (1991). Труды по теории алгоритмов, теории нумераций, теории моделей, теории чисел …   Большой Энциклопедический словарь

  • Ершов Юрий Леонидович — (р. 1.5.1940, Новосибирск), советский математик, член корреспондент АН СССР (1970). Окончил Новосибирский университет (1963), профессор там же (с 1967). Основные труды относятся к теории алгоритмов и теории моделей, теории чисел. Важные… …   Большая советская энциклопедия

  • Ершов Юрий Леонидович — (р. 1940), математик, академик РАН (1991). Труды по теории алгоритмов, теории нумераций, теории моделей, теории чисел. * * * ЕРШОВ Юрий Леонидович ЕРШОВ Юрий Леонидович (р. 1940), российский математик, академик РАН (1991). Труды по теории… …   Энциклопедический словарь

  • Ершов, Юрий — Леонидович (род. 1940)  математик, создатель общей теории нумераций. Ершов, Юрий Сергеевич  российский советский живописец, заслуженный деятель культуры Российской Федерации …   Википедия

  • Ершов — Ершов  фамилия; Ершовы  русские дворянские роды. Фамилия Известные носители: Ершов, Александр Павлович (1878 1937)  архиепископ Свердловский и Ирбитский; причислен к лику святых Русской православной церкви. Ершов, Александр… …   Википедия

  • Ершов (значения) — Ершов: Фамилия Известные носители: Ершов, Александр Павлович (1878 1937)  архиепископ Свердловский и Ирбитский; причислен к лику святых Русской православной церкви (2000). Ершов, Андрей Петрович (1931 1988)  советский учёный, академик, один из… …   Википедия

  • ЕРШОВ — 1. ЕРШОВ Андрей Петрович (1931 1988), математик, академик АН СССР (1984). Труды по автоматизации программирования, математическому обеспечению ЭВМ, информатике. 2. ЕРШОВ Иван Васильевич (1867 1943), певец (драматический тенор), народный артист… …   Русская история

  • Ершов — I Ершов         Андрей Петрович (р. 19.4.1931, Москва), советский математик, член корреспондент АН СССР (1970). Окончил Московский университет (1954), профессор Новосибирского университета (с 1969). Специалист в области теории и автоматизации… …   Большая советская энциклопедия

  • Ершов Ю. Л. — ЕРШÓВ Юрий Леонидович (р. 1940), математик, акад. РАН (1991). Тр. по теории алгоритмов, теории нумераций, теории моделей, теории чисел …   Биографический словарь

Книги

  • Математическая логика, Ершов Юрий Леонидович, Палютин Евгений Андреевич. В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории… Подробнее  Купить за 1265 грн (только Украина)
  • Математическая логика, Ершов Юрий Леонидович, Палютин Евгений Андреевич. В книге приведены главные традиционные исчисления математической логики: исчисление изречений и исчисление предикатов; имеется краткое изложение главных понятийтеории множеств и теории… Подробнее  Купить за 1259 руб


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.