Эдуард Сероусов – Они —абстракции (страница 2)

Лина потёрла переносицу. Два признака против, один – за. Этого было недостаточно для вывода. Этого было более чем достаточно для того, чтобы лишить её сна – впрочем, сна у неё не было и без этого.

Она встала, подошла к окну. Парковка внизу блестела в свете фонарей. Морось превратилась в дождь – мелкий, упорный, безнадёжный. На парковке стояла единственная машина – её Subaru, купленная подержанной в первый год преподавания и с тех пор не мытая ни разу (Лина предпочитала считать, что грязь защищает лакокрасочное покрытие – это было неверно, но удобно). Она прижалась лбом к стеклу. Стекло было холодным и слегка вибрировало от дождя.

Шесть лет.

Последний раз она видела Рена в Женеве, за день до его исчезновения. Конференция по алгебраической K-теории, гостиница при университете, длинный коридор с ковром цвета засохшей крови. Рен стоял у окна в холле, с бумажным стаканчиком кофе – чёрного, без сахара, без молока, потому что «молоко – это компромисс, а компромиссы отвлекают». Рен был высоким и слегка сутулым – не так, как сутулилась Лина, от многолетнего сидения за монитором, а по-другому, будто его тело было слишком длинным для мира и ему приходилось складываться, чтобы поместиться.

– Я тут подумал, – сказал он вместо приветствия. Он всегда начинал так – без «здравствуй», без «как дела», сразу с мысли, которая не давала ему покоя. – У нас проблема с гипотезой Блоха-Като.

– У нас нет проблемы с гипотезой Блоха-Като, – ответила Лина. – Она доказана.

– Она доказана, но мы не понимаем почему. Это хуже, чем если бы она не была доказана.

Он сделал глоток кофе и поморщился – кофе на конференциях неизменно был отвратительным, и Рен неизменно пил его, как будто не замечал. Или замечал, но считал это несущественным отвлечением от того, что действительно имело значение.

– Послушай, – сказал он, понизив голос, хотя в коридоре никого не было. – Я хочу тебе кое-что рассказать, но ты решишь, что я спятил.

– Я уже так решила. На первом курсе, когда ты пришёл на лекцию в одном ботинке.

– Это был осознанный выбор. Второй натирал.

– Дэвид.

Он посмотрел на неё – тем странным взглядом, который она потом вспоминала много раз, пытаясь понять, что он означал. Не тревога, не возбуждение – что-то среднее, как у человека, который стоит на краю и знает, что внизу не пропасть, но не может объяснить, откуда эта уверенность.

– Доказательства существуют до того, как их находят, – сказал он. – Ты ведь это понимаешь? Не в метафорическом смысле. Буквально. Теорема Пифагора существовала до Пифагора. Число пи не было изобретено – оно было обнаружено. Мы, математики, – археологи. Мы раскапываем то, что уже есть.

– Это математический платонизм, Дэвид. Ему двадцать четыре века. Я знакома с концепцией.

– Ты знакома с концепцией. – Он улыбнулся – широко, с той почти мальчишеской радостью, которая делала его лицо на двадцать лет моложе. – Но ты не думала о следствиях. Если математические структуры существуют независимо от нас, то достаточно сложная структура…

Он не договорил. Это было типично для Рена – он начинал мысль, доводил её до точки, где слушатель должен был совершить скачок самостоятельно, и замолкал, наблюдая. Он делал это на семинарах, доводя аспирантов до тихого бешенства. Он делал это в жизни, доводя всех остальных до того же состояния.

– Достаточно сложная структура – что? – спросила Лина.

– Продолжай, – сказал он. – Даже если неправильно – продолжай.

Это была его любимая фраза. Он говорил её после каждого семинара, после каждого обсуждения, после каждого провала. «Продолжай. Даже если неправильно – продолжай.» Лина ненавидела эту фразу, потому что она была бессмысленно оптимистичной, и любила, потому что Рен произносил её с абсолютной серьёзностью, как будто это была аксиома, а не пожелание.

На следующий день он исчез.

Лина отлепилась от окна. На стекле осталось матовое пятно от её дыхания – оно продержалось секунду, потом растаяло. Она вернулась к компьютеру.

Шаг 347 светился на экране, безупречный и чужой.

Она попробовала подойти к проблеме систематически. Вариант первый: она написала этот шаг сама, в состоянии «туннеля», и не помнит. Вероятность – высокая. Она не спала нормально уже три недели. Мозг в состоянии хронического недосыпа способен на многое: автоматическое письмо, гипнагогические галлюцинации, ложные воспоминания. Нейробиология была неумолима: лишение сна ослабляет функцию префронтальной коры, отвечающей за контроль и мониторинг собственных действий, одновременно повышая активность в областях, связанных с распознаванием паттернов. Она могла написать шаг 347 и тут же забыть – не потому что шаг был чужим, а потому что мозг не зафиксировал переход от мысли к тексту.

