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

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

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

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

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

1/(1 + x) = (1 + x)⁻¹ = 1 − x + x² − х³ + x⁴ − …, (8)

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

В первой работе по математическому анализу (1669) Ньютон не без гордости ввел бесконечные ряды для упрощения основных операций — дифференцирования и интегрирования. Так, воспользовавшись для интегрирования (антидифференцирования) функции y = 1/(1 + x²) теоремой о разложении бинома, Ньютон получил ряд

y = 1 − x² + х⁴ − x⁶ + х⁸ − …,

который и проинтегрировал почленно. Ньютон обратил внимание на то, что если ту же функцию представить в виде y = 1/(x² + 1), то та же теорема о разложении бинома даст ряд

y = 1/x² − 1/х⁴ + 1/x⁶ − 1/х⁸ + ….

Ньютон заметил далее, что при достаточно малом x следует пользоваться первым разложением, а при достаточно большом x — вторым. Из этого видно, что Ньютон интуитивно сознавал важность такого свойства ряда, как сходимость, хотя и не имел о нем ясного представления.

Обоснование, данное Ньютоном производимым им операциям над бесконечными рядами, может служить великолепным образцом логики того времени. В статье 1669 г. Ньютон утверждал:

То, что обычный анализ [алгебра] выполняет с помощью уравнений с конечным числом членов (если это выполнимо), [новый анализ] всегда может выполнить с помощью уравнений с бесконечным числом членов [рядов]; поэтому я, не задумываясь, назвал новое исчисление анализом. Рассуждения в нем не менее надежны, чем в обычном анализе, не менее точны и уравнения, хотя мы, смертные, чей разум ограничен узкими пределами, не можем ни выразить, ни постичь все члены этих уравнений дабы найти из них точные значения тех величин, которые нам нужны.

Для Ньютона бесконечные ряды были частью алгебры — высшей алгебры, изучающей выражения не с конечным, а с бесконечным числом членов.