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

Но и среди участников достопамятного конгресса 1900 г. нашелся человек, который прекрасно понимал, что в основаниях математики разрешены далеко не все проблемы. На этом конгрессе Давид Гильберт выступил с знаменитым докладом, где перечислил 23 проблемы [51], решение которых, по его мнению, девятнадцатое столетие завещало двадцатому. Первая из названных проблем состояла из двух частей. Георг Кантор ввел трансфинитные числа для обозначения мощности (числа элементов) бесконечных множеств. В этой связи Гильберт предложил доказать, что трансфинитное число, выражающее мощность множества всех вещественных чисел, является ближайшим к трансфинитному числу, выражающему мощность множества всех целых чисел. К этой проблеме мы вернемся в гл. IX.

Во второй части первой проблемы Гильберта говорилось о необходимости поиска метода, который позволил бы переупорядочить вещественные числа, чтобы их множество стало вполне упорядоченным. С понятием вполне упорядоченного множества мы подробнее познакомимся в дальнейшем, а пока достаточно лишь сказать, что если множество всех вещественных чисел вполне упорядочено, то в любой извлеченной из него подпоследовательности должен существовать первый элемент. При обычном упорядочении вещественных чисел это требование не выполняется: например, если мы рассмотрим все числа, которые больше, например, 5, то в этом подмножестве первый элемент отсутствует.

Вторая проблема Гильберта была более очевидной и имела более широкое значение. Мы уже упоминали о проблеме непротиворечивости, поднятой в связи с неевклидовыми геометриями, и о доказательствах их непротиворечивости, исходивших из предположения о непротиворечивости евклидовой геометрии. Используя аналитическую геометрию, Гильберт показал, что евклидова геометрия непротиворечива, если непротиворечива арифметика. И содержание второй проблемы Гильберта составляло требование дать доказательство непротиворечивости арифметики.

Обе части первой проблемы Гильберта были известны еще Кантору. Паш, Пеано и Фреге обращали внимание также и на проблему непротиворечивости. Но только Гильберт в своем докладе, 1900 г. в полной мере продемонстрировал фундаментальный, непреходящий характер этих проблем. Большинство математиков, слушавших доклад Гильберта, несомненно, считали проблемы непротиворечивости тривиальными, несущественными, своего рода математическими курьезами и придавали большее значение другим проблемам, сформулированным Гильбертом. Что же касалось непротиворечивости арифметики, то она ни у кого не вызывала сомнений. То, что многие сомневались в непротиворечивости неевклидовой геометрии, вполне понятно, если учесть, сколь необычной и даже противоречащей интуиции была эта геометрия. Но вещественные числа находились в обращении более пяти тысяч лет, и о них было доказано бесчисленное множество теорем. Никаких противоречий при этом обнаружено не было. Аксиомы вещественных чисел приводили к хорошо известным теоремам. Как же система аксиом вещественных чисел могла быть противоречивой?

Но всякие сомнения в том, насколько мудро поступил Гильберт, включив названные выше проблемы в число 23 наиболее важных проблем и, более того, отведя им почетные первые места, вскоре рассеялись. Тучи, собравшиеся над математикой, закрыли теперь весь горизонт. Началась гроза, и некоторые математики услышали раскаты грома. Но даже Гильберт не мог предвидеть все неистовство бури, обрушившейся на здание математики.

IX

Изгнание из рая: новый кризис оснований математики

В математике нет настоящих противоречий.

Гаусс

Логика — это искусство уверенно совершать ошибки.

Неизвестный автор

Итак, после многовековых блужданий в тумане математикам как будто бы удалось к началу XX в. придать своей науке ту идеальную структуру, которая была декларирована Аристотелем и, казалось, осуществлена Евклидом в его «Началах». Математики наконец-то полностью осознали необходимость неопределяемых понятий; определения были очищены от неясных или вызывавших какие-либо возражения терминов; некоторые области математики были построены на строгой аксиоматической основе; на смену умозаключениям, опиравшимся на интуитивные соображения или эмпирические данные, пришли надежные, строгие, дедуктивные доказательства. Даже законы логики были расширены настолько, что охватывали теперь те типы рассуждений, которые ранее математики использовали неформально и порой неявно, хотя, как показывал опыт, эти рассуждения всегда приводили к правильным результатам. Как уже говорилось, в начале XX в. у математиков были поводы торжествовать. Но пока они праздновали свои победы, уже назревали события, которые в дальнейшем лишили математиков покоя в гораздо большей степени, чем создание неевклидовой геометрии и кватернионов в первой половине XIX в. По меткому замечанию Фреге, «едва здание было достроено, как фундамент рухнул».