Страница 4 из 6
Карл попытался зайти с другой стороны.
— Подожди. Ты только что упомянула мнимые числа. Почему твои выкладки хуже их? Когда-то математики считали, что они не имеют смысла, а сейчас они приняты как азы. Ситуация та же.
— Не та же! Там решение заключалось в расширении контекста, а здесь это ничего не даст. Мнимые числа привнесли в математику нечто новое, а мой формализм пересматривает уже существующее.
— Но если изменить контекст, посмотреть на это в другом свете...
Она закатила глаза.
— Нет! Это следует из аксиом с такой же непреложностью, как сложение; это никак не обойдешь. Поверь моему слову.
7
В 1936 году Герхард Гентцен привел доказательство полноты арифметики, но для этого ему пришлось прибегнуть к некоему спорному методу, известному как бесконечная индукция. Эта последняя не относилась к обычным методам доказательства и казалась мало уместной как гарантия непротиворечивости арифметики. Гентцен всего лишь доказал очевидное, допустив сомнительное.
7 a
Из Беркли позвонил Каллаган, но не смог предложить избавления. Он сказал, что и дальше будет изучать ее работу, но, похоже, она наткнулась на что-то фундаментальное и тревожное. Он хотел знать, планирует ли она опубликовать свой теоретический формализм, поскольку если он содержит ошибку, которую не может найти ни один из них, в математическом сообществе обязательно отыщутся те, кто сможет.
Рене едва в силах была слушать его голос и пробормотала, что еще с ним свяжется. В последнее время, особенно после ссоры с Карлом, ей стало трудно разговаривать с людьми. Остальные на факультете начали ее избегать. Она не могла ни на чем сосредоточиться, а прошлой ночью ей приснился кошмар, в котором она открыла формализм, позволяющий переводить произвольные утверждения в математическое выражение, и тогда она доказала, что жизнь эквивалентна смерти.
Вот это ее напугало: возможность того, что она теряет рассудок. Она определенно утратила ясность мысли, то есть уже подошла достаточно близко.
«Ну что ты за идиотка, — одернула она себя. — Разве Гёдель покончил с собой, доказав свою Теорему о неполноте?»
Но это была красивая, вдохновенная, одна из самых элегантных теорем, какие Рене когда-либо видела.
Ее собственное доказательство насмехалось над ней, издевалось. Как головоломка в детской книжке, она говорила: «Вот тебе, ты проглядела ошибку, посмотрим, сумеешь ли ты найти, где облажалась, — а потом поворачивалась и говорила: — Опять попалась».
Она воображала, как Каллаган обдумывает, какие последствия будет иметь ее открытие для математики. Большая часть математики не имела практического применения: она существовала исключительно как формальная теория, которой занимаются ради ее интеллектуальной красоты. Но это так не останется: теория, которая внутренне противоречива, настолько бессмысленна, что большинство математиков с отвращением ее отбросят.
Впрочем, по-настоящему приводило Рене в ярость то, что ее предала собственная интуиция. Проклятая теорема имела смысл, на собственный извращенный лад воспринималась как праведная. Рене ее понимала, знала, почему она истинна, верила в нее.
7b
Карл улыбнулся, вспомнив ее день рождения.
«Глазам своим не верю! Откуда ты мог знать?»
Она сбежала по лестнице, прижимая к груди свитер.
Прошлым летом они провели отпуск в Шотландии, и в одном магазинчике в Эдинбурге был свитер, с которого Рене глаз не сводила, но не купила. Он заказал его по каталогу и вчера вечером подложил в ящик гардероба, чтобы она нашла его наутро.
«Ты вся как на ладони», — пошутил он. Они оба знали, что это неправда, но ему нравилось ей так говорить.
Это было два месяца назад. Всего два месяца назад.
Теперь же ситуация требовала сменить темп. Карл пошел в ее кабинет — Рене сидела в кресле у стола, смотрела в окно.
— Угадай, что я придумал?
Она подняла глаза.
-Что?
— Заказал на выходные номер в Билтморе. Сможем расслабиться и решительно ничего не делать.
— Перестань, пожалуйста, — сказала Рене. — Я знаю, чего ты добиваешься, Карл. Ты хочешь, чтобы мы занялись чем-нибудь приятным, чтобы я отвлеклась от этого формализма. Но не получится. Ты даже не знаешь, как он меня зацепил.
— Да ладно, ладно. — Он потянул ее за руки, чтобы поднять из кресла, но она отстранилась. Карл постоял немного, как вдруг она повернулась и посмотрела ему прямо в глаза.
— Знаешь, у меня даже появилось искушение начать принимать барбитураты. Я почти жалею, что не слабоумная, тогда я могла бы об этом не думать.
Это застало его врасплох.
Не зная, что теперь делать, он сказал:
— Но почему бы тебе хотя бы не попытаться на время уехать? Вреда тут никакого, а ты, может быть, отвлечешься.
— От этого нельзя отвлечься. Ты просто не понимаешь.
— Так объясни мне.
Выдохнув, Рене отвернулась, чтобы немного подумать.
— Как будто, куда ни посмотри, все кругом кричит мне о противоречиях, — сказала она. — Теперь я все время устанавливаю равенства между числами.
Карл молчал. Потом с внезапным озарением сказал:
— Как традиционные физики, когда столкнулись с квантовой механикой. Словно теорию, в которую ты всегда верила, подменили, и новая кажется бессмысленной, но почему-то все данные ее подтверждают.
— Нет, совсем не так. — Ее отказ прозвучал почти презрительно. — Доказательства тут ни при чем, это все a priori[2] .
— И в чем же тут разница? Разве твои построения не являются доказательством?
— Господи, ты что, шутишь? Это разница между присвоением единице и двойке одного и того же значения и интуитивным пониманием. Я больше не могу держать в уме понятие четко разграниченных количеств, мне все кажутся одинаковыми.
— Я не о том говорил» — сказал он. — На самом деле никто не может испытывать, это как поверить в шесть невозможных вещей до завтрака.
— Откуда ты знаешь, что я могу испытывать?
— Я пытаюсь понять.
2
априори, заранее, до опыта (лат.). — Примеч. пер.