Однако нас интересует не ее содержание, а форма ее доказательства Гильбертом, поскольку это поможет представить путь развития его исследовательской карьеры. Как и в других областях математики, Гильберт разработал множество элементов, составивших новый подход. В данном случае он структурный алгебраический, сосредоточенный на структурах математических объектов в большей степени, чем на собственно математических объектах, а на группах, идеалах, кольцах и телах (алгебраических структурах) — в большей степени, чем на самих числах или конкретных многочленах, которые они содержат. Не осознавая этого, Гильберт готовил абстрактную алгебру XX века и мимоходом утвердил новый математический метод, знаменосцем которого стал позже.
Подход Гильберта разительно отличался от традиционного. Вместо того чтобы открыто искать решение проблемы, он доказал: проблема не может не иметь решения. Его доказательство было не конструктивным, а экзистенциальным. Он не предлагал решения напрямую («вот базис инвариантов»), а только доказывал, что оно обязательно должно быть («если бы не было базиса инвариантов, мы бы пришли к противоречию»). Следовательно, доказательство основной теоремы осуществлялось путем доведения до абсурда. Эта аргументация не была единодушно принята математическим сообществом.
Кронекер — одна из главных фигур немецкой математики того времени — высказался в этом отношении довольно резко. По слухам, подход Гильберта многим показался «зловещим». Для Кронекера доказательство существования обязательно означало построение того объекта, существование которого требовалось доказать. В данном случае это построение базиса инвариантов, которое, по утверждению Гильберта, существует. Он не принимал аргументов, что отсутствие существования базиса предполагает противоречие, следовательно, данный базис обязательно должен существовать, хотя его вычисление неосуществимо.
КОНСТРУКТИВНЫЕ И ЭКЗИСТЕНЦИАЛЬНЫЕ ДОКАЗАТЕЛЬСТВА
Чтобы понять разницу, рассмотрим пример. Если вопрос заключается в том, имеет ли уравнение х>2 - 1 = 0 решение, у нас есть два варианта. Первый — найти решение с помощью вычислений и алгебраических манипуляций: х = 1 и х = -1. Второй — попытаться ответить косвенно: задействовав некую теорему, показать, что уравнение имеет решение, хотя мы не можем его найти. Естественно, второй путь оказывается эффективнее, когда математик сталкивается с намного более сложными проблемами, чем решение простого уравнения второй степени. Очень часто в уравнениях высшей степени легче доказать существование решения, чем найти его.
