«И» «ИЛИ»  
© Публичная Библиотека
 -  - 
Универсальная библиотека, портал создателей электронных книг. Только для некоммерческого использования!
Матиясевич Юрий Владимирович

Юрий Владимирович Матиясевич 86k

-

(02.03.1947)

  ◄  СМЕНИТЬ  ►  |▼ О СТРАНИЦЕ ▼
▼ ОЦИФРОВЩИКИ ▼|  ◄  СМЕНИТЬ  ►  
Википедия: Юрий Владимирович Матиясевич (родился 2 марта 1947 года, Ленинград) - советский и российский математик, исследователь Санкт-Петербургского отделения Математического института им. В.А. Стеклова РАН, член экспертной комиссии РСОШ по математике, академик Российской академии наук, доктор физико-математических наук. Внес существенный вклад в теорию вычислимости, завершив решение десятой проблемы Гильберта.
В 1962-1963 годы учился в физико-математической школе №239 Ленинграда, в 1963-1964 годы - в московской физико-математической школе-интернате №18 имени А.Н. Колмогорова (ныне СУНЦ МГУ).
С 1964 по 1969 год - студент математико-механического факультета Ленинградского университета, как победитель Международной олимпиады был зачислен в университет после предпоследнего класса, минуя последний. В 1966 году на втором курсе выполнил две работы по математической логике, напечатанные затем в «Докладах Академии наук СССР» и по сделал доклад на Международном математическом конгрессе в Москве.
По окончании университета поступил в аспирантуру Ленинградского отделения Института имени Стеклова, в 1970 году под руководством Сергея Юрьевича Маслова защитил диссертацию на соискание степени кандидата физико-математических наук. Будучи аспирантом, решил десятую проблему Гильберта. С момента окончания аспирантуры работает на научных должностях в Ленинградском отделении Института имени Стеклова.
В 1972 году в возрасте 25 лет защитил докторскую диссертацию.
С 1995 года - профессор Санкт-Петербургского университета на кафедре Математического обеспечения ЭВМ, впоследствии - на кафедре алгебры.
В 1997 году избран членом-корреспондентом РАН.
С 1998 года - вице-президент Санкт-Петербургского математического общества.
С 2002 года - председатель жюри Санкт-Петербургской городской математической олимпиады. С 2003 года со-руководитель ежегодной русско-немецкой студенческой школы JASS.
В 2008 году избран действительным членом Российской академии наук. В том же году избран президентом Санкт-Петербургского математического общества.
В 1966 году выполнил первые две научные работы по математической логике, впоследствии опубликованные в «Докладах Академии наук». В 1966 году будучи студентом сделал доклад на Международном математическом конгрессе в Москве.
Будучи аспирантом, в начале 1970 года в возрасте 22 лет сделал последний шаг в доказательстве алгоритмической неразрешимости задачи о существовании решений у произвольного диофантова уравнения, известной также как десятая проблема Гильберта, завершив тем самым программу исследований, основную часть которой к тому времени выполнили Мартин Дэвис, Хилари Патнем и Джулия Робинсон (англ.). Вклад Матиясевича в решение проблемы заключается в том, что он предъявил 10 диофантовых уравнений первой и второй степени, которые задают условие, где через обозначено -ое число Фибоначчи.
В теории чисел получил ответ на поставленный в 1927 году вопрос Дьердя Пойа, касающийся бесконечной системы неравенств, связывающих тейлоровские коэффициенты -функции Римана: показал, что все эти неравенства являются следствием одного функционального неравенства, связывающего фурье-преобразование -функции и его производные.
В теории графов предложил несколько критериев раскрашиваемости графов, установил неожиданную связь проблемы четырех красок и делимости биномиальных коэффициентов, дал вероятностную интерпретацию теоремы о четырех красках.
:
...




  • Матиясевич Ю.В. Десятая проблема Гильберта. [Djv- 1.4M]
    (Москва: Физматлит, 1993. - Математическая логика и основания математики)
    Предоставил формат: Raidar, 2013
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      Предисловие (3).
      Глава 1. Основные понятия (7).
      Глава 2. Диофантовость возведения в степень (22).
      Глава 3. Диофантово кодирование (39).
      Глава 4. Универсальные диофантовы уравнения (52).
      Глава 5. Алгоритмическая неразрешимость 10-й проблемы Гильберта (65).
      Глава 6. Ограниченные кванторы общности (94).
      Глава 7. Массовые проблемы теории чисел (117).
      Глава 8. Диофантова сложность (139).
      Глава 9. Массовые проблемы математического анализа (150).
      Глава 10. Другие приложения диофантовых представлений (164).
      Приложения (180).
      Указания к упражнениям (184).
      Список литературы (194).
      Указатель обозначений (214).
      Предметный указатель (216).
      Именной указатель (218).
ИЗ ИЗДАНИЯ: Дается полное доказательство алгоритмической неразрешимости 10-й проблемы Гильберта, касающейся диофантовых уравнений, вместе с необходимыми сведениями из теории алгоритмов и теории чисел, а также приложения развитой для этого техники к другим массовым проблемам теории чисел, алгебры, анализа, теоретического программирования.
Для математиков, в том числе аспирантов и студентов старших курсов.