Действительные члены Сибирского отделения РАН. 1957-2007 - Ершов Юрий Леонидович
Навигация
УголУгол
 
 1957-2007 
ЕРШОВ ЮРИЙ ЛЕОНИДОВИЧ
 
  
Ершов Ю.Л.
 
 


Действительный член РАН (1991), член-корреспондент АН СССР (1970), доктор физико-математических наук (1966), профессор (1968). Математик. Специалист в области алгебры и математической логики.

Родился 1 мая 1940 г. в Новосибирске. Окончил механико-математический факультет Новосибирского государственного университета (НГУ) (1963).

В Сибирском отделении с 1963 г.: лаборант, стажер-исследователь, младший, старший научный сотрудник, зав. отделом (1967) Института математики СО АН СССР; исполняющий обязанности (с 2002), директор (с 2003) Института математики им. С.Л.Соболева СО РАН. Одновременно (с 1964) преподаватель, декан механико-математического факультета (1973-1976), зав. кафедрой (1976-2003), ректор (1985-1993) НГУ. Директор НИИ математико-информационных основ образования при НГУ (1991-2002) (с 1998 г. Институт дискретной математики и информатики Министерства образования РФ).

Основные результаты получены в области теории нумераций, теории алгоритмов, теории моделей, теории иерархий, теории чисел, философии математики. Лидер сибирской школы алгебры и логики.

Предложил новые эффективные методы доказательства разрешимости и неразрешимости элементарных теорий классов полей, установил алгоритмический характер многих классов алгебраических систем, имеющих фундаментальное значение для алгебры, и решил классическую проблему о разрешимости элементарной теории поля ρ-адических чисел, теории булевых алгебр, теории дистрибутивных решеток с относительными дополнениями, теории алгебр Поста. Построил эффективную глобальную теорию классов полей алгебраических чисел, на ее основе доказал разрешимость теории классического поля целых алгебраических чисел и теории кольца Аделей.

В общей теории нумераций предложил методы исследования алгоритмических свойств различных классов объектов. Им создана структурная теория нумераций, построена иерархия Ершова и обоснованы ее свойства, решена проблема характеризации типа изоморфизма полурешетки m-степеней. Построил теорию непрерывных и вычислимых функционалов конечных типов, в основу которой легли результаты по нумерациям с аппроксимациями и теория топологических пространств (пространств Ершова). Данные результаты имеют принципиальной значение для теории денотационной семантики программ.

В теории конструктивных моделей доказал теорему о конструктивности ядра, позволившую с единых позиций получить ряд результатов о конструктивности замыканий для групп, колец и полей. Исследовал проблемы существования конструктивных моделей для элементарных теорий с конечными препятствиями и конструктивности классических алгебр: групп, полей, булевых алгебр, топологических пространств и других систем.

Результаты Ю.Л.Ершова по проблемам определимости и вычислимости, по развитию рекурсивной теории на допустимых множествах легли в основу нового подхода к созданию логических языков программирования - семантического программирования.

Член Президиума СО АН СССР - РАН (1986-1993, с 2001), председатель Объединенного ученого совета по математике и информатике СО РАН (с 2001), член Бюро Отделения математических наук РАН (с 2002). Председатель экспертного совета по развитию информационных и телекоммуникационных технологий при полномочном представителе Президента РФ в Сибирском федеральном округе (с 2002). Главный редактор «Сибирского математического журнала» (с 2004). Член Международной ассоциации по символической логике (с 1968).

Лауреат Государственной премии РФ (2003), премии им. А.И.Мальцева РАН (1992).

Награжден орденами Трудового Красного Знамени (1975), «Знак Почета» (1981), «За заслуги перед Отечеством» IV степени (2002).

 
ОСНОВНЫЕ ТРУДЫ: Теория нумераций. М., 1977. 416 с.; Определимость и вычислимость. Новосибирск, 1996. 286 с.; Конструктивные модели. Новосибирск, 1999. 345 с. (в соавт.). Кратно нормированные поля. Новосибирск, 2000. 330 с. Математическая логика: Учеб. пособие. 3-е изд. СПб., 2004. 336 с. (в соавт.).
ЛИТЕРАТУРА: Математика: большой энциклопедический словарь. М., 1998. С.693; Наука в Сибири. 2000. N 17.
 СО РАН 
  
 
Ершов Юрий Леонидович // Российская академия наук. Сибирское отделение: Персональный состав / Сост. Е.Г.Водичев и др. - Новосибирск: Наука, 2007. - С.86-87.
 
Назад ОГЛАВЛЕНИЕИМЕННОЙ УКАЗАТЕЛЬФАЙЛ PDF Продолжение
  
  
 
УголУгол
[О библиотеке | Академгородок | Новости | Выставки | Ресурсы | Библиография | Партнеры | ИнфоЛоция | Поиск | English]
  Пожелания и письма: www@prometeus.nsc.ru
© 1997-2018 Отделение ГПНТБ СО РАН (Новосибирск)
Статистика доступов: архив | текущая статистика
 

Отредактировано: Thu Apr 5 16:47:04 2018 (11,013 bytes)
Посещение 2137 с 10.01.2010