Корпорация «Попс»

— Ах, — говорит он, переведя дух.

— Что значит «ах»? — спрашиваю я.

— Ну что ж. Да. В том-то и загвоздка с факторизацией. Никому так и не удалось найти короткий путь. Беда в том, что никто не понимает толком, как себя ведут простые числа. Проблемы, с ними связанные, ставили в тупик величайших математиков. Но теперь твоя бабушка…

— А что я? — говорит она, спускаясь по лестнице.

— Я только собирался сказать Алисе, что твоя работа может однажды помочь предсказывать простые числа и привести к открытию быстрых способов факторизации…

— М-м-м. Да, — неопределенно говорит она. — Может, в один прекрасный день…

— Но пока что, Алиса, боюсь, тебя ждет долгая кропотливая работа по старинке.

— Ты что, решил вместо себя посадить за факторизацию эту бедную девочку? — спрашивает бабушка, когда дедушка встает, чтобы сделать ей выпивку. — Стыд и срам.

Но они дружно хохочут, будто разложение на простые множители — всего лишь очередной «объездной путь».

Да уж, вот задача так задача. И все-таки, может, пробиваясь сквозь эти числа, я узнаю тайный обходной маневр. Для меня это достаточно сложно, так что я вполне наслаждаюсь работой, хотя и не знаю, сколько все это может продлиться. Стартовать нужно со списка простых; его я добыла в бабушкином кабинете и скопировала на чистые листки бумаги. Я выписала первую сотню от 2 до 541 — надеюсь, этого хватит, хотя у бабушки там, наверху, их больше десяти тысяч, как будто они — ее любимые зверушки, которых она коллекционирует. Впрочем, сотое простое число в квадрате равно 292 681 — это намного больше любого из моих чисел, так что, думаю, все будет нормально.

Чтобы выполнить факторизацию, нужно помнить следующее правило. Каждое натуральное число — либо простое, либо может быть выражено как произведение простых чисел (или «простых множителей»). Число, которое может быть разбито на простые множители, называется «составным». 7 — простое, так как делится только на 1 и само на себя. Но 9 — не простое. 9 — составное, потому что имеет простой делитель 3. Число 21 имеет два простых делителя — 3 и 7. Стало быть, факторизация происходит так: берешь число и пытаешься выяснить, на какие простые оно делится. Методом проб и ошибок. И на это и впрямь уходят века.

Впрочем, кое-что мне все же непонятно. Я — ребенок, и хотя я вполне справляюсь с факторизацией, я бы сама это дело мне не доверила, будь я на месте дедушки. Подозреваю, что он проверяет все мои результаты, когда они к нему попадают, но если он так делает, то почему сам не возьмется за факторизацию? Я в легкой растерянности. Допускаю, фишка в том, что проверять результат намного легче, чем самому его получать, но все равно: по-моему, это странновато. Думаю, он не проверял и мои данные по количеству слов и букв в рукописи. Может, все мои калькуляции ошибочны.

Иногда простые множители снятся мне по ночам.

В конце концов Киеран отваливает, и я понимаю, что иду в одиночестве. Ну, не совсем в одиночестве, иду я вместе с группой, но никто не семенит под боком и не треплется. Горло полно битого стекла. Все такое красивое; волнующий ландшафт окружает меня. Но я просто хочу завалиться спать. Когда мы добираемся до места, похожего, по-нашему мнению, на Большого Ястреба, и садимся на влажную травку, чтобы начать медитацию, я пользуюсь возможностью и немного кемарю, прислонясь к большому старому дереву, так что после сеанса Бену приходится меня расталкивать. Когда мы снова трогаемся, ноги мои налиты свинцом и тяжелы настолько, что, кажется, мне и шагу не ступить.

