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

Победителем оказался швейцарский математик Симон Люилье. В том же 1876 г. Берлинская академия опубликовала его «Элементарное изложение высшего анализа». Несомненно, решение, принятое математическим отделением Академии, по существу было правильным. Ни в одной из других работ (за исключением работы, представленной Карно; см. гл. VII) даже не делалось попытки объяснить, каким образом в математическом анализе исходя из ложных посылок удается вывести так много правильных теорем. Люилье, несомненно, заслуживал награды, хотя основная идея его работы была далеко не оригинальна. По словам самого Люилье, его работа представляла «развитие идей… бегло намеченных Д'Аламбером и как бы изложенных в его статье «Дифференциал», опубликованной в «Энциклопедии», и в его сочинении «Разное». Во вводной главе своего сочинения Люилье излагает слегка усовершенствованный вариант теории пределов. Впервые в печатном тексте он ввел для обозначения предела символ lim. Производную dP/dx (ранее встречавшуюся как отношение k/h) Люилье обозначал lim

ΔP/Δx, но вклад самого Люилье в теорию пределов был крайне незначительным.

Хотя почти каждый математик XVIII в. предпринимал попытку обосновать математический анализ или по крайней мере высказывал свое мнение по поводу столь важной проблемы, а два-три математика были на верном пути, все усилия оказались тщетными. Математики XVIII в. либо умышленно обходили все сколько-нибудь важные и тонкие проблемы, либо просто не замечали их. Различие между очень большим числом и бесконечно большой величиной они ощущали с трудом. Математикам XVIII в. казалось очевидным, что теорема, которая выполняется при любом конечном n, должна выполняться и при бесконечном n.

Разностное отношение k/h [см. выражение (3)] они охотно заменяли производной, а сумму членов вида

(7) с трудом отличали от интеграла. Переход от конечного к бесконечному как в одну, так и в другую сторону совершался ими необыкновенно легко и просто. Суть математики XVIII в., пожалуй, наиболее точно выразил Вольтер, охарактеризовавший [математический] анализ как «искусство считать и точно измерять то, существование чего непостижимо для разума». Предпринимавшиеся на протяжении века попытки строгого обоснования анализа, в особенности попытки, предпринятые такими гигантами науки, как Эйлер и Лагранж, лишь окончательно запутали и завели в тупик как их современников, так и математиков последующих поколений. В целом подобные попытки оказались безнадежно ошибочными — от них можно было бы прийти в отчаяние и усомниться в том, что математикам вообще когда-нибудь удастся разрешить проблему обоснования анализа.

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

при которых ряд сходится, и теми значениями, при которых он расходится, не привлекало должного внимания. И хотя было известно, что некоторые ряды, например 1 + 2 + 3 + …, имеют бесконечную сумму, математики предпочитали пытаться придать какой-то смысл бесконечной сумме, чем усомниться в применимости суммирования. Было бы неверно утверждать, что математики XVIII в. не ощущали необходимости доказательства некоторых утверждений. Мы видели, что Эйлер пытался обосновать использование расходящихся рядов. Более того, Эйлер, Лагранж и многие другие математики пытались обосновать математический анализ. Но немногочисленные попытки достичь желаемой строгости (ценные тем, что они показали, как изменяются со временем критерии математической строгости) не увенчались успехом. Математический анализ, созданный трудом многих людей на протяжении почти столетия, по-прежнему оставался под сомнением. И математики, можно сказать, сознательно прибегли к житейской мудрости: если анализ нельзя излечить, необходимо хотя бы продлить ему жизнь. В своих рассуждениях мыслители XVIII в. нередко обращались к термину «метафизика». Под ним понимали совокупность истин, лежащих за пределами собственно математики. В случае необходимости эти истины могли быть использованы для обоснования того или иного математического утверждения, хотя природа метафизических истин оставалась неясной. Обращение к метафизике означало использование аргументов, которые не подкреплялись разумом. Так, Лейбниц утверждал, что метафизика используется в математике шире, чем можно себе представить. Единственным «обоснованием» равенства ¹/₂ = 1 − 1 + 1 − 1 + 1 − … и принципа непрерывности было утверждение Лейбница о том, что оба утверждения «обоснованы» метафизически. Предмет спора исчезал, коль скоро появлялось метафизическое «обоснование». Эйлер также обращался к метафизике и доказывал, что метафизические аргументы должны приниматься в анализе на веру. Всякий раз, когда математики XVII-XVIII вв. не находили подобающего аргумента в подтверждение того или иного утверждения, они говорили, что это утверждение верно по метафизическим причинам.