Фреге не понял интереса Гильберта к аксиоме полноты линии, или непрерывности прямой, в которой постулируется, что не существует другой большей системы объектов, которая также выполняла бы аксиомы. Философ заявил математику, что это похоже на теологическое заключение на основе аксиомы, которая гласила бы: «Аксиома 3. Существует по крайней мере один Бог». По иронии судьбы Гильберта уже во второй раз обвинили в тяготении к теологии. Однако он был не теологом, а скорее мистиком, поскольку предугадывал будущее математики.
Противостояние Фреге и Гильберта, как и в случае с Горданом, — ключ для понимания отличия математики XIX века от математики XX столетия. Для Фреге математическое существование было связано с тем, какие материальные или идеальные объекты существуют в мире. Раз есть только один мир, должна быть только одна геометрия. Аксиоматические системы изначально были пустыми. Гильберт же, наоборот, считал, что аксиомы не просто кодируют поведение математических объектов, но также могут создавать новые математические объекты, если не вступают в противоречие. Следовательно, в математике есть больше одной геометрии, при этом каждая из них непротиворечива (относительно арифметики).
«Основания» оказались своего рода знаком ферматы над геометрией, открыв путь другим возможным геометриям (неевклидовым, неархимедовым и так далее). Кроме того, они стали первым столпом современной аксиоматики. С 1900 года, взяв на вооружение новый метод, Гильберт начал внедрять аксиоматизацию в другие научные дисциплины. Раз аксиоматика так хорошо себя показала в геометрии, почему бы ее не задействовать в арифметике, анализе или физике?
ГЛАВА 2
Вызов Гильберта
Тень Гильберта покрывает значительную часть математических дисциплин XX века. Когда 8 августа 1900 года он взошел на трибуну II Международного конгресса математиков и взял слово, он предвидел, с какими задачами столкнется математика, и свел их к 23 проблемам, чем решительно повлиял на развитие этой дисциплины. Он поднял завесу, скрывающую будущее математики.
Шел 1900 год, начинался новый век. Пока парижане спешили обежать все павильоны Всемирной выставки или поприсутствовать на Олимпийских играх, в Сорбонне, где проходил II Международный конгресс математиков, взял слово Давид Гильберт. Он намеревался говорить не о доказанном, а о том, что оставалось доказать. В тот момент он уже был одним из лучших математиков своего поколения и лидером математической школы в Гёттингене. И хотя эта лекция была прочитана не на пленарном заседании (поскольку Гильберт запоздал с отправкой темы и организаторам пришлось исключить ее из программы), она стала самым запоминающимся докладом на конгрессе.
Тридцативосьмилетний Давид Гильберт уже успел показать мощь своих идей. Совершив революцию в теории инвариантов и обратившись к абстракции, он вторгся в теорию чисел и аксиоматическую геометрию и создал работы, которые стали классическими в обеих дисциплинах. Осознавая себя одним из выдающихся математиков, он хотел показать свое проницательное комплексное видение этой науки. Мы можем представить себе нашего героя тем жарким днем 8 августа 1900 года. Высокий, худощавый, с аккуратной бородкой, в своих неизменных очках, он поднялся на кафедру и заговорил. Его основной целью было подчеркнуть, что двигатель прогресса математики — это решение задач, а также бросить вызов математикам XX века.
Первый Международный конгресс математиков проходил в Цюрихе тремя годами ранее, в 1897 году. Со своей лекцией «Об отношениях между чистым анализом и математической физикой» французский математик Анри Пуанкаре стал «звездой» этого съезда и в результате возглавил организационный комитет. В Париже Гильберт хотел помериться силами с лидером французской математики. Как и Клейн, он стремился восстановить престиж немецких ученых, но долго сомневался в выборе средств и в итоге запоздал с выбором темы лекции.
В своей речи Пуанкаре изложил программу, обозначившую ориентиры развития математики. Целей в ней намечалось три: физическая (дать подходящие инструменты для изучения природы), философская (помочь философу углубиться в понятия числа, пространства и времени) и, наконец, эстетическая, сопоставимая с музыкой или живописью. Математика, отмечал он, имеет ценность сама по себе, а не только как средство, поскольку без теории стопорятся и практическое исследование, и прогресс. Идеальная ситуация, когда физическая и эстетическая цели совпадают. Пуанкаре стремился в деталях показать связь между чистой наукой и ее применением, между анализом и физикой.