Страница 164 из 205
Прямое и кривое. В дифференциальном исчислении они в конечном счете приравниваются друг к другу. В дифференциальном треугольнике, гипотенузу которого образует дифференциал дуги (если пользоваться методом касательных), эту гипотенузу можно рассматривать
«как маленькую прямую линию, являющуюся одновременно элементом дуги и элементом касательной», — все равно, будем ли мы рассматривать кривую как состоящую из бесконечно многих прямых линий или же «как строгую кривую; ибо, поскольку искривление в каждой точке М бесконечно мало, — последнее отношение элемента кривой к элементу касательной есть, очевидно, отношение равенства» .
Отношение здесь непрерывно приближается к отношению равенства, но приближается, сообразно природе кривой, асимптотическим образом, так как соприкасание ограничивается точкой, не имеющей длины. Тем не менее в конце концов принимается, что равенство кривой и прямой достигнуто (Боссю, «Дифференциальное и интегральное исчисление»,
Париж, год VI, т. I, стр. 149)[458]. В случае полярных кривых[459] дифференциальная воображаемая абсцисса принимается даже за параллельную действительной абсциссе, и на основе этого допущения производят дальнейшие действия, хотя обе пересекаются в полюсе; отсюда даже умозаключают о подобии двух треугольников, из которых один имеет один из своих углов как раз в точке пересечения тех двух линий, на параллелизме которых основывается все подобие! (фиг. 17)[460].
Когда математика прямого и кривого оказывается, можно сказать, исчерпанной, — новое, почти безграничное поприще открывается такой математикой, которая рассматривает кривое как прямое (дифференциальный треугольник) и прямое как кривое (кривая первого порядка с бесконечно малой кривизной). О метафизика!
Тригонометрия. После того как синтетическая геометрия до конца исчерпала свойства треугольника, поскольку последний рассматривается сам по себе, и не в состоянии более сказать ничего нового, перед нами благодаря одному очень простому, вполне диалектическому приему открывается некоторый более широкий горизонт. Треугольник более не рассматривается в себе и сам по себе, а берется в связи с некоторой другой фигурой — кругом. Каждый прямоугольный треугольник можно рассматривать как принадлежность некоторого круга: если гипотенуза = r, то катеты образуют синус и косинус; если один катет = r, то другой катет = tg, а гипотенуза = sec. Благодаря этому стороны и углы получают совершенно иные определенные взаимоотношения, которых нельзя было открыть и использовать без этого отнесения треугольника к кругу, и развивается совершенно новая, далеко превосходящая старую теория треугольника, которая применима повсюду, ибо всякий треугольник можно разбить на два прямоугольных треугольника. Это развитие тригонометрии из синтетической геометрии является хорошим примером диалектики, рассматривающей вещи не в их изолированности, а в их взаимной связи.
Тождество и различие — диалектическое отношение уже в дифференциальном исчислении, где dx бесконечно мало, но тем не менее действенно и производит все.
Молекула и дифференциал. Видеман (кн. III, стр. 636)[461] прямо противопоставляет друг другу конечное расстояние и молекулярное.
К стр. 17—18 : Согласие между мышлением и бытием. — Бесконечное в математике
Над всем нашим теоретическим мышлением господствует с абсолютной силой тот факт, что наше субъективное мышление и объективный мир подчинены одним и тем же законам и что поэтому они и не могут противоречить друг другу в своих результатах, а должны согласоваться между собой. Факт этот является бессознательной и безусловной предпосылкой нашего теоретического мышления. Материализм XVIII века вследствие своего по существу метафизического характера исследовал эту предпосылку только со стороны ее содержания. Он ограничился доказательством того, что содержание всякого мышления и знания должно происходить из чувственного опыта, и восстановил положение: nihil est in intellectu, quod non fuerit in sensu[463]. Только новейшая идеалистическая, но вместе с тем и диалектическая философия — в особенности Гегель — исследовала эту предпосылку также и со стороны формы. Несмотря на бесчисленные произвольные построения и фантастические выдумки, которые здесь выступают перед нами; несмотря на идеалистическую, на голову поставленную форму ее результата — единства мышления и бытия, — нельзя отрицать того, что эта философия доказала на множестве примеров, взятых из самых разнообразных областей, аналогию между процессами мышления и процессами природы и истории — и обратно — и господство одинаковых законов для всех этих процессов. С другой стороны, современное естествознание расширило тезис об опытном происхождении всего содержания мышления в таком смысле, что совершенно опрокинуты были его старая метафизическая ограниченность и формулировка. Современное естествознание признаёт наследственность приобретенных свойств и этим расширяет субъект опыта, распространяя его с индивида на род: теперь уже не считается необходимым, чтобы каждый отдельный индивид лично испытал все на своем опыте; его индивидуальный опыт может быть до известной степени заменен результатами опыта ряда его предков. Если, например, у нас математические аксиомы представляются каждому восьмилетнему ребенку чем-то само собой разумеющимся, не нуждающимся ни в каком опытном доказательстве, то это является лишь результатом «накопленной наследственности». Бушмену же или австралийскому негру вряд ли можно втолковать их посредством доказательства.
В помещенном выше сочинении [Т. е. в «Анти-Дюринге» (см. настоящий том, стр. 145). Ред.] диалектика рассматривается как наука о наиболее общих законах всякого движения. Это означает, что ее законы должны иметь силу как для движения в природе и человеческой истории, так и для движения мышления. Подобный закон может быть познан в двух из этих трех областей и даже во всех трех без того, чтобы рутинеру-метафизику стало ясно, что он имеет дело с одним и тем же законом.
Возьмем пример. Из всех теоретических успехов знания вряд ли какой-нибудь считается столь высоким триумфом человеческого духа, как изобретение исчисления бесконечно малых во второй половине XVII века. Если уж где-нибудь мы имеем перед собой чистое и исключительное деяние человеческого духа, то именно здесь. Тайна, окружающая еще и в наше время те величины, которые применяются в исчислении бесконечно малых, — дифференциалы и бесконечно малые разных порядков, — является лучшим доказательством того, что все еще распространено представление, будто здесь мы имеем дело с чистыми «продуктами свободного творчества и воображения» [См. настоящий том, стр. 36. Ред.]человеческого духа, которым ничто не соответствует в объективном мире. И тем не менее справедливо как раз обратное. Для всех этих воображаемых величин природа дает нам прообразы.
Наша геометрия исходит из пространственных отношений, а наша арифметика и алгебра — из числовых величин, соответствующих нашим земным отношениям, т. е. соответствующих тем телесным величинам, которые механика называет массами, как они встречаются на Земле и приводятся в движение людьми. По сравнению с этими массами масса Земли является бесконечно большой и трактуется земной механикой как бесконечно большая величина. Радиус Земли = оо, таков принцип всей механики при рассмотрении закона падения. Однако не только Земля, но и вся солнечная система и все встречающиеся в ней расстояния оказываются, со своей стороны, опять-таки бесконечно малыми, как только мы переходим к тем расстояниям, которые имеют место в наблюдаемой нами с помощью телескопа звездной системе и которые приходится определять световыми годами. Таким образом, мы уже имеем здесь перед собой бесконечные величины не только первого, но и второго порядка, и можем предоставить фантазии наших читателей, — если им это нравится, — построить себе в бесконечном пространстве еще и дальнейшие бесконечные величины более высоких порядков.
458
Ch. Bossut. «Traites de Calcul differentiel et de Calcul integral». T. I, Paris, an VI [1798], p. 149 (Ш. Боссю. «Трактаты о дифференциальном исчислении и интегральном исчислении». Т. I, Париж, год VI [1798], стр. 149).
459
Так Боссю называет кривые, рассматриваемые в системе полярных координат.
460
Энгельс имеет в виду фигуру 17 и объяснения к ней на стр. 148—151 книги Боссю. Фигура эта имеет следующий вид: ВМК — кривая («полярная кривая»). МТ — касательная к ней. Р — полюс, или начало полярных координат. PZ — полярная ось. РМ — ордината точки М (Энгельс называет ее «действительной абсциссой», современное обозначение — радиус-вектор). Pm— ордината бесконечно близкой к М точки т (Энгельс называет этот радиус-вектор «дифференциальной воображаемой абсциссой»). МН — перпендикуляр к касательной МТ. ТРН — перпендикуляр к ординате РМ. Mr — дуга, описываемая радиусом РМ. Так как MPm — бесконечно малый угол, то РМ и Pm считаются параллельными. Поэтому, треугольники Mrm и ТРМ, а также треугольники Mrm и МРН — рассматриваются как подобные.
461
См. примечание 338.
462
Эта заметка принадлежит к числу тех трех более крупных заметок («Noten»), которые Энгельс включил во вторую связку материалов «Диалектики природы» (см. примечание 447). Она представляет собой набросок «Примечания» к стр. 17—18 первого издания «Анти-Дюринга». Заголовок «О прообразах математического бесконечного в действительном мире» дан Энгельсом в оглавлении второй связки материалов «Диалектики природы». Заголовок же «К стр. 17—18: Согласие между мышлением и бытием. — Бесконечное в математике» фигурирует в начале самой этой заметки.
463
Nihil est in intellectu, quod поп fuerit in sensu (нет ничего в уме, чего бы не было раньше в ощущениях) — основное положение сенсуализма. Содержание этой формулы восходит к Аристотелю (см. его сочинения «Вторая аналитика», кн. I, гл. 18, и «О душе», кн. III, гл. 8).