». Это намного больше, чем современные вычислительные возможности, да? «О да. Серьезно больше».
Вопрос, который всегда задают читатели-нематематики, вопрос, который возникает всякий раз, когда математики обращаются к аудитории из простых людей: какая от всего этого польза? Предположим, что Гипотезу Римана доказали или опровергли. Какие практические следствия отсюда произойдут? Станем ли мы от этого здоровее, повысится ли наш комфорт, станет ли наша жизнь более безопасной? Изобретут ли новые устройства? Сможем ли мы быстрее путешествовать? Получим ли более разрушительное оружие? Колонизируем ли Марс?
Пожалуй, мне пора снять маску и предстать перед вами в образе чистого математика sans mélange[209], которого вообще не интересуют подобные вопросы. Для большинства математиков — как и для большинства физиков-теоретиков — стимулом является не какая бы то ни было идея об улучшении здоровья или повышении комфорта человеческой расы, но чистая радость открытия и удовольствие от преодоления сложных проблем. Математикам, в общем, приятно, когда их результаты находят какое-нибудь практическое применение (во всяком случае, если это применение в мирных целях), но мысли о таких вещах не часто проникают в ту сферу их жизни, которая связана с работой. На конференции в Курантовском институте я просидел четыре дня с 9:30 до 18:00 вечера на докладах, где рассказывалось о вопросах, связанных с ГР, и ни разу не слышал, чтобы упоминались практические приложения.
Вот что по этому поводу говорил Жак Адамар в своей книге «Исследование психологии процесса изобретения в области математики»:
Ответ возникает перед нами еще до того, как возник вопрос <…> Практическое приложение обнаруживается, когда его не ищут, и можно сказать, что весь прогресс человечества зиждется на этом принципе <…> Практические вопросы чаще всего удается разрешить с помощью уже существующих теорий <…> Редко случается так, что важные математические изыскания предпринимаются непосредственно ввиду той или иной практической пользы; мотивировкой их является то же стремление, которое служит основой всякой научной деятельности, — стремление узнать и понять.
Г.X. Харди на заключительных страницах своей странной «Апологии» высказался по этому поводу более резко и откровенно:
Я никогда не делал ничего «полезного». Ни одно из моих открытий не произвело и не имеет шансов произвести, будь то явным или неявным образом, к добру или ко злу, ни малейшей перемены в удобствах жизни <…> При оценке по стандартам практики значение моей математической жизни равно нулю.
В отношении теории простых чисел применимо высказывание Адамара «Ответ возникает перед нами еще до того, как возник вопрос», а заявление Харди уже не верно. С конца 1970-х годов простые числа стали приобретать все большее значение в создании методов шифровки — как в военных, так и в гражданских целях. Способы, позволяющие проверить, является ли данное большое число простым, способы разложения больших чисел на простые множители, способы производства простых чисел огромной величины — все эти вопросы действительно приобрели исключительно e практическое звучание в последние два десятилетия XX века. Теоретические результаты, включая и несколько из тех, что получил Харди, сыграли существенную роль на пути к этим достижениям, которые, среди прочего, позволяют использовать кредитную карту для покупки товаров через Интернет. Разрешение вопроса о ГР, несомненно, повлекло бы дальнейшее развитие в этой области, переведя в разряд истинных все те бессчетные теоремы о простых числах, которые начинаются словами «В предположении, что Гипотеза Римана верна…», и подстегнув дальнейшие открытия.[210]
И конечно, если физики и правда преуспеют в идентификации «римановой динамики», то это изменит наше понимание физического мира.
К сожалению, невозможно предсказать, к чему приведет такое изменение. Даже умнейшие люди не в состоянии высказывать подобные предсказания, а тем, кто их все же высказывает, доверять не следует. Вот математик за работой всего около 100 лет назад:
210
Гипотеза Римана эквивалентна, в частности, ряду утверждений о делителях натуральных чисел, например, такому утверждению: «Для всякого натурального числа