153зывается по имени его составителя «Началами Евклида». Атомистическая концепция математики, развит

153

зывается по имени его составителя «Началами Евклида». Атомистическая концепция математики, развитая Демокритом, заключается в том, что Демокрит признал математические тела (шар, конус, пирамиду) состоящими из плоскостей, налагающихся друг на друга, но отделенных друг от друга, как и физические атомы, пустым пространством. Так, конус состоит, согласно этому взгляду, из весьма большого числа кружков, расположенных параллельно основанию конуса в порядке убывания их радиусов по направлению к вершине. Тонкость сечений их такова, что они не могут быть восприняты нашими чувствами. И такова же тонкость слоя пространства, отделяющего сечения друг от друга. В свою очередь плоскости, на которые разлагаются тела, составляются из линий, а линии — из неделимых точек. Неделимые точки недоступны никакому дальнейшему делению: ни механическому, ни делению в мысли.

Наличие у Демокрита вытекающей из данных образов атомистической теории математики засвидетельствовано рядом античных писателей.* Теория эта не только соответствовала в области математики атомистическому пониманию физических тел и элементов природы. Внутри самой математики она должна была устранить трудности и разрешить противоречия, которые обнаружились после исследований элейцев, в особенности Зенона.

Из учения элейцев следовал скептический вывод, будто построить математику как науку, свободную от противоречий, невозможно. Наука эта до появления учения атомистов строилась на следующих аксиомах: 1) каждый геометрический объект делим до бесконечности; 2) бесконечно большое число элементов (не равных нулю), даже при условии, что все они чрезвычайно малы, всегда дает бесконечно большую сумму.

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

Опираясь на это общепринятое утверждение и до-

* Прекрасный анализ всех свидетельств дан в работе проф. С. Я. Лурье «Теория бесконечно малых у древних атомистов» (М, — Л., 1935, гл. 2 и 3).  

 

154

пустив в виде условно принятого* тезиса возможность бесконечной делимости целого на части, Зенон и развил аргументы, из которых следовало, что, будучи принятыми, эти положения с необходимостью приводят математику к противоречию. Теория эта одновременно допускала и то, что каждое тело состоит из бесконечно большого числа непротяженных точек, недоступных дальнейшему делению, и то, что каждое тело может быть делимо до бесконечности. Но Зенон показал, что из сформулированных выше двух предположений этой теории с необходимостью следует противоречие: 1) сумма непротяженных точек, из которых состоит тело, непременно будет равна нулю, т. е. тело будет иметь нулевую величину, и 2) при бесконечной делимости любое тело как сумма бесконечно большого числа частей должно оказаться бесконечно большим. А так как противоречие, по Зенону, немыслимо, то Зенон приходит К выводу, будто предпосылка делимости тел ложна. Тела неделимы. Перед математикой возникла, казалось, серьезная трудность.

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

С другой стороны, тело не должно и обращаться в нулевую величину: хотя атомы, из которых состоит тело, весьма малы (не воспринимаются чувствами), однако величина атомов не нулевая. Атомы — реальные частицы вещества. Поэтому всякое тело, представляющее собой соединение или сцепление атомов, не есть ничто, а имеет реальную величину.

Атомистическая теория математики не только избавляла науку от затруднений, вскрытых критикой Зенона. Теория эта была применена Демокритом и его последователями для решения ряда проблем и задач

* Условно принятого, так как, по воззрению Зенона и всех элейцев, единое целое мира неделимо на части. Существует только целое.