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

Однако как бы далеко мы ни шли, мы никогда не могли бы дойти до общей применимой ко всем числам теоремы, которая одна только и может быть предметом науки. Чтобы ее достигнуть, понадобилось бы бесконечно большое число силлогизмов – нужно перескочить бездну, которую никогда не будет в состоянии заполнить терпение аналитика, ограниченное одними средствами формальной логики.

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

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

Это орудие всегда полезно, ибо оно позволяет нам сразу пройти любое число ступеней и избавляет нас от долгих, скучных и однообразных проверок, которые скоро стали бы практически невыполнимыми.

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

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

VI

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

Таким образом, нельзя не прийти к заключению, что способ рассуждения путем рекурренции несводим к закону противоречия.

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

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

Почему же это суждение стоит перед нами с непреодолимой очевидностью? Здесь сказывается только утверждение могущества разума, который способен постичь бесконечное повторение одного и того же акта, раз этот акт оказался возможным однажды. В силу этого могущества разум обладает непосредственной интуицией, а опыт может быть для него только поводом воспользоваться ею и осознать ее.

Но скажут: если чистый опыт не может оправдать суждения путем рекурренции, то будет ли то же самое относительно опыта, поддерживаемого индукцией? Мы последовательно видим, что теорема верна для чисел 1, 2, 3 и т. д.; мы говорим: закон очевиден, и присваиваем ему тот же ранг, какой свойствен всякому физическому закону, опирающемуся на наблюдения, число которых очень велико, но все же ограничено.

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

VII

Выше я сказал, что математики стараются всегда обобщать полученные ими предложения; например, мы только что доказали равенство

a + 1 = 1 + a,

а затем воспользовались им для обоснования равенства

а + b = b + а,

которое, очевидно, является более общим.

Таким образом, математика, как и другие науки, может идти от частного к общему.

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

Нет сомнения, что математическое рассуждение посредством рекурренции и индуктивное физическое рассуждение покоятся на различных основаниях; но ход их параллелен – они движутся в том же направлении, т. е. от частного к общему.