Теорема века. Мир с точки зрения математики

Однако геометры, пользовавшиеся этим методом, очень многочисленны. Они собрали массу формул. Написав мемуары, в которых формулы не чередовались со словесными объяснениями, как это делается в обыкновенных математических книгах, а в которых, следовательно, такие объяснения совершенно отсутствуют, они вообразили, что освободились от всего того, что не представляет собой чистой логики. К несчастью, они пришли к противоречивым результатам. Это так называемые антиномии Кантора, к которым мы еще вернемся. Эти противоречия, однако, их не обескуражили, и они попытались внести такие изменения в свои правила, при которых обнаружившиеся уже противоречия исчезли; но мы при этом не приобрели уверенности в том, что не обнаружатся новые противоречия.

Настало время для справедливой оценки этих преувеличений. Я не надеюсь убедить упомянутых математиков: слишком долго дышали они своей атмосферой. Да и, кроме того, если вы опровергли одно из их доказательств, вы можете быть уверены, что оно возродится лишь в слегка измененном виде. Некоторые из доказательств уже несколько раз возрождались из пепла, наподобие той лернейской гидры[27], у которой вырастали новые головы. Геркулес выпутался из затруднения, потому что его гидра имела девять голов, если не одиннадцать; но здесь слишком много голов: они имеются в Англии, в Германии, в Италии, во Франции, и Геркулес должен был бы отказаться от состязания. Я обращаюсь поэтому только к непредубежденным людям, обладающим здравым смыслом.

I

В последние годы появилось много трудов, посвященных чистой математике и философии математики, имевших своей задачей выделить и изолировать логические элементы математического рассуждения. Эти труды были ясно изложены и исследованы в работе Кутюра, озаглавленной: «Основания математических наук».

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

Все это Кутюра изложил в названном выше сочинении. Еще отчетливее высказал он это в речи, произнесенной на юбилее Канта, высказал так убедительно, что мой сосед сказал вполголоса: «мы видим ясно, что истекло столетие со дня смерти Канта».

Можем ли мы подписаться под этим решительным приговором? Я этого не думаю и постараюсь ниже показать, почему я этого не думаю.

II

Что нам сразу бросается в глаза в новой математике, так это ее чисто формальный характер. «Вообразим, – говорит Гильберт, – три рода вещей, которые мы назовем точками, прямыми и плоскостями; условимся, что прямая будет определяться двумя точками, и вместо того, чтобы сказать, что данная прямая определяется данными двумя точками, мы будем говорить, что она проходит через эти две точки или что эти две точки расположены на этой прямой». Что это за вещи, мы не только не знаем, но и не должны стремиться узнать. Нам этого не нужно, и всякий, кто никогда не видел ни точки, ни прямой, ни плоскости, так же легко мог бы построить геометрию, как и мы. Слова «проходят через» или «расположены на» не должны вызывать у нас никакого образа, ибо первые являются синонимом слова «определяться», вторые – синонимом слова «определять».

Таким образом, для доказательства теоремы не нужно и даже бесполезно знать, что она хочет сказать. Геометра можно было бы заменить «логической машиной», выдуманной Стенли Джевонсом. Или, если угодно, можно было бы выдумать машину, в которую через один конец были бы введены аксиомы, а в другом конце ее были бы собраны теоремы, наподобие той легендарной машины в Чикаго, в которую вкладывают живых поросят и из которой извлекают окорока и сосиски. Математик, как и эта машина, отнюдь не должен понимать, что он делает.

Я не ставлю в вину Гильберту этот формальный характер его геометрии. Он должен был прийти к ней, разрешая ту проблему, которую он себе ставил. Он хотел довести до минимума число основных аксиом геометрии и перечислить их все без остатка. Но в тех суждениях, в которых наш ум обнаруживает активность, в которых интуиция еще играет роль, трудно отделаться от внесения постулата или аксиомы, которые незаметно входят в суждение. Лишь в случае, если бы все геометрические суждения приняли чисто механическую форму, Гильберт мог бы быть уверенным в том, что он исполнил свое намерение и успешно закончил свою задачу.