Вначале была аксиома. Гильберт. Основания математики - Коллектив авторов. Страница 3
Давид Гильберт
Гильберт успешно изучал курсы алгебры, анализа и геометрии. В университете же он познакомился с Германом Минковским (1864-1909), который стал его лучшим другом. Будучи однокурсником Гильберта, он был на два года младше него, он опережал курс на целый триместр. Когда ему только исполнилось 19, он получил гран-при в области математики, которую вручала Парижская академия наук (хотя все прошло не слишком гладко, поскольку заходила речь о плагиате). Друзья обычно прогуливались вместе и восхищенно обсуждали математику. В ходе этих прогулок они исследовали каждый уголок математического знания. Эту традицию студенческих лет они сохранили на всю жизнь.
Получив степень доктора, Гильберт задумался о том, чтобы устроиться на должность приват-доцента, которая позволила бы ему преподавать в университете (пусть даже жалованье не было фиксированным и складывалось в зависимости от количества студентов). Для этого требовалось внести какой-нибудь оригинальный вклад в науку. С этой целью Гильберт отправился на встречу с Феликсом Клейном (1849-1925), одним из знаменитых математиков того времени. Годы спустя Клейн говорил, что сразу же понял: за этим юношей — будущее математики. По его совету Гильберт поехал в Париж, где познакомился с Анри Пуанкаре (1854-1912). Француз был на восемь лет старше Гильберта, но уже состоялся как ученый. Он считался главным представителем французской математики, которая надеялась обойти немцев. В результате Пуанкаре и Гильберт не нашли общий язык, со временем они даже стали открыто соперничать. Тут крылась конкуренция за главенствование в математике будущего (отношения Пуанкаре и Клейна также не были хорошими: у последнего это противостояние даже вылилось в депрессию). На обратном пути Гильберт задержался в Гёттингенском университете и навестил недавно обосновавшегося там Клейна. Тот познакомил его с Паулем Горданом (1837-1912), одним из главных экспертов по теории инвариантов — области, в которой Гильберт добился своего первого большого успеха.
ОТ АЛГЕБРЫ К ТЕОРИИ ЧИСЕЛ
Теория инвариантов представляла собой ответвление алгебры XIX века и рассматривала, какие величины не изменяются (остаются инвариантными), когда мы преобразуем один многочлен в другой в соответствии с определенными правилами. Одна из самых любопытных проблем получила название проблемы Гордана. В 1868 году Гильберт ошарашил современников, предложив революционное решение задачи, которое король теории инвариантов Гордан назвал «теологическим». Гильберту удалось сделать то, к чему уже несколько лет стремились все эксперты по инвариантам: доказать так называемую основную теорему теории инвариантов, в которой утверждается, что любая система инвариантов образована конечным образом (проще говоря, что любой инвариант системы может быть представлен в виде сочетания небольшого количества инвариантов, образующих базис). Эту задачу не назовешь пустяковой.
Однако нас интересует не ее содержание, а форма ее доказательства Гильбертом, поскольку это поможет представить путь развития его исследовательской карьеры. Как и в других областях математики, Гильберт разработал множество элементов, составивших новый подход. В данном случае он структурный алгебраический, сосредоточенный на структурах математических объектов в большей степени, чем на собственно математических объектах, а на группах, идеалах, кольцах и телах (алгебраических структурах) — в большей степени, чем на самих числах или конкретных многочленах, которые они содержат. Не осознавая этого, Гильберт готовил абстрактную алгебру XX века и мимоходом утвердил новый математический метод, знаменосцем которого стал позже.
Подход Гильберта разительно отличался от традиционного. Вместо того чтобы открыто искать решение проблемы, он доказал: проблема не может не иметь решения. Его доказательство было не конструктивным, а экзистенциальным. Он не предлагал решения напрямую («вот базис инвариантов»), а только доказывал, что оно обязательно должно быть («если бы не было базиса инвариантов, мы бы пришли к противоречию»). Следовательно, доказательство основной теоремы осуществлялось путем доведения до абсурда. Эта аргументация не была единодушно принята математическим сообществом.
Кронекер — одна из главных фигур немецкой математики того времени — высказался в этом отношении довольно резко. По слухам, подход Гильберта многим показался «зловещим». Для Кронекера доказательство существования обязательно означало построение того объекта, существование которого требовалось доказать. В данном случае это построение базиса инвариантов, которое, по утверждению Гильберта, существует. Он не принимал аргументов, что отсутствие существования базиса предполагает противоречие, следовательно, данный базис обязательно должен существовать, хотя его вычисление неосуществимо.
КОНСТРУКТИВНЫЕ И ЭКЗИСТЕНЦИАЛЬНЫЕ ДОКАЗАТЕЛЬСТВА
Чтобы понять разницу, рассмотрим пример. Если вопрос заключается в том, имеет ли уравнение х2 - 1 = 0 решение, у нас есть два варианта. Первый — найти решение с помощью вычислений и алгебраических манипуляций: х = 1 и х = -1. Второй — попытаться ответить косвенно: задействовав некую теорему, показать, что уравнение имеет решение, хотя мы не можем его найти. Естественно, второй путь оказывается эффективнее, когда математик сталкивается с намного более сложными проблемами, чем решение простого уравнения второй степени. Очень часто в уравнениях высшей степени легче доказать существование решения, чем найти его.
Путь, известный со времен Античности
Эта характеристика является общей для многих математических проблем. Евклид доказал, что существует бесконечное количество простых чисел без необходимости перечислять их все. Он выстраивал свое рассуждение путем доведения до абсурда. Первый шаг в таком доказательстве состоит в том, чтобы отрицать высказывание, которое нужно доказать. Чтобы доказать, что существует бесконечное количество простых чисел, Евклид предположил, что их число конечное: р1 р2,... Рn. На основе этого предположения он делал выводы, пока не пришел к абсурдному утверждению. Если предположить, будто есть только n простых чисел, то либо число р1 х р2 х ... х рn + 1 (образованное произведением их всех плюс один) является простым, либо не является. В первом случае отмечается противоречие, поскольку это новое простое число не является ни одним из партии. Во втором случае, если это не простое число, оно должно делиться на простое число, но ни одно из чисел р1, р2,... рn явно не является его делителем (деление неточное, оно дает 1 в остатке). И тут мы вновь сталкиваемся с противоречием. Следовательно, гипотеза, что существует конечное количество простых чисел, ложная: их должно быть бесконечное количество (хотя мы не можем определить их по одному). Доведение до абсурда, которое так любили Евклид и Гильберт, — один из лучших математических инструментов.
Гильберт опубликовал статью в 1890 году в журнале Mathematische Annalen, который издавал Клейн. Рецензентом выступил сам Гордан, и хотя вначале он потребовал внесения существенных изменений, в итоге признал революционный подход Гильберта. Работы Гордана составляли ужасно длинные и сложные вычисления, они контрастировали с краткой, элегантной и лаконичной статьей Гильберта, в основе которой лежало доведение до абсурда. Однако потребовалось решительное вмешательство Клейна, чтобы примирить их, поскольку Гильберт не желал трогать ни единой запятой в своей статье. В конце концов Гордан признал, что даже у теологии есть свое применение.
Гильберт бросил вызов и выиграл у тех, кто настаивал, будто математические доказательства должны базироваться на методе, рассматривающем сущности, наличие которых нужно доказать. Он доказал, что предположение о ложности гипотезы Гордана («существует базис инвариантов») ведет к противоречию. Этого было достаточно. Много лет спустя Гильберт объяснял своим студентам разницу между конструктивными доказательствами и теми, которые таковыми не являются (экзистенциальными), подчеркивая, что в аудитории есть кто-то, у кого на голове волос меньше, чем у других (никто из присутствующих не был абсолютно лысым), хотя мы не располагаем никаким способом выявить этого человека.