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

ЕРШОВ Юрий Леонидович (родился 1.5.1940, Новосибирск), российский математик, академик РАН (1991). По окончании Новосибирского университета (1963) работал там же (1964-2002, профессор с 1967, ректор в 1986-94). С 1963 года в Институте математики имени С. Л. Соболева (директор с 2002). Основные труды относятся к алгебре, теории чисел и математической логике, в частности к теории алгоритмов. Решил классическую проблему о разрешимости элементарной теории для поля р-адических чисел. Создатель общей теории нумераций, которая находит применение для построения современной теории вычислений и в теоретических вопросах программирования. Работы Ершова явились основой для разработки новой концепции программирования - семантичного программирования. Государственная премия Российской Федерации (2003).

Соч.: Теория нумераций. М., 1977; Проблемы разрешимости и конструктивные модели. М., 1980; Кратно нормированные поля. 2-е изд. Новосиб., 2000; Математическая логика. 5-е изд. СПб., 2005 (совместно с Е. А. Палютиным).