Реферат - Известный математик. Реферат известный математик Ю. Л. Ершов
 Скачать 89.67 Kb.
|
|
Федеральное государственное автономное образовательное учреждение высшего профессионального образования «СИБИРСКИЙ ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ» Институт математики и фундаментальной информатики Базовая кафедра вычислительных и информационных технологий РЕФЕРАТ Известный математик - Ю.Л. Ершов Преподаватель __________ И.В. Ермилов подпись, дата Студент _____________ __________ Д.В. Князь код (номер) группы подпись, дата Красноярск 2014 Юрий Леонидович Ершов  Ю.Л.Ершов родился 1 мая 1940г. В г. Новосибирск в семье инженеров-железнодорожников. В школе увлекался геологией, но в выпускном классе любовь к точным наукам вытеснила интерес к геологии. Школу закончил с серебряной медалью. После школы пробовал поступить в МФТИ, но получил неудовлетворительную оценку на вступительном экзамене – устном по физике, год отработал токарем-карусельщиком на заводе в Новосибирске и в 1958 году поступил на механико-математический факультет Томского государственного университета, но в 1959 году перевелся в Новосибирский государственный университет, чтобы специализироваться по алгебре и математической логике. Здесь Ю. Л. Ершов познакомился со своим будущим учителем, основателем новосибирской школы алгебры и логики академиком А. И. Мальцевым. Еще будучи студентом НГУ, стал известен в кругу математиков новыми интересными научными результатами, и через несколько месяцев после окончания университета в 1963 году под руководством академика А.И. Мальцева защитил кандидатскую диссертацию на тему «Разрешимость элементарных теорий», а в 1965 - докторскую на тему «Элементарные теории полей», основные результаты которой были охарактеризованы академиком П. С. Новиковым как выдающиеся достижения в математике. В двадцать семь лет Ю. Л. Ершов становится заведующим отделом математической логики Института математики СО АН СССР, а 1970 г. он избирается членом-корреспондентом Академии наук СССР (c 1991 — действительный член РАН). Это первый из выпускников НГУ, ставший членом Академии наук. С 1977 г. он одновременно заведует кафедрой алгебры и математической логики Новосибирского государственного университета. С 1986 по 1994 гг. — ректор Новосибирского госуниверситета, первый выпускник НГУ, ставший его ректором.[ С 1992 г. — директор Научно-исследовательского института математико-информационных основ образования (с 1998 г. — Институт дискретной математики и информатики). В мае 1980 года Ю.Л.Ершов посетил США по программе Фулбрайта ( программа образовательных грантов ). Этот визит известен в математических кругах США как «The Ershov Affair». Сорок математиков Калифорнийского университета в Беркли и других вузов объявили Ершову бойкот в связи с его участием в антисемитской политике против еврейских коллег в СССР. Его выступления сопровождались пикетами и публичными протестами. Этот скандал был отмечен американскими СМИ, в частности, The Boston Globe. Письма с призывом к бойкоту подписали многие известные ученые. Сам Ершов отрицал обвинения и утверждал, что никогда не руководствовался в работе расовыми и национальными предрассудками. Начало научной деятельности Ю. Л. Ершова совпало с бурным развитием в 60-е годы исследований по разрешимости элементарных теорий. Войдя в эту область со студенческих лет, Ю. Л. Ершов немало способствовал ее дальнейшему развитию. Им были разработаны мощные методы доказательства разрешимости и неразрешимости элементарных теорий. Выдающимся достижением Ю. Л. Ершова в этом направлении явилось решение классической проблемы о разрешимости элементарной теории поля p-адических чисел. Им также были найдены новые серии полей с разрешимой элементарной теорией, доказана алгоритмическая неразрешимость теории класса конечных симметрических групп и других теорий. Последством элементарной классификации он доказал разрешимость элементарной теории дистрибутивных структур с относительными дополнениями и теории фильтров. Эти, а также ряд других работ, сразу же сделали имя Ю. Л. Ершова известным среди логиков всего мира. В дальнейшем круг математических интересов Ю. Л. Ершова расширяется, он получает основополагающие результаты в теории алгоритмов и теории моделей, в ряде новых развивающихся направлений математической логики и алгебры. Ю. Л. Ершов — создатель общей теории нумераций, нашедшей многочисленные приложения в математической логике. Эта теория дает, в частности, методологическую базу для исследования алгоритмических проблем математики, а также построения современной теории вычислений, имеет связь с методологическими и теоретическими вопросами программирования. Ю. Л. Ершову принадлежат основополагающие результаты по теории конструктивных систем - новому научному направлению, находящемуся на стыке теории разрешимости и теории нумераций. Работы Ю. Л. Ершова по развитию рекурсивной теории на допустимых множествах, явились основой для разработки новой концепции программирования на компьютерах — концепции семантического программирования. Кроме того, Ю. Л. Ершов является одним из авторов нового подхода к обоснованию математики, развивающего и модифицирующего известную программу Гильберта: подхода, связывающего вычислимость с определимостью. Основными результатами Ю. Л. Ершова стали решение классической проблемы о разрешимости элементарной теории поля p-адических чисел и создание общей теории нумераций нашедшей многочисленные приложения в математической логике. В частности, одним из результатов теории нумераций было построение категории  -пространств, с помощью которой может быть построена непротиворечивая модель бестипового λ-исчисления, во многих аспектах более удобная, чем топология Скотта. В математику вошли, став общепризнанными, такие понятия, как иерархия Ершова в теории алгоритмов, идеалы и характеристики Ершова–Тарского в теории булевых алгебр, язык S-выражений Ершова в семантическом программировании, A-пространства Ершова в теоретическом программировании.В 1992 году Ю.Л.Ершов награжден именной премией «Премия имени А.И.Мальцева» за монографию «Теория нумераций». В 2000 г. награждён орденом «За заслуги перед Отечеством» IV степени. В 2003 году получил Государственную премию Российской Федерации в области науки и техники 2002 года за монографию «Кратно нормированные поля». В 2010 году награждён орденом «За заслуги перед Отечеством» III степени. Является лауреатом премии Правительства Российской Федерации в области образования (2010) за цикл трудов «Концепция формирования логико-математического образования в высшей школе». Ершов является главным редактором Сибирского математического журнала и журнала «Алгебра и логика». Список основных монографий Ю. Л. Ершова: 1. Теория нумераций, М., Наука, 1977. 2. Проблемы разрешимости и конструктивные модели, М., Наука, 1980. 3. Определимость и вычислимость, Новосибирск, Научная книга, 1996, 2-е изд. 2000. 4. Конструктивные модели (с С. С. Гончаровым), Новосибирск, Научная книга, 1999. 5. Кратно нормированные поля, Новосибирск, Научная книга, 2000. Последние три книги опубликованы и в английском переводе издательством Plenum (Kluwer-Plenum) в 1996, 2000 и 2001 г. соответственно. Педагогическая деятельность: Под руководством Ю. Л. Ершова защищено 14 докторских и более 40 кандидатских диссертаций. В качестве приглашенного профессора работал в 1. Technical University Darmstadt, 2006 (2004,...,1994); 2. University of San Paulo, Brasil, 2006; 3. Isaac Newton Institute, Cambridge, UK, 2005; 4. Helsinki University, Finland, 2001; 5. Mittag-Leffler Institute, Djursholm, Sweden, 2001; 6. Konstanz University, Germany, 1999; 7. Institute for Studies in Theoretical Physics and Mathematics, Tehran, Iran, 1997; 8. Uppsala University, Sweden, 1995; 9. Paris, University VII, France, 1992; 10. UCLA, USA, 1980. |