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

Эта характеристика является общей для многих математических проблем. Евклид доказал, что существует бесконечное количество простых чисел без необходимости перечислять их все. Он выстраивал свое рассуждение путем доведения до абсурда. Первый шаг в таком доказательстве состоит в том, чтобы отрицать высказывание, которое нужно доказать. Чтобы доказать, что существует бесконечное количество простых чисел, Евклид предположил, что их число конечное: р₁ р₂,... Р_n. На основе этого предположения он делал выводы, пока не пришел к абсурдному утверждению. Если предположить, будто есть только n простых чисел, то либо число р₁ х р₂ х ... х р_n + 1 (образованное произведением их всех плюс один) является простым, либо не является. В первом случае отмечается противоречие, поскольку это новое простое число не является ни одним из партии. Во втором случае, если это не простое число, оно должно делиться на простое число, но ни одно из чисел р₁, р₂,... р_n явно не является его делителем (деление неточное, оно дает 1 в остатке). И тут мы вновь сталкиваемся с противоречием. Следовательно, гипотеза, что существует конечное количество простых чисел, ложная: их должно быть бесконечное количество (хотя мы не можем определить их по одному). Доведение до абсурда, которое так любили Евклид и Гильберт, — один из лучших математических инструментов.

Гильберт опубликовал статью в 1890 году в журнале Mathematische Annalen, который издавал Клейн. Рецензентом выступил сам Гордан, и хотя вначале он потребовал внесения существенных изменений, в итоге признал революционный подход Гильберта. Работы Гордана составляли ужасно длинные и сложные вычисления, они контрастировали с краткой, элегантной и лаконичной статьей Гильберта, в основе которой лежало доведение до абсурда. Однако потребовалось решительное вмешательство Клейна, чтобы примирить их, поскольку Гильберт не желал трогать ни единой запятой в своей статье. В конце концов Гордан признал, что даже у теологии есть свое применение.

Гильберт бросил вызов и выиграл у тех, кто настаивал, будто математические доказательства должны базироваться на методе, рассматривающем сущности, наличие которых нужно доказать. Он доказал, что предположение о ложности гипотезы Гордана («существует базис инвариантов») ведет к противоречию. Этого было достаточно. Много лет спустя Гильберт объяснял своим студентам разницу между конструктивными доказательствами и теми, которые таковыми не являются (экзистенциальными), подчеркивая, что в аудитории есть кто-то, у кого на голове волос меньше, чем у других (никто из присутствующих не был абсолютно лысым), хотя мы не располагаем никаким способом выявить этого человека.

Это не математика! Это теология!

Гордан после ознакомления с доказательством Гильберта

На кон было поставлено не только будущее теории инвариантов (область исследования, которую Гильберт практически закрыл), но и нечто большее — противостояние двух подходов к математике: конструктивного — характерного для XIX века — и экзистенциального, свойственного XX столетию (когда слово «существовать» имело лишь одно значение: быть лишенным противоречия). Экзистенциальный подход Гильберта в дальнейшем обеспечил ему многие победы и многие споры.

Наконец, в 1892 году усилия Гильберта увенчались успехом, и он получил должность ординарного профессора Кёнигсбергского университета. Несмотря на то что в итоге он стал блестящим преподавателем, в начале его лекции едва привлекали студентов.

СОВРЕМЕННАЯ АЛГЕБРА И NULLSTELLENSATZ