Последнее замечание имеет целью подчеркнуть, что в материи нет «последних неделимых» элементов, которые оказались бы чем-то сверхматериальным: всякая часть материи, как и пространства, делима до бесконечности. Здесь Кант возвращается к Аристотелю и следовавшему за ним Декарту. И объяснение этой бесконечной делимости Кант дает в духе Аристотеля, хотя для достижения такой пози
-284-
ции ему пришлось пойти совсем не аристотелевским и не характерным для античности путем: допустить феноменальный характер эмпирического мира. Это путь, на который Лейбниц последовательно встать не смог.
Перед Кантом стояла альтернатива. Если принять материю за субстанцию, и притом не тождественную пространству, как это было у картезианцев, то допущение бесконечной делимости материи требовало бы допустить, что она состоит из актуально бесконечного множества «последних единиц» — путь, которым пошел Лейбниц, отвергнув физический атомизм во имя принципа бесконечной делимости. Но если считать, как Аристотель, что материя — это лишь возможность, то нет надобности искать в самой материи бесконечной разделенности в качестве условия ее бесконечной делимости. Кант объявил материю только явлением, для того чтобы можно было выбрать второй путь — возвращение к принципу непрерывности в его аристотелевско-евдоксовом варианте. «О явлениях, деление которых можно продолжить до бесконечности, можно лишь сказать, что частей явления столько, сколько их будет дано нами, пока мы будем в состоянии продолжать деление. Ведь части, как относящиеся к существованию явлений, существуют лишь в мыслях, т. е. в самом делении»61. Иначе говоря, если материя не есть вещь в себе, то нет надобности допускать актуальной бесконечности (частей) для обоснования потенциальной бесконечности, т. е. процесса деления.
Феноменалистское истолкование пространства, времени и материи позволяет Канту вернуться в XVIII веке к классической античной теории непрерывности.
Возвращение к потенциальной бесконечности при обосновании дифференциального исчисления происходит и в математике второй половины XVIII века, хотя полностью преодолеть идею актуально бесконечно малого и создать теорию пределов, опирающуюся на методологические принципы метода исчерпывания, удалось только позднее, усилиями К.Ф. Гаусса, Б. Больцано, О. Коши и особенно К. Вейерштрасса.
Противоречивость понятия бесконечно малого, как мы видели, была очевидна с самого появления этого понятия; не случайно Ньютон создавал теорию первых и последних отношений, стремясь избежать «бесконечно малых». Это
-285-
стремление особенно усилилось после критики инфинитезимального исчисления, осуществленной Беркли. Не удивительно поэтому, что Даламбер в своих статьях «Дифференциал» (1754), «Флюксия» (1756), «Бесконечно малое» (1759) и «Предел» (1765), помещенных в знаменитой «Энциклопедии, или Словаре наук, искусств и ремесел», в качестве обоснования анализа предложил теорию пределов. При этом он опирался на ньютоновский принцип «первых и последних отношений». Дальнейшие шаги в этом направлении были предприняты Лагранжем. В 1784 году по инициативе Лагранжа Берлинская Академия наук назначила приз за лучшее решение проблемы бесконечного в математике. Объявление об условиях конкурса гласило: «...Всеобщим уважением и почетным титулом образцовой «точной науки» математика обязана ясности своих принципов, строгости своих доказательств и точности своих теорем. Для обеспечения непрестанного обновления столь ценных преимуществ этой изящной области знания необходима ясная и точная теория того, что называется в математике бесконечностью. Хорошо известно, что современная геометрия (математика) систематически использует бесконечно большие и бесконечно малые величины. Однако геометры античности и даже древние аналитики всячески стремились избегать всего, что приближается к бесконечности, а некоторые знаменитые аналитики современности усматривают противоречивость в самом термине бесконечная величина. Учитывая сказанное, Академия желает получить объяснение, каким образом столь многие правильные теоремы были выведены из противоречивого предположения, вместе с формулировкой точного, ясного..., истинно математического принципа, который был бы пригоден для замены принципа бесконечного и в то же время не делал бы проводимые на его основе исследования чрезмерно сложными или длинными»62.
Однако, как мы уже говорили, строгое решение поставленной Берлинской Академией наук проблемы было предложено только в XIX веке. Решающую роль играли здесь работы О. Коши. Метод, им предложенный, сходен с античным методом исчерпывания и тоже исключает обращение к актуально бесконечному. Вот как определяет Коши вводимое им понятие предела: «Если значения, последова
-286-
тельно приписываемые одной и той же переменной, неограниченно (indefiniment) приближаются к фиксированному значению таким образом, чтобы в конце концов отличаться от него сколь угодно мало, то последнее называют пределом всех остальных»63. Бесконечно малая определяется здесь как переменная, последовательные численные значения которой становятся меньше любого данного положительного числа64.
Именно благодаря философии Канта, с одной стороны, и разработанной в XIX веке теории пределов, с другой, в XIX веке и в самом деле принцип непрерывности, близкий к его античному пониманию, стал играть важную роль. В заключение мне хотелось бы остановиться еще на одном, последнем моменте —на понятии непрерывного, как оно было разработано Р. Дедекиндом в 60-х — 70-х годах XIX века.
5. Аксиома непрерывности Р. Дедекинда
В связи с необходимостью обосновать теорию пределов к проблеме непрерывности в 60-70-х годах XIX века обратился немецкий математик Р. Дедекинд. Считая недостаточно строгим введение понятия предела с помощью геометрической наглядности, Дедекинд попытался найти арифметическое обоснование анализа бесконечных. «Говорят часто, что дифференциальное исчисление занимается непрерывными величинами, однако же нигде не дают определения этой непрерывности, и даже при самом строгом изложении дифференциального исчисления доказательства не основывают на непрерывности...»66 В результате напряженных поисков Дедекинд достиг цели: он предложил принцип непрерывности, который, по его убеждению, удовлетворял самым строгим требованиям. «В предыдущем параграфе, — пишет Дедекинд, имея ввиду свою работу "Непрерывность и иррациональные числа", — обращено было внимание на то, что каждая точка Р прямой производит разложение прямой на две части таким образом, что каждая точка одной части расположена влево от каждой точки другой. Я усматриваю теперь сущность непрерывности в обратном принципе, т. е. в следую
-287-
щем: «Если все точки прямой распадаются на два класса такого рода, что каждая точка первого класса лежит влево от каждой точки второго класса, то существует одна и только одна точка, которая производит это разделение на два класса, это рассечение прямо на два куска»67. . На первый взгляд, это определение непрерывности совпадает с аристотелевским. Как мы помним, согласно Аристотелю, непрерывно то, концы чего образуют единое. Применительно к прямой это значит: непрерывна та прямая, два отрезка которой имеют только одну общую точку. О том же, как видим, говорит и Дедекинд. И не случайно после выхода в свет работы Дедекинда математик Р. Лифшиц указал ему на то, что открытая Дедекиндом аксиома непрерывности совпадает с теорией отношений Евдокса, основанной на том же принципе, что и аристотелево понятие непрерывности. «Я не отрицаю обоснованности Вашей дефиниции, — писал Р. Лифшиц, — я лишь думаю, что она только по форме выражения, а не по существу отличается от того, что установили древние. Я могу только сказать, что установленное -Евклидом определение (кн. V, опр. 4), которую я привожу по-латыни, я считаю столь же удовлетворительным, как и Ваше определение: rationem habere inter se magnitudines dicuntur, quae possunt multi-plicatae sese mutuo superare (говорят, что величины имеют отношение между собой, если, взятые кратно, они могут превзойти друг друга)»67. Отвечая Лифшицу, Дедекинд, однако, настаивает на том, что «одни только евклидовы принципы, без привлечения принципа непрерывности, который в них не содержится, не способны обосновать совершенную теорию реальных чисел как отношений величин... И напротив, благодаря моей теории иррациональных чисел создан совершенный образец непрерывной области, которая именно поэтому способна характеризовать всякое отношение величин определенным содержащимся в нем числовым индивидуумом (Zahlen-Individuum)»68.
При этом Дедекинд подчеркивает, что он не случайно мыслит континуум как арифметический и само обоснование анализа стремится дать с помощью арифметики: он не хочет «привлекать довольно темное и сложное понятие величины»69. Все это говорит о том, что действительно Дедекинд иначе мыслит непрерывное, чем Аристотель.
-288-
Для Аристотеля непрерывное — это то, что бесконечно делимо, т. е. потенциально бесконечное; для Дедекинда же непрерывное содержит в себе актуально бесконечное множество «сечений», т. е. «числовых индивидуумов». Дедекинд вводит постулат существования всех сечений и порождающих их реальных чисел, справедливо указывая на то, что такой постулат не был нужен Евдоксу. Не случайно теория непрерывности Дедекинда имеет общую базу с теорией множеств Г. Кантора: оба опираются на понятие актуально бесконечного. «К определению некоторого иррационального реального числа, — пишет Г. Кантор, — всегда принадлежит хорошо определенное бесконечное множество первой мощности рациональных чисел; в этом состоит общее всех форм дефиниции...»70 В основе определения непрерывности Дедекинда, справедливо замечает Кантор, лежит совокупность всех рациональных чисел.