Математика. Утрата определенности.

Обычно поступают так, будто принятие постулатов само по себе достаточно для того, чтобы все постулаты выполнились. Мы постулируем, что операция вычитания, деления или извлечения корня всегда выполнима, и считаем, что этого вполне достаточно. Но почему мы не постулируем, что через любые три точки можно провести прямую? Почему мы не постулируем, что все законы сложения и умножения остаются в силе для комплексных чисел с тремя единицами точно так же, как они выполняются для вещественных чисел? Это происходит потому, что такого рода постулаты содержат противоречие. Прекрасно! Но тогда первое, что нам необходимо сделать, — это доказать непротиворечивость наших остальных постулатов. А пока это не будет сделано, вся строгость, к которой мы так стремимся, останется столь же зыбкой и призрачной, как лунное сияние.

Пеано и его школа в 90-х годах XIX в. также стали несколько серьезнее относиться к проблеме непротиворечивости. Пеано был уверен в том, что методы, позволяющие доказывать непротиворечивость аксиом, не замедлят появиться.

Над проблемой непротиворечивости математики вполне могли бы задуматься еще древние греки. Почему же она выступила на передний план лишь в конце XIX в.? Как мы уже говорили, создание неевклидовой геометрии в значительной мере способствовало осознанию того, что геометрия является творением человека и лишь приближенно описывает происходящее в реальном мире. При всех неоспоримых достоинствах этого описания его нельзя считать истинным в том смысле, что оно не адекватно внутренней структуре окружающего мира и, следовательно, не обязательно непротиворечиво. Движение за аксиоматизацию математики в конце XIX в. заставило математиков понять, сколь глубокая пропасть отделяет математику от реального мира. Каждая аксиоматическая система содержит неопределяемые понятия, свойства которых задаются только аксиомами. Смысл неопределяемых понятий не зафиксирован раз и навсегда, хотя интуитивно мы представляем себе, что такое точки или прямые. Разумеется, предполагается, что аксиомы выбраны так, чтобы задаваемые им свойства находились в согласии с теми, которые мы интуитивно с ними связываем. Но можем ли мы быть уверенными в том, что нам удалось выбрать аксиомы именно таким образом, что, формулируя их, мы не привнесли некоторое нежелательное свойство (или же оно следует из принятых нами аксиом), которое может привести к противоречию?

Паш отметил еще одну особенность аксиоматического метода. В любой области математики желательно, чтобы аксиомы были независимыми, т.е. чтобы любую из принятых аксиом нельзя было вывести из остальных, так как аксиома, выведенная из других, является уже не аксиомой, а теоремой. Метод доказательства независимости той или иной аксиомы состоит в указании интерпретации или построении модели, в которой все аксиомы, кроме проверяемой на независимость, выполняются, а проверяемая аксиома не выполняется. (Такая интерпретация не обязательно должна быть совместимой с отрицанием

проверяемой аксиомы.) Так, для доказательства независимости аксиомы Евклида о параллельных от остальных аксиом евклидовой геометрии можно воспользоваться интерпретацией гиперболической неевклидовой геометрии, в которой выполняются все аксиомы евклидовой геометрии, кроме аксиомы о параллельных, а сама аксиома о параллельных не выполняется. Интерпретация, удовлетворяющая проверяемой аксиоме и противоположной аксиоме, не была бы непротиворечивой. Следовательно, прежде чем воспользоваться для доказательства независимости какой-либо аксиомы интерпретацией, или моделью, необходимо убедиться в том, что эта интерпретация, или модель, непротиворечива. Так, независимость аксиомы Евклида о параллельных была доказана на модели гиперболической евклидовой геометрии, реализуемой на поверхности в евклидовом пространстве.

В дальнейшем мы расскажем о сомнениях, неадекватностях и глубоких проблемах, которые породила аксиоматизация математики; однако в начале XX в. аксиоматический метод считался идеалом математической строгости. Никто не превозносил аксиоматический метод больше, чем Гильберт, ставший к тому времени признанным лидером мировой математики. В статье «Аксиоматическое мышление» (1918) он утверждал: