Гильберт, Давид: биография
Умер Гильберт 14 февраля в военном 1943 году в Гёттингене. За его гробом шло всего около десятка человек. Похоронен на городском кладбище Гёттингена Groner Landstrasse.
Научная деятельность
Исследования Гильберта оказали большое влияние на развитие многих разделов математики, а его деятельность в Гёттингенском университете в значительной мере содействовала тому, что Гёттинген в первой трети XX века являлся одним из основных мировых центров математической мысли. Диссертации большого числа крупных математиков (среди них Г. Вейль, Р. Курант) были написаны под его научным руководством.
Научная биография Гильберта отчётливо распадается на периоды, посвящённые работе в какой-либо одной области математики:
- Теория инвариантов (1885—1893).
- Теория алгебраических чисел (1893—1898).
- Основания геометрии (1898—1902).
- Принцип Дирихле (математическая физика) и примыкающие к нему проблемы вариационного исчисления и дифференциальных уравнений (1900—1906).
- Теория интегральных уравнений (1902—1912).
- Решение проблемы Варинга в теории чисел (1908—1909).
- Математическая физика (1910—1922).
- Основания математики (1922—1939).
Математика
В теории инвариантов исследования Гильберта явились завершением периода бурного развития этой области математики во второй половине XIX века. Им доказана основная теорема о существовании конечного базиса системы инвариантов. Работы Гильберта по теории алгебраических чисел преобразовали эту область математики и стали исходным пунктом её последующего развития. В своём классическом обзоре он дал глубокое и содержательное изложение данного материала. Усилиями немецких математиков — Дирихле, Куммера, Кронекера, Дедекинда, затем Нётер и Минковского — была создана законченная теория делимости для числовых полей, основанная на понятиях идеала и простого идеала. Однако открытым оставался вопрос, что происходит с простым идеалом поля при включении его в «надполе», и в связи с этой трудной проблемой Гильберт ввёл ряд важных новых понятий, сформулировал и частично доказал основные относящиеся сюда результаты. Полное их доказательство и дальнейшее развитие стало делом некоторых из самых выдающихся его последователей.
В развитии теории алгебраических полей фундаментальную роль сыграла монография Гильберта «Теория полей алгебраических чисел», на десятилетия ставшая основой последующих исследований по этой теме. Среди собственных открытий Гильберта выделяется его развитие теории Галуа, в том числе важная «90-я теорема».
Данное Гильбертом решение проблемы Дирихле положило начало разработке так называемых прямых методов в вариационном исчислении.
Построенная Гильбертом теория интегральных уравнений с симметричным ядром составила одну из основ современного функционального анализа и особенно спектральной теории линейных операторов.
Гильберт сразу показал себя убеждённым сторонником канторовской теории множеств и защищал её от критики многочисленных противников. Он говорил: «Никто не изгонит нас из рая, созданного Кантором». Сам Гильберт, впрочем, эту область не разрабатывал, хотя косвенно затрагивал в трудах по функциональному анализу.
Обоснование математики
Классические «Основания геометрии» Гильберта (1899) стали образцом для дальнейших работ по аксиоматическому построению геометрии. Хотя идея построения модели одной математической структуры на базе другой использовалась и до Гильберта (например, У. Р. Гамильтоном), только Гильберт реализовал её с исчерпывающей полнотой. Он не только дал полную аксиоматику геометрии, но также детально проанализировал эту аксиоматику, доказав (построив ряд остроумных моделей) независимость каждой из своих аксиом.
К 1922 году у Гильберта сложился значительно более оширный план обоснования всей (или хотя бы значительного, общепринятого фрагмента) математики путём её полной формализации с последующим «метаматематическим» доказательством непротиворечивости формализованной математики. Для осуществления этой программы Гильберт разработал строгую логическую теорию доказательств, продолжая работы Фреге с помощью которой непротиворечивость математики свелась бы к доказательству непротиворечивости арифметики. При этом Гильберт использовал только общепризнанные логические средства (логику первого порядка). Его программа оказалась невыполнимой, как впоследствии установил К. Гёдель, хотя послужила значительным стимулом к развитию логики.
