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

Так Лейбниц отстаивал законность математических понятий, используемых в созданном им варианте анализа. Поскольку приводимые Лейбницем доводы не удовлетворяли его критиков, он сформулировал философский принцип, известный под названием принципа непрерывности и практически не отличающийся от того, которым пользовался Кеплер. Этот принцип Лейбниц сформулировал с самого начала своей работы по созданию анализа, изложив его в письме Герману Конрингу от 19 марта 1678 г.: «Если переменная на всех промежуточных этапах обладает некоторым свойством, то и ее предел будет обладать тем же свойством».

В письме к Пьеру Бейлю, написанном в 1687 г., Лейбниц сформулировал свой принцип более полно: «В любом переходе, завершающемся неким пределом, допустимо использовать общее рассуждение, которое может включить этот предел». Свой принцип Лейбниц применил к вычислению производной dy/dx для параболы y = x². Получив dy/dx = 2x + dx, Лейбниц заметил: «Согласно нашему постулату, допустимо включать в общее рассуждение и тот случай (рис. 6.5), когда ордината

x₂y₂ все более приближается к фиксированной ординате x₁y₁, пока наконец не совпадет с ней. Ясно, что тогда dx

становится равным нулю и должен быть отброшен…» Лейбниц умолчал о том, какие значения следует придавать dx и dy, входящим в левую часть равенства dy/dx = 2x + dx, когда dx обращается в нуль.

Рис. 6.5. Переход к пределу х₂→x₁ Лейбницу.

Абсолютно равные величины, говорил Лейбниц, имеют, разумеется, разность абсолютно ничтожную.

Тем не менее можно вообразить переход или одно из обращений в нуль, при котором точное равенство или состояние покоя еще не наступило, но достигнуто такое состояние, в котором разность меньше любой заданной величины. В таком состоянии некоторая разность — какая-то скорость, какой-то угол — еще остается, но в каждом случае она бесконечно мала…

Можно ли строго или метафизически обосновать такое состояние мгновенного перехода от неравенства или равенства и сколь законны соображения, использующие бесконечно большие протяженности, продолжающие неограниченно возрастать, или бесконечно малые протяженности, — вопросы, которые мне, по-видимому, придется оставить открытыми…

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

При таких допущениях все правила нашего алгоритма, изложенные в Acta eruditorum за октябрь 1684 г., могут быть доказаны без особого труда.

Далее следовало изложение правил, ничего, впрочем, не добавляющее к их обоснованию.

Сформулированный Лейбницем принцип непрерывности заведомо не был (и ныне не является) математической аксиомой. Тем не менее Лейбниц всячески подчеркивал важность этого принципа и неоднократно использовал его в своих рассуждениях. Так, в письме к Валлису (1698) Лейбниц, отстаивая использование характеристического треугольника (рис. 6.4) как формы, не имеющей размеров и потому остающейся неизменной, когда длины всех сторон треугольника обращаются в нуль, с вызовом спрашивал: «Кто не приемлет форму, лишенную размеров?» В письме к Гвидо Гранди (1713) Лейбниц утверждал, что бесконечно малая — это не простой и абсолютный нуль, а нуль относительный, т.е. исчезающая величина, которая, однако, сохраняет свойство той величины, которая, собственно, исчезает. Но в других случаях Лейбниц признавал, что не верит в истинно бесконечно большие или истинно бесконечно малые величины.