И “невыразимое”, и гуголплекс, и числа Скьюза титанически велики для постижения разумом. Но они и рядом не стояли с числом, названным в честь американского математика Рональда Грэма, впервые описавшего его в своей статье 1977 года. Так же как и числа Скьюза, число Грэма – результат работы над серьезной математической проблемой, на этот раз связанной с теорией Рамсея. Приближаться к числу Грэма нам придется постепенно, подобно альпинистам, покоряющим высочайшие вершины мира. Первым шагом будет знакомство с особым способом записи больших чисел, изобретенным американским ученым в области информатики Дональдом Кнутом и известным как стрелочная нотация. Она основана на том факте, что умножение всегда можно представить как многократное сложение, а возведение в степень – как многократное умножение. Например, 3 × 4 – это то же самое, что 3 + 3 + 3 + 3, а 34 = 3 × 3 × 3 × 3. В нотации Кнута возведение в степень обозначается одиночной стрелкой, направленной вверх: например, гугол, или 10100, записывается как 10↑100, а три в кубе, или 33, – как 3↑3. Повторное возведение в степень, для которого нет специального стандартного обозначения, записывается в виде двух стрелок: таким образом, 3↑↑3 = 33^3. Операция ↑↑, называемая тетрацией (поскольку она идет четвертой в иерархии после сложения, умножения и возведения в степень), – штука гораздо более сильная, чем может показаться на первый взгляд. 3↑↑3 = 33^3 = 327, что равно 7 625 597 484 987.
Тетрацию можно представить и в виде степенной башни (кошмар любого наборщика). Если с числом a требуется произвести операцию тетрации порядка k, это записывается следующим образом:
Иначе говоря, число a возводится в степень, представленную башней высотой в k – 1 этаж.
Темп, с которым растет результат математического действия при добавлении новых стрелок, просто ошеломляет: если 3 × 3 = 9, то 3↑3 дает 27, а 3↑↑3 уже больше 7,6 триллиона (13-значное число). Результат тетрации числа 4 еще поразительнее: 4↑↑4 = 4↑4↑4↑4 = 4↑4↑256, что приблизительно равно 10↑10↑154 – то есть больше гуголплекса (10↑10↑100). Перевалить за это огромное число нам удалось с помощью всего-то одной четверки и нескольких простых значков.
Но раз мы сделали такой гигантский шаг, перейдя от простого возведения в степень к тетрации, то, наверное, если добавить еще одну стрелку, можно получить что-то еще более впечатляющее? Что ж, интуиция нас не обманывает. При повторной тетрации, называемой пентацией, результат вырастает так, что аж дух захватывает! Ничем не примечательная запись 3↑↑↑3 – это то же, что 3↑↑3↑↑3, что, в свою очередь, равно 3↑↑7 625 597 484 987, или 3↑3↑3↑3…↑3, – а это уже степенная башня высотой в 7 625 597 484 987 троек. Если башни в 4 этажа достаточно, чтобы получить число, превышающее гуголплекс, только представьте себе, что получится в этом случае. Это невообразимо большое число: человеческой жизни не хватит, чтобы записать его даже в виде степенной башни. В напечатанном виде такая башня дотянется до самого Солнца. Это число, известное как “тритри”, значительно больше любого из тех, что мы упоминали до сих пор; осмыслить его нам, простым смертным, почти невозможно. А ведь мы еще только начали. Тритри, при всей своей величине, – ничтожная песчинка рядом с величественным пиком, который представляет собой число Грэма. Добавив еще одну стрелку, получим 3↑↑↑↑3 = 3↑↑↑3↑↑↑3 = 3↑↑↑тритри. Давайте разберемся, что это значит. В нагромождении степенных башен самая первая у нас 3; вторая – 3↑3↑3, или 7 625 597 484 987; третья – 3↑3↑3↑3…↑3 c 7 625 597 484 987 тройками, то есть тритри; четвертая – 3↑3↑3↑3…↑3, где тритри троек; и так далее. 3↑↑↑↑3 – это башня под номером тритри. Добавив к трем стрелкам еще одну, мы шагнули на гигантское расстояние, так далеко, что уму непостижимо. А пришли всего лишь к g1 – самому первому из серии чисел g, необходимых для того, чтобы добраться до вершины, то есть до самого числа Грэма. После передышки в базовом лагере g1 продолжаем подъем до следующего лагеря, g2. Помните, что, добавляя в запись числа всего одну стрелку, мы каждый раз увеличиваем его на чудовищную величину. Теперь внимание! Число g2 – это 3↑↑↑↑…↑3 с количеством стрелок, равным g1. Даже робкая попытка осмыслить его масштаб, понять, насколько грандиозными могут быть числа, вызывает головокружение. Всего одна дополнительная стрелка увеличивает результат на феноменальную величину, а в числе g2 таких стрелок g1. В числе g3, как вы уже наверняка догадались, g2 стрелок, в числе g4 – g3 стрелок и так далее. А само число Грэма, G, – это g64. В 1980 году оно было занесено в “Книгу рекордов Гиннесса” как самое большое число, когда-либо использованное в математическом доказательстве.
Математическую проблему, из которой родилось число Грэма, фантастически сложно решить, но довольно легко сформулировать. Связана она с многомерными кубами, то есть n-мерными гиперкубами. Представьте, что все вершины такого куба попарно соединены друг с другом отрезками, окрашенными либо в красный, либо в синий цвет. Грэм задался следующим вопросом: каково наименьшее значение n, при котором для любого варианта окрашивания найдутся четыре вершины, лежащие в одной плоскости и попарно соединенные отрезками одного цвета? Ему удалось доказать, что нижний предел для числа n – 6, а верхний – g64. Этот колоссальный разрыв свидетельствует о сложности задачи. Грэм смог доказать, что значение n, удовлетворяющее ее условиям, существует, но для этого ему пришлось определить верхний предел n с помощью числа умопомрачительной величины. С тех пор математики сумели сократить разрыв до более скромного (по сравнению с первоначальным) диапазона значений n: от 13 до 9↑↑↑4.
Число Грэма, наряду с гуголом и гуголплексом, часто приводят в качестве примера очень большого числа, имея о нем, однако, весьма смутное понятие. Во-первых, это уже далеко не самое большое из описанных чисел. Во-вторых, если уж искать новые “рекордные” числа и способы их представления и описания, то брать за основу число Грэма и увеличивать его с помощью традиционных математических операций не имеет никакого смысла.
В последние годы возник целый раздел занимательной математики под названием “гугология”, посвященный исключительно расширению горизонтов больших чисел путем описания и наименования еще бо́льших экземпляров. В принципе, назвать число, большее любого другого, может кто угодно. Если я назову число Грэма, вы можете сказать “число Грэма плюс 1”, или “число Грэма в степени, равной числу Грэма”, или даже “g64↑↑↑↑…↑g64 c числом стрелок, равным g64” (что примерно равно g65). Но такое “надстраивание” за счет повторного использования одних и тех же математических действий не влечет за собой никаких коренных изменений: в результате все равно получится некая производная числа Грэма. Иначе говоря, придуманное вами число будет построено примерно таким же способом, как и само число Грэма, с помощью аналогичных приемов. Серьезные гугологи называют такую неэлегантную мешанину из уже существующих чисел и функций, никак не затрагивающую исходное большое число по сути, “салатом” и относятся к ней крайне неодобрительно. Число Грэма – это стрелочная нотация, доведенная до предела своих возможностей. В “салате” же к числу Грэма просто применяют какое-нибудь несущественное математическое действие. Такие безыскусные игры со скромным приращением готовых чисел не для гугологов; их интересует разработка принципиально новой системы, которую можно было бы расширить до таких масштабов, чтобы число Грэма показалось пренебрежимо малым. Одна такая бесконечно масштабируемая система уже существует. Она называется быстрорастущей иерархией, поскольку позволяет достичь феноменальных темпов роста. Что еще важнее, эта методика уже опробована математиками на практике и часто используется как эталон при разработке новых способов получения фантастически больших чисел.
