— Но теперь вы ее каким‑то образом усовершенствовали? — поинтересовался я, старательно давая ему понять, что, если он меня и превзошел, то меня это нисколько не огорчит. В конце концов, гипотезу высказала Элисон… Что же касается алгоритма поиска, я написал его на скорую руку как‑то в воскресенье днем — в шутку, чтобы ответить на блеф Элисон. А она отослала мне новую порцию и настояла, чтобы мы выпустили все это в свет.
Кэмпбелл огляделся, проверяя, кто нас может услышать, но потом до него, наверное, дошло, что раз новости уже достигли Сиднея через Рим и Цюрих, то битва за сохранение его репутации, не запятнанной в Веллингтоне, скорее всего, проиграна.
— Вы и доктор Тайэрни предположили, что случайные процессы в ранней Вселенной могли включать доказательства взаимно противоречащих теорем о целых числах, — сказал он. — Идея состояла в том, что никакие вычисления для выявления этой несовместимости пока еще не производились. Это правильное краткое изложение?
— Конечно.
— Но тут для меня возникает проблема: я не вижу, как это могло привести к несовместимости, которую можно обнаружить здесь и сейчас. Если физическая система А доказывает теорему А, а физическая система Б доказывает теорему Б, то могут существовать различные области Вселенной, подчиняющиеся различным аксиомам — но не так, как будто существует некий универсальный учебник математики, летающий за пределами пространства‑времени и включающий все когда‑либо доказанные теоремы, с которым наши компьютеры советуются, чтобы решить, как себя вести. Поведение классической системы определяется ее собственным и конкретным причинным прошлым. Если мы — потомки области Вселенной, которая доказала теорему А, наши компьютеры должны быть идеально приспособлены к опровержению теоремы Б, независимо от того, что случилось непонятно где четырнадцать миллиардов лет назад.
Я глубокомысленно кивнул:
— Я вижу, куда вы клоните.
Если вы не собирались полностью соглашаться с учением Платона, где имелся своего рода воображаемый учебник, содержащий вечные математические истины, то его полусырая версия, согласно которой эта книга изначально была пустой и заполнялась строчка за строчкой по мере проверки различных теорем, представлялась компромиссом худшего рода. Более того, когда «та сторона» позволила в Шанхае мне, Юэню и Элисон на несколько минут заглянуть в их математику, Юэнь заявил, что поток математической информации действительно подчиняется локальности Эйнштейна; нет никакой универсальной книги истин, а есть лишь записи о событиях прошлого, ползущие по Вселенной со скоростью света или меньше, которые смешиваются и конкурируют.
