Период современной математики

5.1. Математика XIX века. Организация математического образования и математических исследований. Ведущие математические школы. Математические журналы и общества. Школа К. Вейерштрасса. Жизнь и деятельность С.В. Ковалевской. Организация первых реферативных журналов и международных математических конгрессов – в Цюрихе (1897), в Париже (1900). Начало издания в Германии «Энциклопедии математических наук». Доклад Д. Гильберта «Математические проблемы» (1900).

5.2. Реформа математического анализа. Идеи Б. Больцано в области теории функций. О. Коши и построение анализа на базе теории пределов. Нестандартный анализ А. Робинсона (1961) и проблема переосмысления истории возникновения и первоначального развития анализа бесконечно малых. К. Вейерштрасс и арифметизация анализа. Теория действительного числа (Г. Кантор, Р. Дедекинд). Г. Кантор и создание теории множеств. Открытие парадоксов теории множеств. Создание теории функций действительного переменного (А. Лебег, Р. Бэр, Э. Борель).

5.3. Теория обыкновенных дифференциальных уравнений — проблема интегрируемости уравнений в квадратурах (результаты Ж. Лиувилля по интегрированию уравнения Риккати, С. Ли и его подход к проблеме). Перестройка оснований теории в трудах О. Коши (задача Коши, доказательство существования решения задачи Коши). Линейные дифференциальные уравнения, теория Штурма — Лиувилля, аналитическая теория дифференциальных уравнений.

Качественная теория А. Пуанкаре и теория устойчивости А.М. Ляпунова. Теория динамических систем – от А. Пуанкаре до КАМ-теории.

5.4. Теория уравнений с частными производными. Теория уравнений первого порядка (теория Лагранжа-Шарпи, работы И. Пфаффа, О. Коши и К.-Г. Якоби, «второй метод Якоби», теория С. Ли). Общая геометрическая теория уравнений с частными производными (С. Ли, Э. Картан, Д.Ф. Егоров).

Теория потенциала и теория теплопроводности Ж.-Б. Фурье и теория уравнений математической физики. Классификация уравнений по типам (эллиптические, параболические и гиперболические) П. Дюбуа-Реймона. Теорема Коши-Ковалевской. Понятие корректности краевой задачи по Ж. Адамару. Взгляд на общую теорию как на общую теорию краевых задач для уравнений различных типов. Системы уравнений с частными производными. 19-я и 20-я проблемы Гильберта и теория эллиптических уравнений в ХХ веке.

5.6. Теория функций комплексного переменного. Геометрическая интерпретация комплексных чисел. О. Коши и его результаты в построении теории функций комплексного переменного. Геометрическая теория функций комплексного переменного Б. Римана. Римановы поверхности. Принцип Дирихле. Аналитическое направление К. Вейерштрасса теории функций комплексного переменного. Целые и мероморфные функции. Теорема Пикара. Абелевы функции. Автоморфные функции. Униформизация.

5.7. Эволюция геометрии в XIX — начале ХХ вв. Создание проективной геометрии. Жизнь и творчество К.-Ф. Гаусса. Дифференциальная геометрия. Открытие Н.И. Лобачевским неевклидовой геометрии. Априоризм Канта и неевклидова геометрия. Интерпретации неевклидовой геометрии. Риманова геометрия. «Эрлангенская программа» Ф. Клейна. «Основания геометрии» Д. Гильберта и эволюция аксиоматического метода (содержательная, полуформальная, формальная аксиоматизации).

Рождение топологии. Комбинаторная топология А. Пуанкаре. Диссертация М. Фреше (1906). Теория топологических пространств. Теория размерности. Возникновение алгебраической топологии.

Геометрическая теория алгебраических уравнений. Идеи Р. Клебша и М. Нетера. Итальянская школа алгебраической геометрии. Аналитическая теория многообразий.

5.8. Эволюция алгебры в XIX — первой трети XX века. Проблема разрешимости алгебраических уравнений в радикалах. Э. Галуа и рождение теории групп. Развитие теории групп в XIX веке (А. Кэли, К. Жордан, теория непрерывных групп С. Ли). Аксиоматика теории групп. Теория групп и физика (кристаллография, квантовая механика). Развитие линейной алгебры. Английская школа символической алгебры. Кватернионы У. Гамильтона, гиперкомплексные системы, теория алгебр. Теория алгебраических чисел. Формирование понятий тела, поля, кольца. Формирование «современной алгебры» в трудах Э. Нетер и ее школы. Эволюция предмета алгебры от теории алгебраических уравнений до теории алгебраических структур.

