133 804
правки
Ершов Юрий Леонидович: различия между версиями
Перейти к навигации
Перейти к поиску
нет описания правки
Pvp (обсуждение | вклад) Нет описания правки |
Pvp (обсуждение | вклад) Нет описания правки |
||
| (не показана 31 промежуточная версия этого же участника) | |||
| Строка 3: | Строка 3: | ||
|Оригинал имени = | |Оригинал имени = | ||
|Фото = Ershov2.jpg | |Фото = Ershov2.jpg | ||
|Ширина = | |Ширина = 200px | ||
|Подпись = | |Подпись = | ||
|Дата рождения = 01.05.1940 г. | |Дата рождения = 01.05.1940 г. | ||
|Место рождения = | |Место рождения = г. Новосибирск | ||
|Дата смерти = | |Дата смерти = | ||
|Место смерти = | |Место смерти = | ||
| Строка 13: | Строка 13: | ||
|Место работы = | |Место работы = | ||
|Учёная степень = доктор физико-математических наук | |Учёная степень = доктор физико-математических наук | ||
|Учёное звание = профессор | |Учёное звание = профессор, академик РАН | ||
|Альма-матер = Новосибирский государственный университет | |Альма-матер = Новосибирский государственный университет | ||
|Научный руководитель = | |Научный руководитель = | ||
|Знаменитые ученики = | |Знаменитые ученики = | ||
|Награды и премии = | |Награды и премии = ордена "За заслуги перед Отечеством" 4 ст. (2000 г.), "За заслуги перед Отечеством" 3 ст. (2010 г.), Александра Невского (2016 г.), Трудового Красного Знамени, "Знак Почета", Государственная премия Российской Федерации в области науки и техники 2002 г., премия Правительства Российской Федерации в области образования. | ||
}} | }} | ||
'''Ершов Юрий Леонидович''' (р. 01.05.1940 г.) - академик | '''Ершов Юрий Леонидович''' (р. 01.05.1940 г.) - российский ученый-математик, академик РАН, доктор физико-математических наук, профессор, специалист в области алгебры и математической логики, лауреат Государственной премии РФ. Член [[Совет попечителей|Совета попечителей ТПУ]] (до 2015 г.). | ||
==Биография== | |||
В 1958 г. поступил на механико-математический факультет Томского государственного университета, но в 1961 г. перевёлся в Новосибирский государственный университет, который окончил с отличием в 1963 году (первый выпуск). | |||
Ещё будучи студентом НГУ, стал известен в кругу математиков новыми интересными научными результатами и через несколько месяцев после окончания университета, в 1963 году, защитил кандидатскую диссертацию на тему «Разрешимость элементарных теорий» (научный руководитель академик А. И. Мальцев). | |||
В 1967 - 2004 гг. - заведующий отделом математической логики Института математики СО АН СССР. | |||
24.11.1970 г. был избран член-корреспондентом АН СССР по отделению математики. | |||
В 1973 - 1976 гг. - декана Механико-математического факультета Новосибирского государственного университета. | |||
В мае 1980 года посетил США по программе Фулбрайта. Этот визит получил известность в математических кругах США как «The Ershov Affair». | |||
В 1985 - 1993 гг. - ректор Новосибирского государственного университета. | |||
В 1991 - 2002 гг. — директор НИИ математико-информационных основ образования при НГУ (с 1998 года — Институт дискретной математики и информатики Министерства образования РФ). | |||
С 07.12.1991 г. — действительный член РАН по Секции математики, механики, информатики (математика). | |||
С 2002 г. — исполняющий обязанности директора Института математики СО РАН. | |||
В 2003 - 2011 гг. — директор Института математики СО РАН. | |||
==Научная деятельность== | ==Научная деятельность== | ||
| Строка 28: | Строка 53: | ||
В теории конструктивных моделей доказал теорему о конструктивности ядра, позволившую с единых позиций получить ряд результатов о конструктивности замыканий для групп, колец и полей. Исследовал проблемы существования конструктивных моделей для элементарных теорий с конечными препятствиями и конструктивности классических алгебр: групп, полей, булевых алгебр, топологических пространств и других систем. Результаты Ю.Л. Ершова по проблемам определимости и вычислимости, по развитию рекурсивной теории на допустимых множествах легли в основу нового подхода к созданию логических языков программирования — семантического программирования. | В теории конструктивных моделей доказал теорему о конструктивности ядра, позволившую с единых позиций получить ряд результатов о конструктивности замыканий для групп, колец и полей. Исследовал проблемы существования конструктивных моделей для элементарных теорий с конечными препятствиями и конструктивности классических алгебр: групп, полей, булевых алгебр, топологических пространств и других систем. Результаты Ю.Л. Ершова по проблемам определимости и вычислимости, по развитию рекурсивной теории на допустимых множествах легли в основу нового подхода к созданию логических языков программирования — семантического программирования. | ||
==Награды== | |||
* Орден "За заслуги перед Отечеством" 4 ст. (2000 г.). | |||
* Орден "За заслуги перед Отечеством" 3 ст. (2010 г.). | |||
* Орден Александра Невского (2016 г.). | |||
* Орден Трудового Красного Знамени. | |||
* Орден "Знак Почета". | |||
* Лауреат Государственной премии Российской Федерации в области науки и техники 2002 года за монографию «Кратно нормированные поля». | |||
* Лауреат премии Прав Правительства Российской Федерации в области образования за цикл трудов «Концепция формирования логико-математического образования в высшей школе» (2010 г.). | |||
==Источники== | ==Источники== | ||
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 мая]] | |||
[[Категория:Родившиеся в 1940 году]] | |||
[[Категория:Родившиеся в Новосибирске]] | |||
[[Категория:Доктора физико-математических наук]] | [[Категория:Доктора физико-математических наук]] | ||
[[Категория:Действительные члены РАН]] | |||
[[Категория:Академики РАН]] | |||
[[Категория:Математики]] | |||
[[Категория:Профессора]] | |||
[[Категория:Сотрудники СО РАН]] | |||
[[Категория:Сотрудники РАН]] | |||
[[Категория:Выпускники Новосибирского государственного университета]] | |||
[[Категория:Кавалеры ордена Александра Невского]] | |||
[[Категория:Кавалеры ордена "За заслуги перед Отечеством"]] | |||
[[Категория:Кавалеры ордена Трудового Красного Знамени]] | |||
[[Категория:Кавалеры ордена "Знак Почета"]] | |||
[[Категория:Лауреаты Государственной премии РФ]] | |||
[[Категория:Кавалеры орденов СССР]] | |||
[[Категория:Награжденные наградами СССР]] | |||
[[Категория:Награжденные государственными наградами СССР]] | |||
[[Категория:Кавалеры орденов Российской Федерации]] | |||
[[Категория:Награжденные наградами Российской Федерации]] | |||
[[Категория:Награжденные государственными наградами Российской Федерации]] | |||
[[Категория:Лауреаты премий России]] | |||