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