Главная страница
Навигация по странице:

  • РЕФЕРАТ Известный математик - Ю.Л. Ершов

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

  • Список основных монографий Ю. Л. Ершова

  • Педагогическая деятельность

  • Реферат - Известный математик. Реферат известный математик Ю. Л. Ершов


    Скачать 89.67 Kb.
    НазваниеРеферат известный математик Ю. Л. Ершов
    АнкорРеферат - Известный математик
    Дата15.05.2021
    Размер89.67 Kb.
    Формат файлаdocx
    Имя файлаReferat_izvestny_matematik.docx
    ТипРеферат
    #205338

    Федеральное государственное автономное образовательное учреждение
    высшего профессионального образования

    «СИБИРСКИЙ ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ»
    Институт математики и фундаментальной информатики

    Базовая кафедра вычислительных и информационных технологий

    РЕФЕРАТ

    Известный математик - Ю.Л. Ершов

    Преподаватель __________ И.В. Ермилов

    подпись, дата

    Студент _____________ __________ Д.В. Князь

    код (номер) группы подпись, дата


    Красноярск 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.


    написать администратору сайта