Большая Советская Энциклопедия (цитаты)

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

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

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

 


Для поиска, наберите искомое слово (или его часть) в поле поиска


Новости 21.11.2024 11:42:20