Вначале была аксиома. Гильберт. Основания математики

Между тем с теории инвариантов Гильберт уже переключился на теорию чисел — типично немецкую дисциплину с тех пор, как Гаусс опубликовал «Арифметические исследования» (1801) и назвал ее царицей математики. Немецкое математическое общество (основанное в 1890 году под председательством Георга Кантора (1845-1918)) поручило Гильберту и Минковскому разработать отчет о состоянии вопроса. Минковский сразу отказался, сославшись на занятость, зато Гильберт сделал намного больше, чем от него ожидали. Результатом была жемчужина математической литературы, ставшая в дальнейшем классикой в этой области знания, — Der Zahlbericht («Отчет о числах»), датированная 10 апреля 1897 года. В этой работе Гильберт объединил все имеющиеся данные, организовав их с новой точки зрения, переписал формулировки и доказательства. Он не только перераспределил детали головоломки, которую представляла собой алгебраическая теория чисел, но и заполнил лакуны оригинальными исследованиями. В предисловии к отчету он писал:

«Теория чисел — это здание редкой красоты и гармонии. [...] Целью данного отчета является описание с единой точки зрения результатов теории чисел с ее доказательствами, с ее логическим развитием, что должно приблизить тот день, когда достижения классиков в области теории чисел станут общим достоянием всех математиков».

ПЕРВАЯ НАУЧНАЯ РЕВОЛЮЦИЯ

Древние вавилонская и египетская цивилизации имели значительные знания в области геометрии. Но их, если можно так выразиться, «математика» не вышла за пределы технической стадии, основываясь на сборниках инструкций для решения повседневных проблем, которые были связаны с трудом землемеров и в которых едва прослеживалось понятие доказательства. Геометрические теоремы Фалеса Милетского (ок. 624 — ок. 546 до н.э.) заставили бы улыбнуться египетских землемеров ввиду их простоты и бесполезности («Диаметр делит круг на две равные части»). Однако мы говорим о первых теоремах, которые являются истинными спустя более чем 2000 лет. Фалесу удалось измерить высоту пирамиды Хеопса с использованием простого правила пропорциональности.

Пифагору также удалось установить логическую связь с наследием вавилонян и египтян. Под руководством Платона Афинская академия систематизировала пифагорейскую математику, особенно заметен вклад Теэтета (ок. 417 — ок. 369 до н.э.) и Евдокса (ок. 390 — ок. 337 до н.э.). Первому приписывают теорему, гласящую, что существует только пять правильных многогранников, пять Платоновых тел. Тогда же геометров того времени завораживали три классические проблемы: трисекция угла, квадратура круга и удвоение куба. Перейдя из Афинской академии в Александрийский мусейон, мы встретились бы с Евклидом, работа которого (наряду с работой Аполлония и Архимеда) завершает золотую эпоху греческой геометрии.

Идеализированный портрет Евклида. Юстус ван Гент, 1474 год.