Непонятно, как нам удается, но, используя этот диковинный метод — медитация плюс ориентация по компасу (ни того, ни другого я лично не делаю, но могу дать независимое свидетельство: почти все остальные делают) — мы в конце концов и вправду оказываемся на берегу реки Миви; на часах — самое начало третьего. Видим знак, подтверждающий, что речь шла именно об этой реке, дружно аплодируем и кричим «ура». И, идя вдоль течения, готовые попытаться «увидеть» пресловутого пшеничного зайца, натыкаемся на паб, куда дружно заваливаемся, запыхавшиеся и голодные. Я съедаю пиалу супа и выпиваю «Кровавую Мэри», но моя простуда зашла слишком далеко. Спасения не будет. После трапезы силы совсем меня покидают. В пабе топят камин, отчего воздух жаркий и вязкий, словно сироп. На стенах — всякая жуть вроде набитых опилками оленьих голов и фотографий со сценами охоты. Они истекают кровью в небытие, когда я закрываю глаза, прижимаюсь виском к столу и всему на свете говорю «прощай».

— Я отвезу ее обратно, — слышу я голос Бена. — Ей нехорошо.

Потом — нежные руки, прохладный воздух и автомобильный мотор. Наконец, хруст гравия подтверждает, что мы вернулись домой.

Параллельно с работой над факторизацией я читаю книгу, одолженную мне бабушкой, о Курте Гёделе. Судя по всему, давным-давно дедушка был просто одержим его теориями. И вполне понятно, почему. С тем же суровым анархизмом в душе, к какому склонен дедушка, Гёдель задался целью продемонстрировать, что ни одну математическую теорему нельзя доказать исчерпывающим образом — не потому, что математика противоречива, а потому, что ей никогда не стать полностью безупречной.

В 1900 году немецкий математик Давид Гильберт дал знаменитую лекцию: он огласил двадцать три математические проблемы, которые, по его убеждению, должны стать ключевыми задачами нового столетия. Первой проблемой была «гипотеза континуума» — теория, согласно которой между алефом-нуль и алефом-один нет никакой другой бесконечности; нет промежуточного звена между Канторовыми понятиями счетного множества и несчетного множества («континуума»). Гипотеза Римана была восьмой в списке. Но Гильберт также потребовал, чтобы сами принципы и основания математики — ее аксиомы — были раз и навсегда приведены в порядок. Это была проблема номер два. Общественность тогда уже забеспокоилась: в самом ли деле непротиворечива закрытая система математики? и верны ли ее аксиомы? Если бы она содержала внутренние противоречия, тогда все доказательства всех теорем, известных к тому времени, не стоили бы ровным счетом ничего (это при условии, что хоть кто-то знал, что же такое «ничего»). Что, если, к примеру, гипотеза Римана истинна и в то же время ложна? Если 1 + 1 = 2 и одновременно 1 + 1 = 3? Такое никуда не годится.

Аксиомы — основы основ математики. Аксиомы — это утверждения, которые не могут быть доказаны, однако образуют базис для всех математических доказательств, а те, в свою очередь, являются логическими свидетельствами того факта, что нечто всегда будет обстоять строго определенным образом. Евклид, например, сформулировал доказательство, что простых чисел бесконечно много, а Кантор «сузил» эту бесконечность до алефа-нуль, или א ₀.  Доказательство теоремы Пифагора (а теперь я знаю, что это за штука, потому что она есть в моей книжке: она гласит, что квадрат гипотенузы прямоугольного треугольника всегда равен сумме квадратов двух других сторон) основано не на том, что кто-то рассматривает тьму-тьмущую прямоугольных треугольников, измеряет длины сторон и говорит: «Опаньки, кажется, тута все в порядке». Доказательство, элегантное и простое, объяснит, почему так будет всегда, до скончания вечности, для всех прямоугольных треугольников. У теоремы Пифагора много разных доказательств.

Аксиомы — то, на чем строятся доказательства, вроде утверждения «1 + 1 = 2», — иногда называют «самоочевидными»; другие «аксиомы» оказались теоремами и были доказаны. Две точки всегда можно соединить прямой линией. Все прямые углы равны между собой. Все целые составные числа являются произведением меньших простых.Это — аксиомы. Они слегка похожи на отправные точки путешествия. Выходишь из одного пункта, и, следуя указаниям, прибываешь в другой. Однако нужно знать, откуда именно стартуешь, прежде чем сможешь получить или использовать указания. Если получишь правильные указания, но пойдешь не оттуда, откуда надо, в конце концов окажешься в каком-нибудь совершенно неожиданном месте. Доказательство, сформулированное с помощью ложных аксиом, заведет в тупик.