Одни трагедии порождают войны, голод, чуму, другие — в мире идей — вызваны ограниченностью человеческого разума. Эта книга — горестный рассказ о бедствиях, выпавших на долю математики — наиболее древнего и не имеющего себе равных творения людей, плода их неустанных и многообразных усилий, направленных на использование способности человека мыслить.
Можно также сказать, что эта книга на общедоступном уровне повествует о расцвете и закате величия математики. Позволительно спросить: уместно ли говорить об упадке математики в наше время, когда ее границы необычайно расширились, когда научная деятельность в области математики ведется во все возрастающих масштабах и достигла небывалого расцвета, когда ежегодно публикуются тысячи работ по математике, все большее внимание привлекают вычислительные машины и когда поиск количественных соотношений захватывает все новые области, особенно в биологических и социальных науках? В чем причина трагедии? Прежде чем ответить на эти вопросы, следует напомнить, какие достижения математики снискали ей высочайший престиж, всеобщее признание и славу.
С самого зарождения математической науки как самостоятельной отрасли знания (у колыбели которой стояли древние греки) и на протяжении более чем двух тысячелетий математики занимались поиском истины и добились на этом пути выдающихся успехов. Необозримое множество теорем о числах и фигурах, казалось, служило неисчерпаемым источником абсолютного знания, которое никогда и никем не может быть поколеблено.
За пределами самой математики математические понятия и выводы явились фундаментом замечательных научных теорий. И хотя новые факты устанавливались в результате сотрудничества математики и естествознания, опирающегося на данные, имеющие нематематический, скажем физический, характер, они казались столь же непреложными, как и принципы самой математики, потому что предсказания, которые делались на основе математических теорий в астрономии, механике, оптике и гидродинамике, необычайно точно совпадали с данными наблюдений и экспериментов. Математика давала ключ к глубокому постижению явлений природы, к пониманию, заменявшему тайну и хаос законом и порядком. Человек получил возможность с гордостью взирать на окружающий мир и заявлять, что ему удалось раскрыть многие тайны природы, по существу оказавшиеся серией математических законов. Убеждением в том, что истины открывают математики, проникнуто известное высказывание Лагранжа: «Ньютон был счастливейшим из смертных, ибо существует только одна Вселенная и Ньютон открыл ее законы».
Для получения своих удивительных, мощных результатов математика использовала особый метод — метод дедуктивных выводов из небольшого числа самоочевидных принципов, называемых аксиомами; этот метод знаком каждому школьнику — прежде всего из курса геометрии. Природа дедуктивного вывода такова, что она гарантирует истинность заключения, если только истинны исходные аксиомы. Очевидная, безотказная и безупречная логика дедуктивного вывода позволила математикам извлечь из аксиом многочисленные неоспоримые и неопровержимые заключения. Эту особенность математики многие отмечают и поныне. Всякий раз, когда нужно привести пример надежных и точных умозаключений, ссылаются на математику.
Успехи, достигнутые математикой с помощью дедуктивного метода, привлекли к ней внимание величайших мыслителей. Математика наглядно продемонстрировала возможности и силу человеческого разума. Почему бы не воспользоваться, спросили мыслители, столь хорошо зарекомендовавшим себя дедуктивным методом для постижения истин там, где прежде безраздельно властвовали авторитет, традиция и привычка, — в философии, теологии, этике, эстетике и в социальных науках? Человеческий разум, столь эффективный в математике и в математической физике, мог бы стать арбитром помыслов и действий также и в других областях, приобщив их к красоте истины и истинности красоты. В эпоху, получившую название эпохи Просвещения (или Века разума), методология математики и даже некоторые математические понятия и теоремы были применены к другим областям человеческой деятельности.
Обращение к прошлому — плодотворный источник познания настоящего. Созданные в начале XIX в. необычные геометрии и столь же необычные алгебры вынудили математиков исподволь — и крайне неохотно — осознать, что и сама математика, и математические законы в других науках не есть абсолютные истины. Например, математики с досадой и огорчением обнаружили, что несколько различных геометрий одинаково хорошо согласуются с наблюдательными данными о структуре пространства. Но эти геометрии противоречили одна другой — следовательно, все они не могли быть одновременно истинными. Отсюда напрашивался вывод, что природа построена не на чисто математической основе, а если такая первооснова и существует, то созданная человеком математика не обязательно соответствует ей. Ключ к реальности был утерян. Осознание этой потери было первым из бедствий, обрушившихся на математику.
В связи с появлением уже упоминавшихся новых геометрий и алгебр математикам пришлось пережить шок и другого рода. Математики настолько уверовали в бесспорность своих результатов, что в погоне за иллюзорными истинами стали поступаться строгостью рассуждений. Но когда математика перестала быть сводом незыблемых истин, это поколебало уверенность математиков в безукоризненности их теорий. Тогда им пришлось взяться за пересмотр своих достижений, и тут они, к своему ужасу, обнаружили, что логика в математике совсем не так уж тверда, как думали их предшественники.
По существу развитие математики имело алогичный характер. Это алогичное развитие включало в себя не только неверные доказательства, но и пропуски в доказательствах и случайные ошибки, которых можно было бы избежать, если бы математики действовали более осмотрительно. Такие досадные изъяны отнюдь не были редки. Но алогичность развития математики заключалась также в неадекватном толковании понятий, в несоблюдении всех необходимых правил логики, в неполноте и недостаточной строгости доказательств. Иными словами, чисто логические соображения подменялись интуитивными аргументами, заимствованными из физики, апелляциями к наглядности и ссылками на чертежи.
Но и когда все это было установлено, математика по-прежнему оставалась эффективным средством описания природы. Кроме того, математика сохранила привлекательность и сама по себе как область чистого знания, и в умах многих, особенно пифагорейцев, являлась частью реальности, представляющей самостоятельный интерес. Учитывая это, математики решили восполнить пробелы в логическом каркасе своей науки и перестроить заново те части ее, в которых обнаружились изъяны. Движение за математическую строгость приобрело широкий размах во второй половине XIX в.
К началу XX в. математики стали склоняться к мнению, что желанная цель наконец достигнута. И хотя им пришлось признать, что математика дает лишь приближенное описание природы и многие утратили веру в то, что природа полностью основана на математических принципах, математики по-прежнему продолжали возлагать большие надежды на проводимую ими реконструкцию логической структуры математики. Но не успели смолкнуть восторги по поводу якобы достигнутых успехов, как в реконструированной математике в свою очередь обнаружились противоречия. Обычно эти противоречия принято называть парадоксами — эвфемизм, позволяющий тем, кто его использует, обходить молчанием кардинальное обстоятельство: там, где есть противоречия, там нет логики.
Ведущие математики и философы начала XX в. сразу же попытались разрешить возникшие противоречия. В результате возникло четыре различных подхода к математике, которые были отчетливо сформулированы и получили значительное развитие; у каждого из этих подходов нашлось немало приверженцев. Все четыре направления математики стремились не только разрешить известные противоречия, но и гарантировать, что в будущем не появятся новые противоречия, т.е. старались доказать непротиворечивость математики. Интенсивная разработка оснований математики привела и к другим результатам. Приемлемость некоторых аксиом и принципов логики дедуктивного вывода также стала яблоком раздора: позиции школ по этим вопросам разошлись.
В конце 30-х годов XX в. математик мог бы принять один из нескольких вариантов оснований математики и заявить что проводимые им математические доказательства по крайней мере согласуются с догматами избранной им школы. Но тут последовал удар ужасающей силы: вышла в свет работа Курта Гёделя, в которой он среди прочих важных и значительных результатов доказал, что логические принципы, принятые различными школами в основаниях математики, не позволяют доказать ее непротиворечивость. Как показал Гёдель, непротиворечивость математики невозможно доказать, не затрагивая самих логических принципов, замкнутость которых весьма сомнительна. Теорема Гёделя вызвала смятение в рядах математиков. Последующее развитие событий привело к новым осложнениям. Оказалось, например, что даже аксиоматически-дедуктивный метод, столь высоко ценимый в прошлом как надежный путь к точному знанию, небезупречен. В результате этих открытий число различных подходов к математике приумножилось и математики разбились на еще большее число группировок.
В настоящий момент положение дел в математике можно обрисовать примерно так. Существует не одна, а много математик, и каждая из них по ряду причин не удовлетворяет математиков, принадлежащих к другим школам. Стало ясно, что представление о своде общепринятых, незыблемых истин — величественной математике начала XIX в., гордости человека — не более чем заблуждение. На смену уверенности и благодушию, царившим в прошлом, пришли неуверенность и сомнения в будущем математики. Разногласия по поводу оснований самой «незыблемой» из наук вызвали удивление и разочарование (чтобы не сказать больше). Нынешнее состояние математики — не более чем жалкая пародия на математику прошлого с ее глубоко укоренившейся и широко известной репутацией безупречного идеала истинности и логического совершенства.
Как думают некоторые математики, расхождения во мнениях относительно того, что следует считать настоящей математикой, когда-нибудь будут преодолены. Особое место среди тех, кто так считает, занимает группа ведущих французских математиков, пишущих под коллективным псевдонимом Никола Бурбаки:
С древнейших времен критические пересмотры оснований всей математики в целом или любого из ее разделов почти неизменно сменялись периодами неуверенности, когда возникали противоречия, которые приходилось решать… Но вот уже двадцать пять веков математики имеют обыкновение исправлять свои ошибки и видеть в этом обогащение, а не обеднение науки; это дает им право смотреть в будущее спокойно.([2], с. 30.)
Но гораздо больше математиков настроены пессимистично. Один из величайших математиков XX в. Герман Вейль сказал в 1944 г.:
Вопрос об основаниях математики и о том, что представляет собой в конечном счете математика, остается открытым. Мы не знаем какого-то направления, которое позволит в конце концов найти окончательный ответ на этот вопрос, и можно ли вообще ожидать, что подобный «окончательный» ответ будет когда-нибудь получен и признан всеми математиками. «Математизирование» может остаться одним из проявлений творческой деятельности человека, подобно музицированию или литературному творчеству, ярким и самобытным, но прогнозирование его исторических судеб не поддается рационализации и не может быть объективным.
Говоря словами Гете, «история науки — это сама наука».
Разногласия по поводу того, что такое настоящая математика, и существование многочисленных вариантов оснований математики не только серьезно сказались на самой математике, но и оказали самое непосредственное влияние на физику. Как мы увидим, далее, наиболее развитые физические теории ныне полностью «математизированы». (Разумеется, выводы таких теорий интерпретируются посредством так или иначе наблюдаемых «чувственных», подлинно физических объектов: сидя у радиоприемников, мы слышим реальные голоса, чему не мешает отсутствие представления о том, что такое радиоволны.) Поэтому ученых — даже тех, кто не работает непосредственно над решением фундаментальных проблем, — не может не занимать вопрос о судьбах математики, которую они могут применять с уверенностью, не рискуя затратить годы на изыскания, некорректные в силу сомнительности использования математического аппарата.
Утрата критериев абсолютности истины, все возрастающая сложность математики и естественных наук, неуверенность в выборе правильного подхода к математике привели к тому, что большинство математиков оставили вопросы оснований. С проклятием «Чума на оба ваши дома!» они обратились к тем областям математики, где методы доказательства казались им надежными. Они нашли также, что проблемы, придуманные человеком, более привлекательны и легче поддаются решению, чем проблемы, поставленные природой.
Кризис математики и порожденные им конфликты по поводу того, что такое настоящая математика, отрицательно сказались и на применении математической методологии ко многим областям культуры: к философии, социальным и политическим наукам, этике и эстетике. Надежда на то, что удастся найти объективные, непреходящие законы и эталонные образцы знания, развеялась. «Век разума» закончился.
Несмотря на неудовлетворительное состояние математики, многочисленные существенно различные подходы, разногласия по поводу приемлемости аксиом и опасности возникновения новых противоречий, могущих подорвать значительную часть математической науки, многие математики продолжают применять математику для описания физических явлений и даже расширяют сферу ее применимости на экономику, биологию и социологию. Безотказная эффективность математики подсказывает две темы для обсуждения. Во-первых, такая эффективность может рассматриваться как критерий правильности. Разумеется, подобный критерий имеет временный характерно, что сегодня считается правильным, в дальнейшем может оказаться неверным.
Вторая тема ставит нас перед загадкой: почему математика вообще эффективна, если вопрос о том, что такое настоящая математика, вызывает столько споров ([96]У самого Буля сумма x + y обозначала класс объектов, принадлежащих либо x, либо y, но не x и y одновременно; сегодня в этом случае говорят не о сумме, а о «симметричной разности» x и y и пишут xΔy.
*; [4]Трудно не процитировать здесь столь почитаемого Клайном Германа Вейля: «…Процесс познания начинается, так сказать, с середины и далее развивается не только по восходящей, но и по нисходящей линии, теряясь в неизвестности. Наша задача заключается в том, чтобы постараться в обоих направлениях пробиться сквозь туман неведомого, хотя, конечно, представление о том, что колоссальный слон науки, несущий на себе груз истины, стоит на каком-то абсолютном фундаменте, до которого человек может докопаться, является не более чем легендой» (из статьи «Феликс Клейн и его место в математической современности»; Felix Klein. Stellung in der mathematischen Gegenwart. Die Naturwissenschaften, Bd 18, 1930, S. 4-11; Gesammelte Abhandlungen, Bd, 3. — Berlin: Springer-Verlag, 1968, S. 292-299).
)? Не творим ли мы чудеса, пользуясь при этом несовершенными средствами? Пусть человек заблуждается, но разве может и природа также заблуждаться до такой степени, чтобы поддаться математическому диктату человека? Безусловно, нет. А как быть с успешными полетами на Луну, исследованиями Марса и Юпитера, ставшими возможными благодаря технике, существенно зависящей от математики: разве они не подтверждают математические теории космоса? Как же можно в таком случае говорить об искусственности и неединственности математики? Может ли тело продолжать жить, если разум и дух помутились? Может! И это относится и к человеку, и к математике. Итак, нам надлежит выяснить, почему, несмотря на шаткие основания и взаимоисключающие теории, математика оказалась столь непостижимо эффективной.