Эта отрасль математики, как и многие другие, была вдохновлена естественно-научной задачей. До открытия атомов некоторые ученые (включая лорда Кельвина) придерживались мнения, что вселенная наполнена субстанцией под названием «эфир», а материя создана из узлов и клубков эфира. Они стремились к тому, чтобы классифицировать все возможные узлы и создать периодическую таблицу клубков.
Вскоре физики утратили интерес к этой идее, поглощенные новой блестящей теорией атомов[26] (ее несправедливое преимущество заключалось в том, что она была верна[27]). Но математики уже попались на крючок. Они обнаружили, что классификация узлов – сладостная и дьявольская задача. Две разновидности одного и того же узла могли выглядеть совершенно по-разному. Абсолютно отличающиеся друг от друга узлы поражали своим сходством. Это было отличной подпиткой для математиков, которые скоро разработали сложную и исчерпывающую теорию узлов, будучи уверены, что их интеллектуальная абстракция не имеет никакого практического применения.
Прошло около ста лет.
И вот из укрытия выползла настоящая змея. Как вы знаете, каждая биологическая клетка содержит информацию в молекуле ДНК, которая фантастически длинна. Если выпрямить ДНК одной клетки вашего организма, она растянется почти на два метра. В 100 000 раз длиннее самой клетки.
ДНК – это длинная струна, упакованная в миниатюрный контейнер. Если вы когда-нибудь клали наушники в карман или вынимали новогоднюю гирлянду из картонной коробки, вы знаете, что их необходимо свернуть в клубок. Как это удается бактерии? Можем ли мы выучиться у бактерии такому трюку? Можем ли обезвредить раковую клетку, расплетая ее ДНК?
Биология была в недоумении. Ей требовалась помощь. «О! – воскликнула математика. – Я знаю одну штуку!»
Вот краткая биография теории узлов[28]. Она родилась из практических нужд. Вскоре она превратилась в нечто абсолютно оторванное от практики, логическую игру для поэтов и философов. А дальше каким-то образом это творение, которое на протяжении многих лет, казалось, не имело никакого отношения к реальной жизни, стало чрезвычайно полезным совершенно не в той области, ради которой оно родилось.
Это не единичный случай. Это обычная схема в истории математики.
Помните странную альтернативную геометрию, о которой шла речь в первой главе? На протяжении веков ученые рассматривали ее как фантазию, поэтическую прихоть. Они не видели соответствия с нашей реальностью, в которой, как предполагалось, действовал постулат Евклида о параллельных прямых.
Но в один прекрасный день на сцене появился молодой клерк из патентного бюро по фамилии Эйнштейн. Он понял, что безумная геометрия – не просто мысленный эксперимент; она определяет структуру космоса. С нашей ограниченной точки зрения, вселенная выглядит евклидовой, а шарообразная Земля – плоской. Но если изменить масштаб и отбросить предрассудки обитателя плоскости, откроется совершенно иная картина: переменчивый ландшафт поразительных изгибов[29].
«Бесполезная» геометрия становится чертовски полезной.
Мой любимый пример касается логики как таковой. Ранние философы вроде Аристотеля разработали логическую символику («если
Одна мама пилила сына-логика: «Солнышко, к чему тебе вся эта абстрактная математика? Почему бы не заняться чем-нибудь полезным?»[32]
Маму звали Этель Тьюринг. Вскоре выяснилось, что ее сын Алан все-таки на что-то годен: он изобрел логическую машину, которую мы теперь называем «компьютер».
Я не могу винить ее за скептицизм. Кто бы мог подумать, что исследование логических систем, которое вел ее сын, определит облик нового столетия? Сколько примеров я ни узнавал, этот исторический цикл перехода полезного в бесполезное и снова в полезное остается для меня чудом и тайной.
Мое любимое описание этого феномена – чеканная фраза физика Юджина Вигнера: «Непостижимая эффективность математики»[33]. В конце концов, бактерии не знают теорию узлов, так почему они следуют ее законам? Пространственно-временной континуум не изучал гиперболическую геометрию, почему тогда ее теоремы выполняются так безупречно?
Я читал философов, которые пытались ответить на эти вопросы, но, на мой взгляд, их тезисы умозрительны и противоречивы, и никто из них не смог умерить мое изумление.
Итак, как лучше понять взаимоотношения между поэтессой, которую мы называем Математика, и искателем приключений, известным как Естествознание? Возможно, мы должны рассматривать их связь как симбиоз двух весьма разных существ. Например, птица, поедающая насекомых, примостилась на спине носорога. У носорога не зудит кожа. Птица удовлетворяет аппетит. И они оба счастливы.