Математика. Утрата определенности.

До конца жизни (он умер в 1716 г.) Лейбниц продолжал объяснять, что такое его бесконечно малые и бесконечно большие величины. Однако все эти объяснения были не более убедительны, чем приведенные выше. Созданное Лейбницем дифференциальное и интегральное исчисление не имело ни четко сформулированных понятий, ни обоснований.

У нас может вызвать удивление, что Ньютон и Лейбниц могли довольствоваться столь грубыми рассуждениями. Еще до того, как они приступили к созданию дифференциального и интегрального исчисления, другие великие математики достигли выдающихся успехов, о которых и Ньютон, и Лейбниц, изучавшие труды своих предшественников, безусловно, хорошо знали. Знаменитое высказывание Ньютона «Если я видел дальше других, то лишь потому, что стоял на плечах гигантов» не просто проявление скромности, а констатация факта. Что же касается Лейбница, то он был одним из величайших мыслителей. Мы уже упоминали (гл. III) о том, сколь значительный вклад он внес в развитие различных областей человеческого знания. По широте и силе интеллекта Лейбница можно сравнить разве что с Аристотелем. Разумеется, создание дифференциального и интегрального исчисления потребовало разработки принципиально новых, очень тонких идей, а даже лучшие из умов, способные к величайшим творческим свершениям, не всегда до конца постигают то, что ими же создано.

Ни Ньютон, ни Лейбниц не могли полностью объяснить вводимые ими понятия или обосновать новые операции. Они полагались на плодотворность своих методов, совпадение получаемых ими независимо друг от друга результатов, и продолжали упорно и энергично двигаться вперед, не особенно задумываясь о строгости. Лейбниц, заботившийся о строгости меньше, чем Ньютон, хотя и чаще отвечавший на возражения критиков, считал, что лучшим обоснованием используемых им методов служит их эффективность. Он неоднократно подчеркивал «рецептурную», или алгоритмическую, ценность своих методов. Лейбниц почему-то был убежден, что, сколь бы неясным ни выглядел смысл понятий, результаты рассуждений будут разумны и правильны, если верно сформулировать и надлежащим образом применять правила действий. Подобно Декарту, Лейбниц был человеком проницательным, мыслившим широко. Он предвидел отдаленные последствия новых идей и, не колеблясь, провозгласил рождение новой науки.

Обоснование математического анализа по-прежнему оставалось неясным. Сторонники Ньютона толковали о простых и предельных отношениях; последователи Лейбница предпочитали пользоваться инфинитезимальными, или бесконечно малыми, величинами. Существование столь несхожих между собой подходов осложняло и без того нелегкую работу по обоснованию математического анализа. Кроме того, некоторые английские математики — возможно, в силу традиционной привязанности к греческой геометрии — предъявляли более жесткие требования к строгости доказательств и поэтому с недоверием относились к подходам как Ньютона, так и Лейбница. Другие английские математики, вместо того чтобы заниматься математикой, предпочитали изучать труды Ньютона и поэтому не продвинулись ни на шаг на пути к обоснованию дифференциального и интегрального исчисления. Таким образом, к концу XVII в. математический анализ, так же как арифметика и алгебра, пребывал в состоянии полной неразберихи.

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

Представив функцию 1/(1 + x) в виде (1 + x)⁻¹ и применив к последней теорему о разложении бинома, получим

1/(1 + x

) = (1 + x)⁻¹ = 1 − x + x

² − х³ + x⁴

− …, (8)

где многоточие означает, что число членов, выписываемых по такому же закону, как и несколько первых, можно увеличивать неограниченно. Вводя в математический анализ бесконечные ряды, математики намеревались заменить ими функции в таких операциях, как дифференцирование (нахождение производных) и интегрирование (антидифференцирование), поскольку производить операции с более простыми членами ряда гораздо легче, чем с исходными функциями. Кроме того, ряды позволяли по заданному значению независимой переменной вычислять значения таких функций, как, скажем, sin x. Во всех этих случаях важно знать, что ряд равносилен исходной функции. Но функции при заданном x принимают вполне определенные значения; поэтому прежде всего возникает вопрос: какое значение принимает при заданном x выбранный нами ряд? Иначе говоря, что мы понимаем под суммой ряда и как ее вычислить? Второй, не менее важный вопрос можно было бы сформулировать так: представляет ли ряд функцию при всех значениях x или по крайней мере при всех тех значениях x, при которых функция имеет смысл.