Жюль Пуанкаре - Теорема века. Мир с точки зрения математики

Для Кутюра не отсутствие противоречия доказывает бытие, а бытие доказывает отсутствие противоречия. Чтобы установить существование класса, нужно установить при помощи примера, что есть какой-нибудь индивид, принадлежащий к этому классу. «Но, – скажут, – как доказать существование такого индивида? Не надобно ли, чтобы это существование было установлено для того, чтобы мы из него могли вывести существование класса, к которому принадлежит индивид? Совсем нет. Как ни покажется парадоксальным такое утверждение, нужно сказать, что никогда не доказывают существования индивида. Индивиды уже по одному тому, что они индивиды, всегда рассматриваются как существующие. Абсолютно говоря, нет нужды высказывать, что индивид существует, а нужно лишь сказать, что он существует в классе». Кутюра находит свое собственное утверждение парадоксальным, и, конечно, не он один найдет его таковым. Это утверждение, однако, должно иметь свой смысл. Кутюра, без сомнения, хочет сказать, что существование индивида, который является единственным в мире и о котором ничего не утверждается, не может повлечь противоречия; пока он остается единственным, он, очевидно, никого не стесняет. Пусть так; допустим, «абсолютно говоря», существование индивида; но с этим существованием нам нечего делать; нам нужно будет доказать существование индивида «в классе», а для этого надобно будет доказать, что утверждение «такой-то индивид принадлежит к такому-то классу» не стоит в противоречии ни с самим собой, ни с другими принятыми постулатами.

«Утверждать, что определение лишь тогда имеет действительное значение, когда раньше доказано, что оно непротиворечиво, это значит, – продолжает Кутюра, – предъявлять произвольное и неправильное требование». Капитуляция в вопросе об отсутствии противоречия выражена здесь в словах как нельзя более энергичных и самонадеянных. «Во всяком случае, onus probandi падает на тех, кто полагает, что эти принципы противоречивы». Постулаты предполагаются совместимыми друг с другом до тех пор, пока не доказано противоположное, подобно тому, как обвиняемый по презумпции предполагается невиновным.

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

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

Я отметил вторую ошибку логистиков в статье Гильберта. Теперь Гильберт отлучен, и Кутюра более не считает его логистиком. Он меня спросит, нашел ли я ту же самую ошибку у логистиков-ортодоксов. Нет, я не встречал ее на тех страницах, которые прочитал; но я не знаю, не встречу ли я ее на трехстах страницах, которые написаны ортодоксами и которые у меня нет желания читать.

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

Вернемся к примеру Гильберта. Дело идет все о том же рекуррентном суждении и о том, заключает ли система постулатов противоречие. Кутюра скажет, без сомнения, что это его не касается; но это заинтересует, быть может, тех, кто не отказывается, как он, от доказательства отсутствия противоречия.

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