Математика. Утрата определенности.
Шрифт:
Помимо физического смысла в развитии новой математики известную роль играли и чутье — здоровая интуиция разумно мыслящего человека. Ведь основная идея и суть метода всегда интуитивно постигаются задолго до того, как они находят рациональное обоснование. Великих математиков, сколь бы рискованными ни были их рассуждения, всегда отличала тонкая интуиция, позволяющая избегать катастрофических ошибок. Интуиция гения более надежна, чем дедуктивное доказательство посредственности.
Постигнув суть физической проблемы в той или иной ее математической постановке, математики XVIII в. не могли устоять перед соблазном формул. По-видимому, формулы обладали в их глазах такой притягательной силой, что процесс вывода одной формулы из другой с помощью какой-нибудь формальной процедуры, например путем дифференцирования, доставлял
Напрашивается еще один вопрос: почему математики были так уверены в своих результатах, хотя они прекрасно понимали (особенно в XVIII в.), что основные понятия математического анализа сформулированы недостаточно ясно, а доказательства неадекватны? Отчасти такая уверенность объясняется тем, что многие математические результаты были подкреплены опытом и наблюдением. Мы уже рассказывали (гл. II) о замечательных предсказаниях в астрономии, сделанных на основе математических расчетов. Но математики XVII-XVIII вв. верили в правильность своих результатов и еще по одной причине: они были убеждены в том, что мир сотворен богом на основе математических принципов, а они призваны постепенно раскрывать планы творца (гл. II). И хотя их открытия не носили общего характера, математики считали эти открытия составными частями единой основополагающей истины. Вера в то, что они открывают детали божественного замысла и в конечном счете достигнут когда-нибудь «земли обетованной» и вечных истин, поддерживала дух математиков XVII-XVIII вв., вселяла в них бодрость, а плодотворные научные результаты были для них манной небесной, питавшей разум и облегчавшей их тяготы.
Математики обнаружили лишь часть тех сокровищ, поиском которых занимались, и, судя по многим признакам, еще немало интересных открытий ожидало их впереди. Так стоило ли придираться к тому, что математическим законам, так хорошо согласующимся с природой, недостает строгого логического доказательства? Слабое или несуществующее обоснование подменялось религиозным убеждением, подкрепляемым научными фактами. Математикам XVII-XVIII вв. так не терпелось постичь божественную истину, что они продолжали возводить здание, не подведя под него прочного фундамента. Успех заглушал у них муки сомнений. Более того, опьянение от успеха оказалось столь сильным, что на протяжении почти двух веков теория и строгость были забыты. Возникавшие трудности они пытались преодолевать, обращаясь к философским или мистическим доктринам, и трудности, казалось, исчезали. С точки зрения логической обоснованности математика XVII, XVIII и начала XIX вв., несомненно, выглядела весьма примитивной, однако ее методы оказались необычайно плодотворными. Математики конца XIX в. и XX в., стремясь приуменьшить триумф своих предшественников, иногда были не вполне объективны, акцентируя внимание на их ошибках и промахах.
Математику XVII-XVIII вв. можно сравнить с мощной торговой фирмой, которая совершает многочисленные деловые сделки и приносит внушительную прибыль, но из-за неправильной постановки дела стоит на грани банкротства. Разумеется, ни покупатели (ученые, потребляющие «математические товары»), ни кредиторы (общество, которое без колебаний вкладывает средства в развитие математики) не знали об истинном финансовом положении «фирмы».
Итак, ситуация сложилась весьма парадоксальная. Никогда еще логика быстро расширяющей свои границы математики не находилась в столь плачевном состоянии. Но успехи математики в описании и предсказании явлений природы были настолько внушительными, что все мыслители XVIII в. с еще большим убеждением, чем древние греки, выдвигали тезис о существовании основанной на математических принципах системы мира и превозносили математику как великолепный и возвышенный продукт человеческого разума. Перефразируя слова «Гимна» Джозефа Эддисона, обращенные к небесным телам, можно сказать: «Их усладил глас, доступный слуху разума».
Сейчас все это славословие в адрес математических рассуждений кажется невероятным. То, чем в действительности оперировали тогда математики, правильнее было бы назвать
В то время как большинство математиков без особых колебаний устремились за новыми результатами, мало заботясь о доказательствах, иные выдающиеся математики, которые составляли явное меньшинство, были серьезно обеспокоены плачевным состоянием математики. Отчаянность ситуации, сложившейся в математическом анализе, замечательный норвежский математик Нильс Хенрик Абель (1802-1829) охарактеризовал в письме (1826) к профессору Кристоферу Ханстену. Абель жаловался на «необычайную неразбериху, несомненно царящую в математическом анализе»:
В нем не чувствуется плана, полностью отсутствует всякая система. Странно, что столько людей занимаются математическим анализом. Хуже всего, что в нем ничего не рассматривалось строго. В высших разделах анализа имеется лишь, несколько теорем, доказанных с более или менее приемлемой строгостью. Повсюду встречаются жалкие заключения от частного к общему. Странно, что такой способ доказательства не привел к гораздо большему числу парадоксов.
В частности, по поводу расходящихся рядов Абель писал в январе 1826 г. своему бывшему учителю Берндту Хольмбе:
Расходящиеся ряды — поистине изобретение дьявола, и основывать на них какое бы то ни было доказательство — стыд и позор. Используя их, можно прийти к любому заключению, именно потому эти ряды и породили так много логических ошибок и парадоксов… Я так болезненно реагирую на все это, потому что, за исключением геометрической прогрессии, нет ни одного бесконечного ряда, сумма которого была бы строго определена. Иначе говоря, то, что имеет наибольшее значение в математике, обосновано хуже всего. Удивительно, что многие из результатов, несмотря на все сказанное, верны. Я пытаюсь понять, в чем здесь причина. Это чрезвычайно интересный вопрос.
Как не все люди склонны топить свои печали в алкоголе, так и далеко не все математики старались заглушить свое беспокойство по поводу необоснованности математических понятий, превознося успехи математики в описании и предсказании физических явлений. Но утешение, которое эти более отважные люди искали в убеждении, что они открывают детали замысла самого творца, было сведено на нет, когда в конце XVIII в. естествоиспытатели отказались от идеи о божественном плане творения (гл. IV). Утратив столь мощную духовную поддержку, математики сочли своим долгом критически пересмотреть полученные ранее результаты — и обнаружили нечетко сформулированные понятия, отсутствие доказательств в одних случаях и неадекватность существующих доказательств в других, противоречия и полную неразбериху относительно того, что правильно и что неправильно в полученных ранее результатах. В конце XVIII в. математики осознали, что созданная ими наука отнюдь не была тем образцом строгости, каким ее считали. Вместо дедуктивных рассуждений в ней широко использовалась интуиция, геометрическая наглядность, физические соображения, принципы, взятые «с потолка» (например, принцип перманентности форм), а в качестве аргумента для обоснования принимаемого обращались к метафизике.
Идеал логической структуры, несомненно, был выяснен и провозглашен древними греками. Немногих математиков, задавшихся целью достичь его в арифметике, алгебре и анализе, поддерживала вера, что по крайней мере в одном весьма важном случае — в евклидовой геометрии — столь высокий идеал был достигнут. А если кому-то удалось однажды взойти на Олимп, считали они, то не исключено, что и другие сумеют покорить вершину. Эти математики и не предполагали, что подведение строгого обоснования под всю существующую математику окажется задачей несравненно более трудной и тонкой, чем можно было представить в середине XIX в. Не могли они предвидеть и новых трудностей, которые возникнут на их пути.