Тед Чан - Деление на ноль

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

4

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

Однако тот факт, что евклидова геометрия ло­гически замкнута, так и не был доказан. Максимум, чего удалось достичь к концу девятнадцатого века, — это доказать, что евклидова геометрия логически замкнута постольку, поскольку логически замкнута арифметика.

4 a

Вначале Рене отнеслась к случившемуся как к мелкой докуке. Пройдя по коридору, она постучала в открытую дверь кабинета Питера Фабризи.

— Пит, у тебя есть минутка?

Рене вошла, зная, какой будет его реакция. Ни­когда прежде ни у кого на факультете она не проси­ла совета по какой-либо проблеме — всегда бывало наоборот. Не важно.

— Я подумала, может, ты мне сделаешь одолже­ние? Помнишь, я пару недель назад говорила, что разрабатываю математический формализм для од­ной теории?

Он кивнул.

— Ты с его помощью еще аксиоматику перепи­сывала.

— Верно, Ну, несколько дней назад я начала приходить к совершенно нелепым выводам, а те­перь мой теоретический формализм противоречит сам себе. Можешь на «его взглянуть?

Выражение на лице Фабризи было в точности таким, как ожидалось?

— Ты хочешь?.. Ну конечно. С радостью.

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

— Наверное, ты права. — Фабризи посмотрел на первые пару страниц. — Не знаю, сколько у меня это займет.

— Не спеши. Когда будет возможность, просто посмотри, не покажутся ли тебе мои допущения сколько-нибудь сомнительными, что-то в этом духе. Я буду и дальше работать, поэтому скажу, если что-то получится. Ладно?

Фабризи улыбнулся:

— Ты сегодня же вечером придешь сказать мне, что нашла, в чем проблема.

— Сомневаюсь. Тут нужен свежий взгляд. Он развел руками:

— Попробую.

— Спасибо.

Маловероятно, что Фабризи до конца поймет ее формальные построения, но ей нужен был кто-то, кто бы проверил чисто технические аспекты.

4 Ь

Карл познакомился с Рене на вечеринке, кото­рую устраивал его коллега. Карла заинтриговало ее лицо: на удивление простое, оно казалось сосредо­точенным и почти мрачным, но во время вечерин­ки он дважды видел, как она улыбается, и один раз, как хмурится. В такие моменты лицо преображалось, принимая данное выражение, словно и не знало никакого иного. Карла это застало врасплох: он мог распознать лицо, которое часто улыбалось, или лицо, которое часто хмурилось, пусть даже на этих лицах нет морщин. Ему было любопытно, как ее лицо научилось приобретать столь разные выра­жения, а в остальное время не выдавать ничего.

Ему понадобилось много времени, чтобы по­нять Рене, научиться читать выражения ее лица. Но оно того определенно стоило.

А сейчас Карл сидел в кресле у себя в кабинете с последним номером «Биологии морских существ» на коленях и слушал, как Рене в кабинете через коридор комкает бумагу. Она работала весь вечер, было слышно, как возрастает ее раздражение, хотя, когда он заглядывал час назад, она сидела с обыч­ным непроницаемым лицом.

Отложив журнал, он поднялся и подошел к две­ри ее кабинета. На столе лежал открытый том, стра­ницы были заполнены обычными иероглифически­ми уравнениями, перемежающимися пояснениями на русском.

Она просмотрела часть материала, едва заметно нахмурившись, отвергла его и захлопнула том. Карл услышал, как она пробормотала слово «бесполез­но». Потом Рене снова убрала книгу в шкаф.

— У тебя давление повысится, если будешь про­должать в том же духе, — пошутил Карл.

— Нечего мной помыкать. Карл был ошарашен.

— И не собирался.

Рене повернулась к нему, уставилась враждебно.

— Я сама знаю, когда способна продуктивно работать, а когда нет.

Его пробрала дрожь.

— Тогда не буду тебе мешать. — Он отступил.

— Спасибо.

Ее взгляд вернулся к полкам. Карл ушел, стара­ясь расшифровать этот враждебный взгляд.

5

На Втором Международном конгрессе матема­тиков в 1900 году Дэвид Гильберт представил спи­сок того, что считал двадцатью тремя самыми важ­ными нерешенными проблемами математики. Вто­рым пунктом в его списке стояло требование найти доказательство непротиворечивости арифметики. Подобное доказательство подтвердит непротиворе­чивость значительной части положений высшей ма­тематики. По сути, оно даст твердую гарантию, что никто больше не докажет, что один равен двум. Мало кто из математиков придал значение этой задаче.

5 a

Рене знала, что скажет Фабризи, еще до того, как он открыл рот.

— Черт бы меня побрал, это самая невероятная штука, какую я когда-либо видел. Знаешь, есть та­кая игрушка для малышей, где нужно вставить бло­ки с различным сечением в различной формы пазы? Читать твои формулировки — все равно что смот­реть, как кто-то берет один такой блок и вставляет его во все до единого отверстия на доске, и всякий раз блок входит безукоризненно,

— Значит, ты не можешь найти ошибки?

Он покачал головой.

— Куда мне! Я попал в ту же колею, что и ты. Могу рассматривать это только под одним углом.

Рене давно уже выбралась из колеи: она нашла совершенно иной подход, но он только подтвердил исходное противоречие.

— Ладно, спасибо, что попытался.

— Дашь это посмотреть кому-нибудь еще?

— Да. Думаю послать Каллагану в Беркли. Мы переписываемся с прошлой весны, после конфе­ренции.

Фабризи кивнул:

— Его последняя статья производит сильное впечатление. Дай мне знать, если он что-нибудь найдет. Любопытство, понимаешь ли.

Сама Рене употребила бы слово посильнее, чем «любопытство».

5 b

Не мучится ли Рене из-за работы? Карл знал, что в математике она никогда не видела трудно­стей, один только интеллектуальный вызов. Может, она впервые столкнулась с проблемой, на которой застряла? Вообще бывает ли в математике такое? Сам Карл был чистым экспериментатором; на деле он даже не знал, как Рене строит свою новую мате­матику. Звучит глупо, но вдруг у нее кончились идеи?