Значение ЕРШОВ ЮРИЙ ЛЕОНИДОВИЧ в Большой советской энциклопедии, БСЭ

Что такое ЕРШОВ ЮРИЙ ЛЕОНИДОВИЧ

Юрий Леонидович (р. 1.5.1940, Новосибирск), советский математик, член-корреспондент АН СССР (1970). Окончил Новосибирский университет (1963), профессор там же (с 1967). Основные труды относятся к теории алгоритмов и теории моделей, теории чисел. Важные результаты получены им в теории иерархий, теории степеней неразрешимости и теории нумерации. Член Международной ассоциации по символической логике (1968).

Соч.: Теория нумераций, ч.1, Новосибирск, 1969.

Большая советская энциклопедия, БСЭ.