Идеи с границы познания. Эйнштейн, Гёдель и философия науки

Сегодня большинство математиков, пытающихся расколоть гипотезу Римана, исходят в основном из эстетических соображений: гипотеза Римана проще и красивее, чем ее отрицание, и приводит к самому «естественному» распределению простых чисел. «Если существует много нулей, отклоняющихся от линии, а такое может быть, вся картина становится просто ужасной, ужасной, уродливой», – сказал математик Стив Гонек. Едва ли у этой гипотезы найдутся какие-то практические последствия, но для математиков, которые ее исследуют, это не играет никакой роли. «Я никогда не делал ничего “полезного”, – похвалялся Г. Г. Харди в своей знаменитой книге «Апология математика». – Ни одно мое открытие не способствовало ни прямо, ни косвенно увеличению или уменьшению добра или зла и не оказало ни малейшего влияния на благоустроенность мира»[7]. Математики вроде Харди признают за собой два мотива: во-первых, чистое удовольствие, которое приносят занятия математикой. Во-вторых, ощущение, что они будто астрономы, вглядывающиеся в платоновский космос чисел, – космос, который выходит за пределы человеческой культуры и любых других возможных цивилизаций и сейчас, и в будущем. Харди добавляет, что «число 317 простое не потому, что мы думаем так, и не потому, что наш разум устроен так, а не иначе, а потому, что это так, потому, что математическая реальность устроена так». Ален Конн, французский математик, которого очень многие считают главным кандидатом на доказательство гипотезы Римана, тоже ревностный платоник. «Я считаю, – говорил Конн, – что последовательность простых чисел… обладает реальностью значительно более неизменной, чем окружающая нас физическая реальность».

Однако будет ли все это считаться истинным в миллионном году? Мне думается, что когда мы лучше поймем, что такое простые числа, они утратят свою трансцендентную репутацию. И тогда мы увидим, что они, как и вся остальная математика (или, если уж на то пошло, как религия), созданы человеком, что это сугубо земной артефакт. Когда же нам ждать великого развенчания? Пал Эрдеш, самый плодовитый (и непоседливый) из современных математиков, говорят, утверждал: «Прежде чем мы поймем, что такое простые числа, пройдет еще миллион лет, не меньше». Однако принцип Коперника дает совсем другую оценку. Вопрос о дзета-гипотезе Римана был открыт 160 лет назад самим Риманом. Это значит, что можно с уверенностью 95 % утверждать, что он останется неразрешенным еще года четыре (¹/₃₉×160), однако получит ответ в течение ближайших шести тысяч лет (39×160), то есть гораздо раньше миллионного года. Когда и если он будет решен, простые числа наконец лишатся флера космической инаковости.

Простые числа определяют дзета-функцию, дзета-функция задает нулевые точки, нулевые точки совокупно хранят тайну простых чисел. Если удастся доказать или опровергнуть гипотезу Римана, это замкнет этот тесный кружок, превратив «загадку» простых чисел в тавтологию – такую же, как утверждение «четвероногое животное – это животное». Поэтому я предсказываю, что задолго до миллионного года математики пробудятся от своего коллективного платоновского сна. Никому и в голову не придет направлять последовательность простых чисел через весь космос. Наши потомки отмахнутся от них, как герой «Кошмара математика» Бертрана Рассела: «Прочь! Вы всего-навсего Символические Совпадения!»

∞

А что же смех? Как я уже заметил, нет ничего более узкого, местного, эфемерного, чем тот тип «юмора», который заставляет засмеяться. И ничего более низменного. На протяжении почти всей человеческой истории комическое было смесью скабрезности, агрессии и глумления. Что до особого пыхтения и раздувания грудной клетки, которые оно вызывает, это рассматривалось как «избыточный рефлекс», на первый взгляд не имеющий отношения к выживанию наиболее приспособленных.