На лужайке Эйнштейна. Что такое ничто, и где начинается всё - Гефтер Аманда
На следующий день ему нанес визит Стивен Хокинг, который пригласил его выступить на конференции в Кембридже. В ответ Уилер уныло сказал: «Может да, а может нет», пояснив: «Я рассказал ему о неважной реакции публики на мое желание обсуждать общие идеи простым доступным языком. Он посочувствовал мне и сказал, что он обсуждает новые, еще не оформившиеся идеи только в компании одного или двух коллег».
Уилер также беспокоился по поводу влияния, которое его поиски могли оказать на последователей, разделяющих его взгляды. 25 мая 1979 года в своем гостиничном номере в отеле Hyatt Regency в Новом Орлеане он сделал такую запись: «Уилер ведет людей за собой. Он не может просто так бросить их у подножья скалы. Он должен показать им путь наверх. Будущее многих из них зависит от успеха на пути, по которому он их ведет. Он не может их подвести. Он отвечает за исполнение взятых на себя обязательств».
Вечером, после закрытия библиотеки, мы брели по мощенной булыжником улице. Потребовалось время, прежде чем мои глаза привыкли к сумеркам, а мой разум выбрался на поверхность из мыслей Уилера. У меня было ощущение, похожее на то, какое бывает, когда выходишь из кинотеатра, но мыслями все еще в мире только что просмотренного фильма, и мозгу требуется определенное время, чтобы вернуться в реальность. Только просмотренный мною фильм длился восемь часов и изобиловал заумными идеями мучающегося гения.
Я посмотрела на моего отца с улыбкой:
– Ну и ну.
– Не то слово, – сказал он. Вид у него был немного ошарашенный. – Я представлял себе все это совсем иначе. Он мне всегда казался таким веселым, беззаботным парнем. Представить себе не мог, что ему было так…
– Тяжело?
– Да. Он был неумолим. Полон решимости. Но это не совсем верные определения.
Отец кивнул.
– Это называется одержимостью.
Несколько дней спустя я обнаружила, что у Уилера была еще одна страсть – Курт Гёдель. «Я убежден, что дело Гёделя приведет его в физику, а физика приведет к пониманию его дела. К нему важно возвращаться снова и снова», – написал Уилер в своем дневнике 22 июля 1973 года. «Моя беда, боюсь, заключается в том, что, закончив писать, я не вижу следующего дела, но вижу бесконечное количество следующих дел, среди которых ничто не позволяет сделать явный выбор».
Слова о «деле Гёделя», несомненно, относились к теореме Гёделя о неполноте, согласно которой всякая внутренне непротиворечивая система математических аксиом не может быть полной. Гёдель доказал эту теорему, сформулировав на языке арифметики предложение, имеющее примерно такой смысл: «Это предложение невозможно доказать, исходя из данной системы аксиом». Если предложение можно доказать, основываясь на данной системе аксиом, то, значит, оно ложно, и система аксиом внутренне противоречива, поскольку обосновывает ложное предложение. Но если его доказать невозможно, то оно должно быть верным, однако его истинность не следует из имеющихся аксиом, и, следовательно, система не полна, хотя и не противоречива. Одним словом, как в классическом парадоксе: «Это высказывание ложно». Если оно ложно, то оно истинно, а если истинно, то ложно.
Но вот в чем дело: очевидно, что предложение у Гёделя на самом деле истинно. Но его невозможно доказать на основе непротиворечивой системы аксиом, потому что если бы система была на это способна, она сама бы себя уничтожила. Нет сомнений, что предложение утверждает истину. Оно истинно, но недоказуемо. Мы знаем, что предложение истинно, хотя математическая система, в рамках которой оно построено, не знает. Как такое может быть? У нас есть преимущество, которого система лишена: мы находимся вне ее. Посмотрев на нее глазами Бога, находящегося над ней, мы можем определить истинность или ложность предложения. Внутри системы – оно не что иное, как парадокс.
Весь сыр-бор возникает из-за единственного слова – «это». Предложение говорит само о себе. Ссылка на самого себя – это корень дилеммы внутри/снаружи. Вы не можете оценивать достоверность утверждений о системе изнутри самой системы – для определения их истинности или ложности вы должны посмотреть на них с более высокого уровня реальности. Теорема Гёделя о неполноте гласит, что при малейшей ссылке на себя существует предел того, что мы можем знать о системе, непреодолимый до тех пор, пока мы не выйдем за ее пределы. И если я что-то узнала о Вселенной, так это то, что за пределы этой системы мы выйти никогда не сможем.
За несколько месяцев перед тем, как сделать эту запись, Уилер подошел к Гёделю на вечернем приеме, устроенном в честь принстонского экономиста Оскара Моргенштерна. Уилер и Гёдель были близкими друзьями Альберта Эйнштейна. Уилер объяснил Гёделю, что его интуиция подсказывает ему: существует глубокая связь между теоремой Гёделя о неполноте и принципом неопределенности Гейзенберга. Оба были сформулированы примерно в одно и то же время и неожиданно наложили строгие ограничения на познаваемость Вселенной. Гёдель не захотел говорить на эту тему. Когда Уилер спросил почему, выяснилось, что Гёдель не испытывал энтузиазма по поводу квантовой механики. Как выразился Уилер, «он съел достаточно соли с Эйнштейном, чтобы его мозги промылись до утраты всякого интереса к квантовой теории, и для меня это большая трагедия, потому что проницательность Гёделя могла бы сыграть ключевую роль».
Уилер, казалось, был убежден, что внутри гёделевской неполноты спрятан смысл квантовой механики. Но почему? «Идея изоморфизма между логикой высказываний и предгеометрией интересна как никогда», – писал он.
Я знала, что предложения в логике подобны атомам – это простые утверждения, которые могут быть либо истинны, либо ложны: например, «снег белый» или «мои брюки горят». Исчисление предложений сводится к набору простых правил, устанавливающих отношения предложений друг с другом. И я знала, что предгеометрия, как назвал ее Уилер, была какой-то таинственной сущностью, лежащей в основе пространства-времени и образующей строительный материал реальности. Предположительно, для нее основанием служил принцип ∂∂ ≡ 0. Но почему должно существовать изоморфное соответствие между логикой высказываний и какой-то предгеометрией, было за пределами моего понимания.
Я заметила подсказку, когда Уилер цитировал математика Ханса Фрейденталя, который говорил о логике высказываний: «Наш вокабуляр не в каком-то определенном подлежащем. Предикаты, так сказать, висят в воздухе; они не относятся ни к чему». Напротив этого Уилер написал: «Восхитительно! Практически открытое приглашение стать основой для квантовой механики, как и для предгеометрии».
И снова Уилер сбился с пути: «Не понимая, куда двигаться дальше, – писал он, – пришел к заключению, что нужно пробираться через подлесок. „Путешественник, здесь нет троп. Тропы прокладывает сам идущий“».
Правила, по которым исчисляются предложения, определяют отношения между бинарными предложениями, которые принимают одно из двух значений – либо истина, либо ложь, без всякой связи с их смыслом. Собственный их смысл не важен; главное – установить отношения, сохраняющие истинность, независимо от истинности или ложности исходных предложений. Если из p следует q и q ложно, то p является ложным – истинность этого правила не зависит от того, горят мои штаны или нет. Именно в этом Уилер увидел проблеск структуры без структуры, формы без содержания, что-то из ничего, к чему, как он надеялся, ∂∂ ≡ 0.
«Определенная уникальность, естественность и красота должны быть свойственны реальным уравнениям, – писал он, – но прежде всего это простота. Какая самая простейшая математика, которая нам известна?… Нет ничего проще, чем + —, истинно – ложно, да – нет, вверх – вниз. Последующие размышления и анализ показали, что существует множество структур, которые могут быть построены на основе этих бинарных элементов, но в каждой из них при ближайшем рассмотрении имеется некоторый произвольный элемент, число или структура с единственным исключением – исчислением предложений. Кажется, оно обладает желаемым свойством уникальности и простоты. Логика слишком важна, чтобы оставить ее исключительно для логиков».
