Вот почему математики столь упрямо следуют логике, крайне беспокоясь при этом о вещах, до которых большинству людей просто нет дела. А важно ли в самом деле, можно или нельзя разрешить уравнение пятой степени в радикалах?
Приговор истории по этому вопросу не допускает толкований. Это — важно. Не так уж, возможно, важно для повседневной жизни, но, без всякого сомнения, важно для человечества в целом — не потому, что нечто важное основано на нашей способности решить уравнение пятой степени, а потому, что понимание причин, по которым это невозможно, открывает тайную дверь в новый математический мир. Если бы Галуа и его предшественники не были одержимы задачей найти условия, при которых уравнение можно решить в радикалах, открытие человечеством теории групп сильно задержалось бы, а возможно, его никогда бы и не произошло.
Вы не обязательно встречаетесь с группами у себя на кухне или во время поездки на работу, и тем не менее без них современная наука оказалась бы серьезно урезанной, а наша жизнь — устроенной в сильной степени по-другому. Не столько в отношении таких штук, как широкофюзеляжные реактивные лайнеры, или GPS-навигаторы, или даже мобильные телефоны — хотя и их это касается, — сколько в отношении нашего понимания природы. Никто не смог бы предсказать, что занудный вопрос об уравнениях прояснит глубокую структуру физического мира, однако именно так и случилось.
История посылает нам столь же простой, сколь и ясный сигнал. Исследование глубоких математических вопросов не следует отвергать или умалять только на том основании, что эти вопросы не обещают прямых практических применений. Ценность хорошей математики выше, чем у золота, и по большей части неважно, откуда она взялась. Что важно, так это куда она нас ведет.
Потрясающая вещь состоит в том, что математика высшего уровня обычно приводит к чему-то неожиданному, причем значительная ее часть оказывается актуальной для науки и технологии, пусть даже исходно изобретение совершалось для каких-то совершенно иных целей. Эллипс, который греки изучали как коническое сечение, оказался той путеводной нитью, которая привела стопами Кеплера, основывавшегося на наблюдениях Тихо Браге за движением Марса, к ньютоновской теории гравитации. Теория матриц, за бесполезность которой извинялся ее изобретатель Кэли, стала неотъемлемым инструментом в статистике, экономике и едва ли не в каждом отделе науки. Октонионы могут сыграть роль вдохновителей Теории Всего. Разумеется, теория суперструн может оказаться всего лишь симпатичным фрагментом математики, не имеющим связи с физикой. Если и так, то существующие применения симметрии в квантовой теории все равно демонстрируют, что теория групп позволяет нам глубоко проникнуть в природу вещей, несмотря на то что создавалась она для ответа на некий вопрос в рамках чистой математики.
Почему математика столь полезна для целей, ни в коей мере не предусмотренных ее изобретателями?
Греческий философ Платон говорил, что «Бог во всем геометр». Ему вторил Галилей: «Великая книга Природы написана на языке математики». Иоганн Кеплер задался целью обнаружить математические закономерности в орбитах планет. Часть из его изысканий привела Ньютона к его закону гравитации, другая же часть оказалась мистической чепухой.
Многие современные физики отмечали потрясающую мощь математического мышления. Вигнер говорил о «непостижимой эффективности математики» в деле познания природы; эта фраза фигурирует в заглавии статьи, написанной им в 1960 году. Он пишет, что в статье рассматриваются два основных вопроса:
Первое — это то обстоятельство, что колоссальная эффективность математики в естественных науках граничит до некоторой степени с мистикой и что этому нет никакого рационального объяснения. Второе — это то, что именно эта сверхъестественная эффективность математических понятий поднимает вопрос о единственности физических теорий.
И еще:
Математический язык удивительно приспособлен для формулировки физических законов — это чудесный дар, который мы не понимаем и которого не заслуживаем. Нам остается лишь благодарить за него судьбу и надеяться, что в своих будущих исследованиях мы сможем по-прежнему им пользоваться. Мы думаем, что сфера его применимости, хорошо это или плохо, будет непрерывно возрастать, принося нам не только радость, но и новые головоломные проблемы.
Поль Дирак полагал, что законы природы должны быть не только математическими, но еще и красивыми. Красота и истина были для него двумя сторонами одной монеты, и математическая красота в сильной степени подсказывала физическую истину. Он даже зашел столь далеко, что говорил, будто предпочтет прекрасную теорию правильной и что красота представляет большую ценность, нежели простота: «Исследователь в своих усилиях выразить фундаментальные законы природы в математическом виде должен главным образом стремиться к математической красоте. Он также должен принимать во внимание и простоту, но в подчинении у красоты… Там же, где они вступают в конфликт, следует отдавать предпочтение красоте».
Интересно, что дираковская концепция математической красоты значительно отличалась от той, которую разделяют большинство математиков. Она не включала в себя логическую строгость, и многие шаги в его работах содержали логические скачки — больше всего известен пример его «дельта-функции», обладающей внутренне противоречивыми свойствами. Тем не менее он весьма эффективно использовал эту «функцию», и в конце концов математики дали строгую формулировку его идеи, после чего она и в самом деле стала частью прекрасного.
Тем не менее, как было отмечено в книге Хельге Краф «Дирак. Биография ученого», «Все его [Дирака] великие открытия были сделаны до [середины 1930-х годов], а после 1935 года ему, в общем, не удавалось производить физические результаты, имеющие непреходящую ценность[122]. Уместно замечание, что принцип математической красоты управлял его мышлением только в течение более позднего периода».
«Уместно» — возможно, но не верно. Дирак мог явно выразить этот принцип в позднейший период, но он пользовался им и ранее. Все его лучшие работы математически изящны, причем он опирался на изящество как на проверку того, движется ли он в правильном направлении. Отсюда следует не то, что математическая красота тождественна физической истине, а то, что она необходима для достижения физической истины. Одной ее недостаточно. Много прекрасных теорий при столкновении с экспериментом оказались полной бессмыслицей. Как заметил Томас Хаксли, «наука — это вышколенный и организованный здравый смысл, где погибло немало прекрасных теорий, убиенных уродливыми фактами».
Тем не менее имеется много свидетельств, что в основе своей природа прекрасна. Математик Герман Вейль, соединивший в своих исследованиях теорию групп и физику, говорил: «В своих работах я всегда пытался соединить истину с красотой, и когда мне приходилось выбрать между ними, я обычно останавливал выбор на красоте». Основатель квантовой механики Вернер Гайзенберг писал Эйнштейну: «Вы можете возразить, что, говоря о простоте и красоте, я ввожу эстетические критерии истины, и я честно признаюсь, что меня в сильной степени привлекают простота и красота математических схем, которые нам предлагает природа. Вам должно быть это знакомо — почти пугающая простота и целостность связи, которую природа неожиданно перед нами раскрывает».
Эйнштейн же полагал, что неизвестно столь много фундаментальных вещей — природа времени, источники упорядоченного поведения материи, форма вселенной, — что нам следует напоминать самим себе, сколь далеки мы от какого бы то ни было «окончательного» понимания. По мере своей полезности математическое изящество дает нам всего лишь локальные и временные истины. Тем не менее это — наилучший способ двигаться вперед.
На протяжении всей истории математика обогащалась из двух различных источников. Один — это естественный мир, а другой — абстрактный мир логической мысли. Именно комбинация этих двух источников придает математике мощь, позволяющую ей сообщать нам об устройстве вселенной. Дирак прекрасно понимал эту связь: «Математик играет в игру, где он сам изобрел правила, тогда как физик играет в игру, правила которой задаются природой, но со временем становится все более и более очевидно, что правила, которые оказываются интересными для математика, — это те же правила, что установлены природой». Чистая и прикладная математика дополняют друг друга. Они представляют собой не два противоположных полюса, а два конца единого, связного спектра мыслей.
Наш рассказ о симметрии показывает, как даже отрицательный ответ на хороший вопрос («возможно ли решить уравнение пятой степени?») может привести к глубокой и фундаментальной математике. Здесь имеет значение, почему ответ оказался отрицательным. Методы, которые это выясняют, можно использовать для решения множества других проблем — и среди них глубоких вопросов физики. Но наш рассказ также показывает, что здоровье математики зависит и от того, вдыхает ли она новую жизнь из физического мира.
