кто мог бы вообразить, что открытие заполняющих пространство кривых – кривых, проходящих через каждую точку заполненного квадрата, – сможет помочь программе Meals on Wheels планировать маршруты доставки? Точно не математики, которые изучали эти вопросы в 1890-е годы и которых интересовало, как можно определить такие заумные концепции, как «непрерывность» и «измерение». Кстати, поначалу им пришлось объяснять, почему дорогие их сердцу математические представления могут оказаться ошибочными. Многие коллеги тогда осуждали все это мероприятие как ошибочное и вредное. Со временем все поняли, что бесполезно жить в блаженном неведении и считать, что все будет замечательно работать, если на самом деле не будет.
Не только математика прошлого используется таким образом. Методы трансплантации почки опираются на многочисленные современные расширения первоначального озарения Эйлера, к которым относятся, в частности, алгоритмы комбинаторной оптимизации, позволяющие делать наилучший выбор из громадного спектра возможностей. Среди множества математических методов, используемых в компьютерной анимации, немало таких, которым от роду насчитывается с десяток лет, а то и меньше. В качестве примера можно привести «пространство форм» [1] – пространство бесконечной размерности, состоящее из кривых, которые считаются одной и той же кривой, если различаются только координатами. С их помощью анимационные последовательности становятся более гладкими и естественными на вид. Вездесущая гомология – еще одно недавнее изобретение – появилась в результате того, что специалисты по чистой математике хотели вычислять сложные топологические инварианты, которые подсчитывают число многомерных отверстий в геометрических фигурах. Помимо прочего, их метод позволил сетям датчиков сигнализации обеспечивать полное покрытие территории при защите зданий или военных баз от вторжения. Абстрактные концепции из алгебраической геометрии – «суперсингулярные изогенные графы» – могут сохранять безопасность интернет-коммуникаций, даже когда для взлома начнут применяться квантовые компьютеры. Эти устройства настолько новы, что существуют пока только в рудиментарном виде, но они разнесут современные криптосистемы в пух и прах, если удастся полностью реализовать их потенциал.
Математика не просто время от времени преподносит нам подобные сюрпризы. Это уже стало для нее обыкновением. Мало того, с точки зрения многих математиков, эти сюрпризы и есть самые интересные варианты применения их дисциплины – и главное основание для того, чтобы считать математику именно дисциплиной, а не разрозненным набором фокусов, индивидуальным для каждого типа задач.
По словам Вигнера, «чрезвычайная эффективность математики в естественных науках есть нечто загадочное, не поддающееся рациональному объяснению». Конечно, это правда, что математика выросла в первую очередь из физических задач, но Вигнера удивляла вовсе не эффективность дисциплины в тех областях, для которых она была разработана. Его ставила в тупик эффективность математики в областях, никак на первый взгляд с нею не связанных. Дифференциальное и интегральное исчисление выросло из исследований Исаака Ньютона, посвященных движению планет, поэтому не особенно удивительно, что оно помогает понять, как движутся планеты. Удивительно, однако, то, что дифференциальное исчисление позволяет осуществлять статистическую оценку народонаселения, как в маленьком примере Вигнера, объяснять изменения количества рыбы, выловленной в Адриатическом море во время Первой мировой войны {4}, управлять ценообразованием опционов в финансовом секторе, помогать инженерам конструировать пассажирские самолеты или быть жизненно важным для телекоммуникаций. И все потому, что дифференциальное исчисление изначально не предназначалось ни для одной из перечисленных целей.
Вигнер был прав. То, как математика раз за разом появляется без приглашения в физике, а также в большинстве других областей человеческой деятельности – настоящая загадка. В соответствии с одним из предположений, Вселенная «состоит» из математики и люди всего лишь понемногу открывают для себя этот основной ее элемент. Я не собираюсь с этим спорить, но, если такое объяснение верно, оно заменяет одну загадку на другую, еще более глубокую. Почему наша Вселенная состоит из математики?
* * *
На более прагматичном уровне можно утверждать, что математика обладает рядом свойств, которые помогают ей стать непостижимо эффективной по Вигнеру. Я согласен, что одно из них – ее многочисленные связи с естественными науками, которые приносят в мир человека преобразующие технологии. Многие великие математические инновации в самом деле родились в процессе естественно-научных исследований. Другие уходят корнями в потребности человека. Появление цифр обусловила потребность ведения хозяйственного учета (сколько у меня овец?). Геометрия означает «измерение земли» и изначально была тесно связана с налогообложением земель, а в Древнем Египте еще и со строительством пирамид. Тригонометрия возникла из астрономии, навигации и картографии.
Однако этого мало для адекватного объяснения, потому как другие великие математические инновации связаны не с естественно-научными исследованиями или потребностями людей. Простые числа, комплексные числа, абстрактная алгебра, топология – главной мотивацией для открытия/изобретения подобных инструментов было человеческое любопытство и ощущение закономерности. Это вторая причина, по которой математика так эффективна: математики используют ее для поиска закономерностей и выявления внутренней структуры. Они ищут красоту, красоту не формы, а логики. Ньютону, пытавшемуся понять движение планет, решение пришло, когда он стал думать как математик и искать более глубокие закономерности в груде необработанных астрономических данных. Тогда-то он и предложил свой закон всемирного тяготения {5}. Многие величайшие математические идеи вообще не связаны с реальным миром. Пьер де Ферма, юрист и математик-любитель XVII века, сделал ряд фундаментальных открытий в теории чисел: открыл глубокие закономерности в поведении обычных целых чисел. Потребовалось три столетия, чтобы его работы в этой области нашли практическое применение, но сегодня без них были бы невозможны коммерческие транзакции, которые являются движущей силой интернета.
Еще одно свойство математики, которое с конца XIX века становится все более очевидным, это общность. У различных математических структур много общего. В элементарной алгебре действуют такие же правила, что и в арифметике. Все виды геометрии (евклидова, проективная, неевклидова и даже топология) тесно связаны друг с другом. Это скрытое единство можно сделать явным, если с самого начала работать с обобщенными структурами, которые подчиняются конкретным правилам. Достаточно разобраться в общих принципах, и все конкретные примеры станут очевидными. Это позволяет сберечь немало сил, которые иначе расходовались бы понапрасну – ведь пришлось бы делать, по существу, одно и то же много раз с использованием незначительно различающихся языков. Однако у такого подхода есть один недостаток: как правило, он делает дисциплину более абстрактной. Вместо того чтобы говорить о знакомых вещах, таких как числа, обобщенный подход имеет дело с чем-то, подчиняющимся тем же правилам, что и числа, а называться это может, например, «нётерово кольцо», «тензорная категория» или «топологическое векторное пространство». Когда абстракции такого рода доводятся до крайности, трудно понять, что эти общности собой представляют, не говоря уже о том, как их использовать. Тем не менее они настолько полезны, что наш мир уже не смог бы без них функционировать. Хотите Netflix? Кто-то должен произвести
