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