Это открытие послужило началом метафорического диалога между математикой и музыкой. До Римана в простых числах слышался лишь случайный шум. Теперь появился новый способ услышать их мелодию. Каждый нуль дзета-функции, входящий в римановскую формулу простых чисел, порождает волну, напоминающую чистый музыкальный тон. Если сочетать все эти музыкальные тоны, они порождают гармоническую структуру простых чисел. Риман обнаружил, что положение данной нулевой точки на дзета-ландшафте определяет высоту и громкость соответствующей музыкальной ноты. Чем дальше нуль к северу, тем выше звук. А главное – чем дальше он к востоку, тем громче. Оркестр простых чисел играет в гармонии, так, чтобы ни один инструмент не заглушал соседей, только если все нулевые точки лежат в достаточно узкой полосе долготы на дзета-ландшафте. Но Риман пошел еще дальше. Разведав лишь крошечный клочок бесконечного дзета-ландшафта, он смело предположил, что все нули лежат вдоль критической линии, проходящей с юга на север. И это утверждение впоследствии и получило название дзета-гипотезы Римана.
«Если гипотеза Римана истинна, – писал дю Сутой, – она объяснит, почему мы не наблюдаем строгой закономерности в расположении простых чисел. Закономерность соответствует точкам, где какой-то инструмент играет громче остальных. Как будто каждый инструмент играет свою закономерность, но при таком совершенном сочетании закономерности гасят друг друга, и остается только бесформенный поток простых чисел, которые то прибудут, то схлынут». Есть что-то волшебное в том, как бесконечное множество нулевых точек на дзета-ландшафте коллективно контролирует размещение бесконечного количества простых чисел среди натуральных: чем сильнее регламентировано расположение нулей по одну сторону зеркала, тем случайнее кажется порядок простых чисел по другую.
Но так ли идеально регламентированы нули, как думал Риман? Если гипотеза Римана ложна, ее опровергнет один-единственный нуль, сместившийся с критической линии. А вычислить, где расположены нули, задача нетривиальная. Когда сам Риман разведывал дзета-ландшафт, то обнаружил, что первые несколько точек на уровне моря выстроились именно так, как он рассчитывал. В начале XX века вручную рассчитали расположение еще нескольких сотен нулей. С тех пор компьютеры локализовали миллиарды нулей – и все они расположены точно на критической линии. Казалось бы, раз до сих пор не удалось найти контрпримера гипотезы Римана, это повышает вероятность, что она истинна. Но это спорный вопрос. Ведь дзета-функция дает бесконечно много нулей, и может статься, что они покажут свое истинное лицо лишь на невообразимо дальних далях дзета-ландшафта – в краях, которые, вероятно, исследуют лишь значительно позднее миллионного года. Те, кто слепо признают истинность гипотезы Римана, не должны забывать, что в истории математики прослеживается интересная закономерность: в алгебре утверждения, долго остававшиеся гипотезами (теорема Ферма), как правило, оказываются истинными, а в математическом анализе (подобные гипотезе Римана) часто бывают ложными.
Сегодня большинство математиков, пытающихся расколоть гипотезу Римана, исходят в основном из эстетических соображений: гипотеза Римана проще и красивее, чем ее отрицание, и приводит к самому «естественному» распределению простых чисел. «Если существует много нулей, отклоняющихся от линии, а такое может быть, вся картина становится просто ужасной, ужасной, уродливой», – сказал математик Стив Гонек. Едва ли у этой гипотезы найдутся какие-то практические последствия, но для математиков, которые ее исследуют, это не играет никакой роли. «Я никогда не делал ничего “полезного”, – похвалялся Г. Г. Харди в своей знаменитой книге «Апология математика». – Ни одно мое открытие не способствовало ни прямо, ни косвенно увеличению или уменьшению добра или зла и не оказало ни малейшего влияния на благоустроенность мира»[7]. Математики вроде Харди признают за собой два мотива: во-первых, чистое удовольствие, которое приносят занятия математикой. Во-вторых, ощущение, что они будто астрономы, вглядывающиеся в платоновский космос чисел, – космос, который выходит за пределы человеческой культуры и любых других возможных цивилизаций и сейчас, и в будущем. Харди добавляет, что «число 317 простое не потому, что мы думаем так, и не потому, что наш разум устроен так, а не иначе, а потому, что это так, потому, что математическая реальность устроена так». Ален Конн, французский математик, которого очень многие считают главным кандидатом на доказательство гипотезы Римана, тоже ревностный платоник. «Я считаю, – говорил Конн, – что последовательность простых чисел… обладает реальностью значительно более неизменной, чем окружающая нас физическая реальность».
Однако будет ли все это считаться истинным в миллионном году? Мне думается, что когда мы лучше поймем, что такое простые числа, они утратят свою трансцендентную репутацию. И тогда мы увидим, что они, как и вся остальная математика (или, если уж на то пошло, как религия), созданы человеком, что это сугубо земной артефакт. Когда же нам ждать великого развенчания? Пал Эрдеш, самый плодовитый (и непоседливый) из современных математиков, говорят, утверждал: «Прежде чем мы поймем, что такое простые числа, пройдет еще миллион лет, не меньше». Однако принцип Коперника дает совсем другую оценку. Вопрос о дзета-гипотезе Римана был открыт 160 лет назад самим Риманом. Это значит, что можно с уверенностью 95 % утверждать, что он останется неразрешенным еще года четыре (1/39×160), однако получит ответ в течение ближайших шести тысяч лет (39×160), то есть гораздо раньше миллионного года. Когда и если он будет решен, простые числа наконец лишатся флера космической инаковости.
Простые числа определяют дзета-функцию, дзета-функция задает нулевые точки, нулевые точки совокупно хранят тайну простых чисел. Если удастся доказать или опровергнуть гипотезу Римана, это замкнет этот тесный кружок, превратив «загадку» простых чисел в тавтологию – такую же, как утверждение «четвероногое животное – это животное». Поэтому я предсказываю, что задолго до миллионного года математики пробудятся от своего коллективного платоновского сна. Никому и в голову не придет направлять последовательность простых чисел через весь космос. Наши потомки отмахнутся от них, как герой «Кошмара математика» Бертрана Рассела: «Прочь! Вы всего-навсего Символические Совпадения!»
А что же смех? Как я уже заметил, нет ничего более узкого, местного, эфемерного, чем тот тип «юмора», который заставляет засмеяться. И ничего более низменного. На протяжении почти всей человеческой истории комическое было смесью скабрезности, агрессии и глумления. Что до особого пыхтения и раздувания грудной клетки, которые оно вызывает, это рассматривалось как «избыточный рефлекс», на первый взгляд не имеющий отношения к выживанию наиболее приспособленных.
Однако в последние годы ученые, поднаторевшие в изящном искусстве эволюционной психологии, нашли гораздо более изобретательный подход к поиску дарвинистских обоснований для смеха. Пожалуй, самую правдоподобную гипотезу выдвинул нейрофизиолог В. Рамачандран. В своей книге «Фантомы мозга», написанной в 1998 году в соавторстве с Сандрой Блейксли (Ramachandran, V., Blakeslee, S., Phantoms in the Brain), Рамачандран выдвигает «теорию ложной тревоги». Возникает потенциально опасная ситуация, у тебя запускается реакция «бей-или-беги», оказывается, что тебе просто показалось, и ты оповещаешь свою социальную группу (генетически близкую), что опасность мнимая, издавая стереотипные звуки – которые к тому же распространяются от одного члена группы к другому, поскольку заразительны. Когда эволюция наладила этот механизм, гласит гипотеза, его удалось направить на другие цели – например, на выражение враждебности к другим социальным группам (или утверждение превосходства над ними) и на высвобождение запретных социальных порывов в пределах своей группы. Однако в основе первоначального механизма «ложной тревоги» лежит ощущение несоответствия: страшная опасность оказалась пустяком, грозное «что-то» обернулось безобидным «ничем». А эволюция юмора с течением тысячелетий привела к тому, что роль несоответствия становилась все главнее. Высшее проявление смеха считается сейчас выражением интеллектуальной эмоции. Наверное, вершиной эволюции остроумия можно считать еврейские шутки, талмудически-изысканную игру с языком и логикой (вспомните свои любимые реплики Граучо Маркса или Вуди Аллена). С такой интеллектуальной точки зрения сильнейший стимул для смеха – это чистое абстрактное несоответствие. Как считал Шопенгауэр, хорошая шутка – это неправильный силлогизм. (Например: «Главное – быть искренним. Сможешь это изобразить, и дело в шляпе».) А несоответствие – полная противоположность старой скучной тавтологии. И так же универсально.
Вот почему я считаю, что юмор и математика к миллионному году поменяются местами. Но какими они будут, шутки той далекой эпохи? Высшая разновидность смеха пробуждается, когда мы видим, как несоответствие разрешается каким-то остроумным способом, что приводит к эмоциональной встряске от приятного узнавания. Мы воображаем, будто перед нами что-то непонятное и загадочное – а вдруг оказывается, что перед нами нет вовсе ничего. Именно таким и будет разрешение загадки дзета-гипотезы Римана, когда его наконец найдут в невообразимом будущем. Под раскаты хохота платоническая инаковость простых чисел обернется тривиальной тавтологией. Если задуматься, что гипотеза, которую сегодня считают величайшей задачей, порожденной человеческим разумом, вполне может в миллионном году оказаться грубоватой шуткой, достойной школьника, это очень отрезвляет.
Глава пятая. Сэр Фрэнсис Гальтон, отец статистики… и евгеники
В восьмидесятые годы XIX века жители многих британских городов, должно быть, обращали внимание на немолодого лысого джентльмена с бакенбардами, который пожирал глазами всех проходящих мимо девушек и при этом что-то перебирал в кармане. Это был не какой-нибудь старый греховодник, а серьезный ученый. А в кармане он держал устройство, которое называл «дыроколом»: наперсток с иглой и крестообразный листок бумаги. Прокалывая дырочки в ра