142
суть прежде всего математические категории, а поэтому для их уяснения мы должны обратиться к математикам и философам сразу. Они должны нам ответить на вопрос: правда ли, что потенциальная бесконечность фундирована в актуальной? правда ли, что нельзя обойтись при помощи одной потенциальной бесконечности? Здесь нужно прямо сказать, что ответ на этот вопрос неоднороден. Здесь тоже великий водораздел философии, идущий издревле. Ибо существует horror infiniti, как существует horror Absoluti 14. И кто отрицает транс в Абсолютное, тот обыкновенно отрицает и транс в бесконечное, так как Абсолютное связано с бесконечным нераздельно. Существуют математики, утверждающие, что математика
знает только потенциально–бесконечное; актуально–бесконечное ей не нужно и математически непредставимо. С другой стороны, существуют математики–философы, такие, как Лейбниц и Кантор, которые утверждают, что только актуально–бесконечное есть настоящее бесконечное и что оно фундаментально для мысли.
Нетрудно заметить, что потенциально–бесконечное не есть настоящее бесконечное. В самом термине «потенциально» уже содержится эта мысль: потенциальный выигрыш — не есть настоящий и реальный выигрыш; потенциальный человек (эмбрион) не есть еще настоящий человек. Но в потенциальной бесконечности содержится еще меньше потенций, чем в этих примерах: в своем движении она никогда и принципиально не может выиграть настоящей бесконечности; она никогда не может «развиться» в настоящую бесконечность. Поэтому ее следовало бы скорее назвать «импотентной» бесконечностью. Это было уже нами показано на вечном и основном символе бесконечного, на числовом ряде: 1, 2, 3, 4, 5… «Потенциально–бесконечное» есть бесконечная возможность движения, выходящего за пределы каждого числа посредством прибавления еще одной единицы *. Ясно, что в этом движении, развертывающем ряд, мы будем встречать всегда только конечные величины и не можем встретить бесконечной величины. Поэтому вот как Кантор определяет потенциально–бесконечное: это то бесконечное, которое доселе обычно применялось в математике и которое означает переменную величину, возрастающую или убывающую за пределы всякой конечной границы, но при этом величину, всегда остающуюся конечной.
Очевидно, во всем этом «процессе» нет настоящей бесконечности и не может ее быть. Вот почему потенциально–бесконечное Кантор называет das Uneigentlich–Unendliche, несобственно–бесконечное, иначе говоря — собственно не б
есконечное; indefinitum 16в отличие от infinitum. Вот почему Гегель, впервые указавший на это свойство потенциальной бесконечности, назвал ее «дурной» бесконечностью.
* Поэтому потенциальная бесконечность есть fieri 15.
143
Поставленный выше вопрос: «Нельзя ли обойтись при помощи одной потенциальной бесконечности?» — становится, таким образом, весьма радикальным — он означает ни более ни менее как следующее: «Нельзя ли обойтись при помощи одного конечного? Нужно ли вообще настоящее бесконечное в математике?»
5. СУЩНОСТЬ АКТУАЛЬНО–БЕСКОНЕЧНОГО КАК ВСЕЕДИНСТВО
Прежде всего, что такое настоящее бесконечное и при каких условиях мы имеем право о нем говорить? Потенция выхода за пределы каждого конечного числа, как мы видели, не дает нам права говорить о настоящей бесконечности; мы имеем лишь неопределенно–возрастающее множество в этом переходе от числа к числу, в этом fieri. Но если мы выйдем за пределы всех членов ряда, совершим своеобразный транс, поднимающий нас над всем рядом, дающий нам возможность обозреть, окинуть взором сразу весь ряд, — тогда и только тогда мы можем говорить о trarnsfinitum ' 7. Однако можно ли его обозреть весь? Что дает нам право говорить о всей бесконечности конечных чисел?
На это мы имеем драгоценный ответ Кантора: мы знаем закон всего ряда и всех его членов; этот закон определяет созидание каждого члена (он созидается прибавлением единицы) и строго определяет индивидуальное место каждого числа этого ряда: I, 2, 3, 4… Закон и только закон дает нам право сказать: весь ряд и вся бесконечность его членов! И мы имеем право сказать: «вся бесконечность», ибо знаем с очевидностью, что ряд этот не есть ряд конечный (потенциальная бесконечность показала нам потенцию выхода, транса за пределы каждого конечного). Кантор утверждает, что настоящая, актуальная бесконечность есть «хорошо упорядоченное множество», wohlgeordnete Menge. Понимание этого твердого порядка дает нам возможность в известном смысле обозреть сразу весь ряд.
Читать дальше