Вариант второй: программный сбой. Автозаполнение, некорректная синхронизация с облачным хранилищем, – маловероятно, но Лина видела достаточно странных глюков в университетских системах, чтобы не исключать ничего. Она проверила логи сервера. Никаких аномалий: единственная сессия, единственное устройство, непрерывная запись. Шаг 347 появился между шагами 346 и 348, записанный в рамках одного непрерывного потока правок, без пауз, без переключений.

Вариант третий: взлом. Кто-то получил доступ к её учётной записи и вставил шаг. Мотив – непонятен. Возможность – теоретически не нулевая, но университетская система аутентификации использовала двухфакторную верификацию, и Лина параноидально следила за безопасностью, потому что однажды на втором курсе аспирантуры чей-то вирус уничтожил три месяца работы, и этот урок она усвоила навсегда. Она проверила журнал входов. Всё чисто.

Оставался вариант четвёртый, который Лина не стала формулировать даже мысленно, потому что он был абсурдным. Мёртвые люди не пишут доказательств. Пропавшие люди не имеют доступа к серверам Карнеги-Меллон. Призраков не существует – ни в физическом мире, ни в мире математики.

Она закрыла историю файла и вернулась к самому шагу.

Дело было вот в чём: шаг 347 не просто работал. Он работал лучше, чем всё, что написала Лина. Её собственный план – двадцать промежуточных лемм через спектральную последовательность Серра – был корректным, надёжным и скучным. Шаг 347 достигал того же результата с красотой, от которой перехватывало дыхание. Вспомогательное расслоение, введённое в шаге, создавало геометрическую картину, превращавшую сухое вычисление в ландшафт – и в этом ландшафте ответ был виден, как вершина горы видна с перевала.

Лина знала это ощущение. Она испытывала его, может быть, пять или шесть раз за всю карьеру – моменты, когда математика переставала быть работой и становилась откровением. Когда структура, которую ты строил месяцами, вдруг поворачивалась, показывая лицо, которого ты не ожидал, и это лицо было прекрасным.

Проблема заключалась в том, что этот момент откровения принадлежал не ей.

Она выделила шаг 347. Курсор мигал. Одно нажатие – и шаг исчезнет, заменённый её собственными двадцатью леммами, надёжными и посредственными. Доказательство останется верным. Оно будет опубликовано, рецензировано, принято. Её имя встанет на обложку, и никто никогда не узнает, что в какой-то момент посередине стоял шаг, который не был её.

Палец завис над клавишей Delete.

Она не нажала.

Не потому, что поверила в невозможное – Лина Ко не верила ни во что, что не было доказано, а доказано было катастрофически мало. Не потому, что шаг напомнил ей Рена – всё напоминало ей Рена, это была хроническая болезнь, с которой она научилась жить, как живут с шумом в ушах: не лечится, не убивает, просто всегда есть. Она не нажала, потому что шаг делал доказательство лучше, а для Лины это был единственный критерий, который имел значение.

В математике нет сентиментальности. Есть верно и неверно, есть красиво и уродливо, есть необходимо и избыточно. Шаг 347 был верным, красивым и необходимым. Удалить его ради того, чтобы не думать о том, откуда он взялся, – это было бы не научной осторожностью, а трусостью. Лина не любила трусость – ни в себе, ни в других.

Она сняла выделение. Откинулась назад. Посмотрела на потолок – белые акустические плитки с мелкой перфорацией, стандартная облицовка, каждая плитка шестьдесят на шестьдесят сантиметров, и она знала это, потому что считала их в бессонные ночи, как другие считают овец.

Цветок, выросший в запертой комнате.

Мысль пришла ниоткуда – или из того места, откуда приходят все мысли, из тёмного пространства между нейронами, где химия становится сознанием, а электричество – смыслом. Цветок, выросший в запертой комнате. Файл закрыт. Сервер защищён. Никто не входил, никто не выходил. И посередине – шаг, которого не должно быть, живой и совершенный, как роза в бетоне.

Лина потёрла глаза. Они горели от сухости – она забывала моргать, когда работала, и знала об этом, и всё равно забывала. На столе, рядом с немытой чашкой и обёртками от крекеров, лежала упаковка искусственных слёз, которую выписал офтальмолог. Лина закапала глаза, поморгала, посмотрела на экран сквозь плёнку жидкости.

Шаг 347 расплылся, затем обрёл резкость.

Всё ещё там. Всё ещё безупречен.

Она подумала о Рене – не как о возможном авторе шага, а просто о Рене. О том, как он стоял у доски, левой рукой держа мел, а правой – кофе, и писал обеими попеременно, не замечая, что иногда путает руки и пытается пить мелом. О том, как он смеялся – громко, раскатисто, совершенно неуместно для человека, который занимался одной из самых абстрактных областей математики. О том, как он ставил старый портативный динамик на подоконник лаборатории и включал джаз – Колтрейна, Монка, иногда Дэвиса, – и говорил, что джаз и математика устроены одинаково: ты берёшь тему, ты её развиваешь, ты позволяешь ей вести тебя туда, куда ты не планировал, и если повезёт, ты оказываешься в месте, которое прекраснее того, откуда ты вышел.