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

Ершо́в Юрий Леонидович (р. 1 мая 1940, Новосибирск) — российский ученый-математик, действительный член Российской академии наук(1991), специалист по теории алгоритмов, теории нумераций, теории моделей, теории чисел.
Ученик А.И. Мальцева Юрий Ершов по окончании Новосибирского университета (1963) работал в Институте математики Сибирского отделения Академии наук СССР. В 1968 году он стал доктором физико-математических наук (1966), с 1967 года преподавал в Новосибирском университете, работал заведующим отделом математической логики Института математики СО АН СССР. В 1970 году Ю.Л. Ершов был избран членом-корреспондентом АН СССР. С 1977 года он заведовал кафедрой алгебры и математической логики Новосибирского университета, в 1986-1994 годах занимал пост ректора Новосибирского университета. В 1991 году ученый был избран действительным членом РАН. С 1992 года он занимал пост директора Института математико-информационных основ образования, который в 1998 году был преобразован в Институт дискретной математики и информатики СО РАН.
Основные научные труды Ю.Л. Ершова посвящены алгебре, теории чисел, теории алгоритмов, теории моделей и математической логике. Важные результаты получены им в теории иерархий, теории степеней неразрешимости и теории нумерации. Он разрабатывал теорию конструктивных систем. В математике стали общепризнанными понятия иерархии Ершова в теории алгоритмов, идеалы и характеристики Ершова-Тарского в теории булевых алгебр, язык S-выражений Ершова в семантическом программировании, A-пространства Ершова в теоретическом программировании.
Статья находится в рубриках
Яндекс.Метрика