Что чистая математика имеет значение, независимое от особого опыта каждой отдельной личности, это, конечно, верно, но то же самое можно сказать о всех твердо установленных фактах любой науки и даже о всех фактах вообще. Магнитная полярность, состав воды из водорода и кислорода, тот факт, что Гегель умер, а г-н Дюринг жив, — все это имеет значение независимо от моего опыта или опыта других отдельных личностей, даже независимо от опыта г-на Дюринга, когда последний спит сном праведника. Но совершенно неверно, будто в чистой математике разум имеет дело только с продуктами своего собственного творчества и воображения. Понятия числа и фигуры взяты не откуда-нибудь, а только из действительного мира. Десять пальцев, на которых люди учились считать, т. е. производить первую арифметическую операцию, представляют собой все, что угодно, только не продукт свободного творчества разума. Чтобы считать, надо иметь не только предметы, подлежащие счету, но обладать уже и способностью отвлекаться при рассматривании этих предметов от всех прочих их свойств кроме числа, а эта способность есть результат долгого, опирающегося на опыт, исторического развития. Как понятие числа, так и понятие фигуры заимствованы исключительно из внешнего мира, а не возникли в голове из чистого мышления. Должны были существовать вещи, имеющие определенную форму, и эти формы должны были подвергаться сравнению, прежде чем можно было прийти к понятию фигуры. Чистая математика имеет своим объектом пространственные формы и количественные отношения действительного мира, стало быть — весьма реальный материал. Тот факт, что этот материал принимает чрезвычайно абстрактную форму, может лишь слабо затушевать его происхождение из внешнего мира. Но чтобы быть в состоянии исследовать эти формы и отношения в чистом виде, необходимо совершенно отделить их от их содержания, оставить это последнее в стороне как нечто безразличное; таким путем мы получаем точки, лишенные измерений, линии, лишенные толщины и ширины, разные a и b, x и y, постоянные и переменные величины, и только в самом конце мы доходим до продуктов свободного творчества и воображения самого разума, а именно — до мнимых величин. Точно так же выведение математических величин друг из друга, кажущееся априорным, доказывает не их априорное происхождение, а только их рациональную взаимную связь. Прежде чем прийти к мысли выводить форму цилиндра из вращения прямоугольника вокруг одной из его сторон, нужно было исследовать некоторое количество реальных прямоугольников и цилиндров, хотя бы и в очень несовершенных формах. Как и все другие науки, математика возникла из практических потребностей людей: из измерения площадей земельных участков и вместимости сосудов, из счисления времени и из механики. Но, как и во всех других областях мышления, законы, абстрагированные из реального мира, на известной ступени развития отрываются от реального мира, противопоставляются ему как нечто самостоятельное, как явившиеся извне законы, с которыми мир должен сообразоваться. Так было с обществом и государством, так, а не иначе, чистая математика применяется впоследствии к миру, хотя она заимствована из этого самого мира и только выражает часть присущих ему форм связей, — и как раз только поэтому и может вообще применяться.
Подобно тому как г-н Дюринг воображает, что из математических аксиом, которые т с чисто логической точки зрения не допускают обоснования, да и не нуждаются в нем», можно без всякой примеси опыта вывести всю чистую математику, а затем применить ее к миру, — точно так же он воображает, что он в состоянии сначала создать из головы основные формы бытия, простые элементы всякого знания, аксиомы философии, из них вывести всю философию, или мировую схематику, и затем высочайше октроировать эту свою конституцию природе и человечеству. К сожалению, природа вовсе не состоит из мантёйфелевских пруссаков 1850 г.[38], а человечество состоит из них лишь в самой ничтожной части.
Математические аксиомы представляют собой выражения крайне скудного умственного содержания, которое математике приходится заимствовать у логики. Их можно свести к следующим двум:
1. Целое больше части. Это положение является чистой тавтологией, ибо взятое в количественном смысле представление «часть» уже заранее относится определенным образом к представлению «целое», а именно так, что «часть» непосредственно означает, что количественное «целое» состоит из нескольких количественных «частей». Оттого, что так называемая аксиома вполне определенно это констатирует, мы ни на шаг не подвинулись вперед. Эту тавтологию можно даже до известной степени доказать, рассуждая так: целое есть то, что состоит из нескольких частей; часть есть то, что, будучи взято несколько раз, составляет целое; следовательно, часть меньше целого, — причем пустота содержания еще резче подчеркивается пустотой повторения.
2. Если две величины порознь равны третьей, то они равны между собой. Как доказал уже Гегель, это положение представляет собой заключение, за правильность которого ручается логика[39], — которое, стало быть, доказано, хотя и вне области чистой математики. Прочие аксиомы о равенстве и неравенстве представляют собой только логическое развитие этого заключения.
На этих тощих положениях ни в математике, ни где бы то ни было в другой области далеко не уедешь. Чтобы подвинуться дальше, мы должны привлечь реальные отношения, отношения и пространственные формы, отвлеченные от действительных тел. Представления о линиях, поверхностях, углах, многоугольниках, кубах, шарах и т. д. — все они отвлечены от действительности, и нужна изрядная доза идеологической наивности, чтобы поверить математикам, будто первая линия получилась от движения точки в пространстве, первая поверхность — от движения линии, первое тело — от движения поверхности и т. д. Даже язык восстает против этого. Математическая фигура трех измерений называется телом, corpus solidum по-латыни, следовательно — даже осязаемым телом, и, таким образом, она носит название, взятое отнюдь не из свободного воображения ума, а из грубой действительности.
Но к чему все эти пространные рассуждения? После того как г-н Дюринг на страницах 42 и 43[40] вдохновенно воспел независимость чистой математики от эмпирического мира, ее априорность, ее оперирование продуктами свободного творчества и воображения ума, он на странице 63 заявляет:
«Легко упускают из виду, что эти математические элементы (число, величина, время, пространство и геометрическое движение) идеальны только по своей форме... Абсолютные величины, какого бы рода они ни были, представляют собой поэтому нечто совершенно эмпирическое»... Однако «математические схемы допускают такую характеристику, которая обособлена от опыта и тем не менее является достаточной»,
что более или менее применимо ко всякой абстракции, но вовсе не доказывает, что последняя абстрагирована не из действительности. В мировой схематике чистая математика возникла из чистого мышления; в натурфилософии она — нечто совершенно эмпирическое, взятое из внешнего мира и затем обособленное. Чему же мы должны верить?
