133 804
правки
Ершов Юрий Леонидович: различия между версиями
Перейти к навигации
Перейти к поиску
нет описания правки
Pvp (обсуждение | вклад) Нет описания правки |
Pvp (обсуждение | вклад) Нет описания правки |
||
| Строка 20: | Строка 20: | ||
}} | }} | ||
'''Ершов Юрий Леонидович''' (р. 01.05.1940 г.) - академик РАН, директор Института математики им. С.Л. Соболева СО РАН, доктор физико-математических наук, профессор, специалист в области алгебры и математической логики, лауреат Государственной премии РФ, главный редактор «Сибирского математического журнала», член Международной ассоциации по символической логике. Член [[Совет попечителей|Совета попечителей ТПУ]] (до 2015 г.). | '''Ершов Юрий Леонидович''' (р. 01.05.1940 г.) - академик РАН, директор Института математики им. С.Л. Соболева СО РАН, доктор физико-математических наук, профессор, специалист в области алгебры и математической логики, лауреат Государственной премии РФ, главный редактор «Сибирского математического журнала», член Международной ассоциации по символической логике. Член [[Совет попечителей|Совета попечителей ТПУ]] (до 2015 г.). | ||
==Биография== | |||
В 1958 г. поступил на механико-математический факультет Томского государственного университета, но в 1961 г. перевёлся в Новосибирский государственный университет, который окончил с отличием в 1963 году (первый выпуск). | |||
Ещё будучи студентом НГУ, стал известен в кругу математиков новыми интересными научными результатами и через несколько месяцев после окончания университета, в 1963 году, защитил кандидатскую диссертацию на тему «Разрешимость элементарных теорий» (научный руководитель академик А. И. Мальцев). 3 мая 1966 года Ершов первым из выпускников НГУ защитил докторскую диссертацию на тему «Элементарные теории полей»[4]. | |||
В 1967 - 2004 гг. - заведующий отделом математической логики Института математики СО АН СССР. | |||
24.11.1970 г. был избран член-корреспондентом АН СССР по отделению математики. | |||
В 1973 - 1976 гг. - декана Механико-математического факультета Новосибирского государственного университета. | |||
В мае 1980 года посетил США по программе Фулбрайта. Этот визит получил известность в математических кругах США как «The Ershov Affair». | |||
В 1985 - 1993 гг. - ректор Новосибирского государственного университета. | |||
В 1991 - 2002 гг. — директор НИИ математико-информационных основ образования при НГУ (с 1998 года — Институт дискретной математики и информатики Министерства образования РФ). | |||
С 07.12.1991 г. — действительный член РАН по Секции математики, механики, информатики (математика). | |||
С 2002 г. — исполняющий обязанности директора Института математики СО РАН. | |||
В 2003 - 2011 гг. — директор Института математики СО РАН. | |||
==Научная деятельность== | ==Научная деятельность== | ||
| Строка 28: | Строка 52: | ||
В теории конструктивных моделей доказал теорему о конструктивности ядра, позволившую с единых позиций получить ряд результатов о конструктивности замыканий для групп, колец и полей. Исследовал проблемы существования конструктивных моделей для элементарных теорий с конечными препятствиями и конструктивности классических алгебр: групп, полей, булевых алгебр, топологических пространств и других систем. Результаты Ю.Л. Ершова по проблемам определимости и вычислимости, по развитию рекурсивной теории на допустимых множествах легли в основу нового подхода к созданию логических языков программирования — семантического программирования. | В теории конструктивных моделей доказал теорему о конструктивности ядра, позволившую с единых позиций получить ряд результатов о конструктивности замыканий для групп, колец и полей. Исследовал проблемы существования конструктивных моделей для элементарных теорий с конечными препятствиями и конструктивности классических алгебр: групп, полей, булевых алгебр, топологических пространств и других систем. Результаты Ю.Л. Ершова по проблемам определимости и вычислимости, по развитию рекурсивной теории на допустимых множествах легли в основу нового подхода к созданию логических языков программирования — семантического программирования. | ||
==Награды== | |||
* Орден "За заслуги перед Отечеством" 4 ст. (2000 г.). | |||
* Орден "За заслуги перед Отечеством" 3 ст. (2010 г.). | |||
* Орден Александра Невского (2016 г.). | |||
* Орден Трудового Красного Знамени. | |||
* Орден "Знак Почета". | |||
* Лауреат Государственной премии Российской Федерации в области науки и техники 2002 года за монографию «Кратно нормированные поля». | |||
* Лауреат премии Прав Правительства Российской Федерации в области образования за цикл трудов «Концепция формирования логико-математического образования в высшей школе» (2010 г.). | |||
==Источники== | ==Источники== | ||
| Строка 36: | Строка 76: | ||
3. https://ru.wikipedia.org/wiki/%D0%95%D1%80%D1%88%D0%BE%D0%B2,_%D0%AE%D1%80%D0%B8%D0%B9_%D0%9B%D0%B5%D0%BE%D0%BD%D0%B8%D0%B4%D0%BE%D0%B2%D0%B8%D1%87 | 3. https://ru.wikipedia.org/wiki/%D0%95%D1%80%D1%88%D0%BE%D0%B2,_%D0%AE%D1%80%D0%B8%D0%B9_%D0%9B%D0%B5%D0%BE%D0%BD%D0%B8%D0%B4%D0%BE%D0%B2%D0%B8%D1%87 | ||
[[Категория:Родившиеся 1 мая]] | [[Категория:Родившиеся 1 мая]] | ||
[[Категория:Родившиеся в 1940 году]] | [[Категория:Родившиеся в 1940 году]] | ||