5.9. Аналитическая теория чисел — проблема распределения простых чисел (К.-Ф. Гаусс, П. Дирихле, П.Л. Чебышев, Ж. Адамар, Ш. Валле-Пуссен), теория трансцендентных чисел (Ж. Лиувилль, Ш. Эрмит, А.О. Гельфонд), аддитивные проблемы — проблема Гольдбаха (И.М. Виноградов) и проблема Варинга (Д. Гильберт, Г. Харди). Алгебраическая теория чисел — работы К.-Ф. Гаусса, обоснование теории делимости для полей корней из единицы (Э. Куммер), а затем для произвольных полей алгебраических чисел (Р. Дедекинд, Е.И. Золотарев, Л. Кронекер), доказательство квадратичного и биквадратичного
(К.-Ф. Гаусс), а затем и кубического закона взаимности (Г. Эйзенштейн, К. Якоби). Геометрическая теория чисел (Г. Минковский, Г.Ф. Вороной).

5.10. Вариационное исчисление Эйлера. Создание метода вариаций. Вторая вариация и условия Лежандра и Якоби. Теория сильного экстремума Вейерштрасса. Теория Гамильтона-Якоби. Инвариантный интеграл Гильберта. Вариационные задачи с ограничением. Теория экстремальных задач в ХХ веке. Принцип максимума Понтрягина.

Рождение функционального анализа: «функциональное исчисление» В. Вольтерра, С. Пинкерле, исследования по интегральным уравнениям (И. Фредгольм, Д. Гильберт), вариационному исчислению. Понятие гильбертова пространства. Банаховы пространства (С. Банах, Н. Винер).

5.11. Развитие теории вероятностей во второй половине XIX — первой трети ХХ века. Формирование основ теории вероятностей. Трактат Я. Бернулли «Искусство предположений». Появление основных теорем теории вероятностей. П.-С. Лаплас и теория вероятностей. Предельные теоремы теории вероятностей. Петербургская школа П.Л. Чебышева и теория вероятностей XIX — начала XX века. Проблема аксиоматизации теории вероятностей. Аксиоматика А.Н. Колмогорова.

5.12. Математическая логика и основания математики в XIX — первой половине ХХ века. Предыстория математической логики. Символическая логика Г.В. Лейбница. Квантификация предиката. Логика А. де Моргана. Алгебра логики Дж. Буля и У.С. Джевонса. Символическая логика Дж. Венна. Алгебра логики Э. Шредера и П.С. Порецкого. Исчисление высказываний Г. Фреге. «Формуляр математики» Дж. Пеано. «Principia Mathematica» Б. Рассела и А. Уайтхеда. Работы по основаниям геометрии и арифметики конца XIX века. Кризис в основаниях математики в начале века и попытки выхода из него: логицизм, формализм, интуиционизм. Формалистское понимание математического существования. Непротиворечивость как основная характеристика математической теории. Конструктивизм. Аксиоматизация теории множеств. Континуум-гипотеза и попытки ее доказательства от Г. Кантора до П. Коэна. Результаты К. Геделя и кризис гильбертовской программы обоснования математики. Возникновение группы Бурбаки, ее деятельность и идеология. Реакция на нее математического сообщества.

5.13. История вычислительной техники — абак, механические счетные машины (В. Шиккард, Б. Паскаль, Г. Лейбниц, П.Л. Чебышев), аналитическая машина Ч. Бэббеджа, электромеханические счетные машины, создание электронных вычислительных машин. Появление персональных компьютеров. Экспансия информатики. Допустимость компьютерного доказательства – проблема четырех красок.

5.14. Математика XX века. Основные этапы жизни математического сообщества — до первой мировой войны, в промежутке между первой и второй мировыми войнами, во второй половине XX века. Математические конгрессы, международные организации, издательская деятельность, премии (Филдсовская премия, премия Р. Неванлинны и др.). Ведущие математические школы и институты. Творчество А. Пуанкаре и Д. Гильберта.