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

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

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

В таком виде его мнение неприемлемо. Математика не зависит от существования материальных объектов. В математике слово «существующее» имеет только один смысл и обозначает: «свободное от противоречия». При такой поправке мысль Стюарта Милля становится точной; определяя какой-нибудь объект, мы утверждаем, что определение не заключает противоречия.

Если, следовательно, мы имеем систему постулатов и если мы можем доказать, что эти постулаты не заключают противоречия, то мы вправе рассматривать их как определения одного из тех понятий, которые фигурируют в этой системе предложений. Если мы этого доказать не можем, то мы допускаем понятие без доказательства. Тогда мы имеем аксиому; и если мы искали определение в постулатах, то мы обратно находим аксиому в определении.

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

Но такое прямое доказательство при помощи примера не всегда возможно.

Чтобы установить, что постулаты не содержат в себе противоречия, нужно рассмотреть все предложения, которые могут быть выведены из данных постулатов как посылок, и показать, что среди этих предложений нет двух, противоречащих друг другу. Если число этих предложений конечное, то прямая проверка возможна. Но такой случай и встречается редко, и интереса не представляет.

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

Мы указали на одно условие, которому логики должны были удовлетворить, и мы увидим ниже, что они ему не удовлетворили.

V

Есть еще другое условие. Если мы даем определение, то мы делаем это для того, чтобы им пользоваться.

В пределах некоторого рассуждения, например, мы неоднократно встречаемся с определяемым словом. Возникает вопрос: вправе ли мы в отношении к предмету, который мы в этом рассуждении называем нашим термином, утверждать тот постулат, который послужил для его определения? Очевидно, вправе, если термин сохранил свой смысл, если мы неявно (implicite) не приписали ему другого значения. Но иногда такое изменение смысла имеет место и при этом чаще всего остается незамеченным. Необходимо убедиться, каким путем это слово проникло в наше рассуждение, не вошло ли оно в другом определении, отличающемся от того, которое было формулировано первоначально.

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

Но то же затруднение встречается и в пределах чистой математики.

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