Рональд Грэм, друг Бесконечности
Для своего времени (1977 год) и на протяжении многих лет это было самое больше число, использованное в математическом доказательстве.
И тем число Грэма ещё восхитительней, что для его понимания не нужно обладать специальным математическим образованием. Его может понять и испытать невероятный душевный трепет самый обычный человек с элементарными знаниями и хорошим творческим мышлением. Я это докажу.
Число Грэма настолько велико, что для него бессмысленны такие эпитеты как «огромное», «гигантское», «сверх-гигантское», «колоссальное», «чудовищное» и так далее. Любые определения превосходных категорий крайне убоги на фоне этого числа, поэтому мы сразу же успокоимся и для простоты назовём его просто: «Очень Большое число».
Рональд Грэм, друг Бесконечности
Число Грэма не имеет эквивалента в физическом мире, его невозможно отобразить предметно и даже вообразить в объеме чего-либо.
Это не количество песчинок в пустыне Сахара и всех остальных пустынь, не количество молекул воды в Мировом океане и не количество атомов во всей наблюдаемой Вселенной (≈1080).
Как первое, так второе и третье, как бы это выразиться... ну скажем: ничтожное чуть более, чем ничто по сравнению с числом Грэма.
Более того, если представить, что существует столько других Вселенных, сколько атомов в нашей Вселенной, и в каждой из них тоже столько же атомов, сколько в нашей, и если все атомы этой Мультивселенной взять вместе – то это тоже будет чуть более, чем ничто по сравнению с числом Грэма.
Это выходит, что 1080 нужно умножить на 1080 – при умножении с одинаковыми основаниями показатели степени просто складываются, а основание остаётся неизменным: получится 10160 – невидимая пыль в масштабе числа Грэма.
Можно не стесняться и сколь угодно продолжать полет завораживающей фантазии, всё далее и далее: а вот если еще взять такое количество Мультивселенных, сколько атомов в первой Мультивселенной (10160) и чтобы в каждой из них было столько же атомов, и если все их взять вместе, то есть: 10160 умножить на 10160. Получится 10320 – гигантское число, но всё также невидимая пыль по сравнению с числом Грэма.
Можно в буквальном смысле всю жизнь сидеть и придумывать Мультивселенные мультивселенных, складывать и перемножать их атомы, но результатом будет все тот же: ничтожное чуть более, чем ничто по сравнению с числом Грэма.
Конечно же, все слышали о таком числе как гугол – 10100 – это десять в степени сто. То есть единица и сто нулей. Число огромное, больше, чем количество атомов во Вселенной, как мы помним, атомов у нас ≈1080.
Ну мы гугол даже рассматривать не будем в масштабе числа Грэма, эту станцию мы давно проехали. Но есть такое число как гуголплекс – десять в степени гугол.
Вот он:
1010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000.
Впечатляет, да? Цифру 10 нужно перемножить гугол раз. Гуголплекс нельзя записать в десятичной системе. Потому что придется написать цифру 1, а после неё гугол нулей. Понимаете? Не миллиард нулей написать после цифры 1, не триллион нулей, не дециллион, а гугол нулей!
Но у нас во Вселенной атомов меньше, чем гугол, как мы помним!
То есть если даже мы решим, что каждый атом – это отдельная цифра – «1» и «0», то их не хватит, чтобы записать гуголплекс! Да на чём писать-то?! На производство бумаги уже ничего не останется во Вселенной.
Поэтому гуголплекс можно записать только в виде степени, как показано выше.
Большое число гуголплекс? Оооочень большое!
А по сравнению с числом Грэма? Гм... ничтожное чуть более, чем ничто. Простите!
А гуголплекс в степени гуголплекс? Может уже близко к числу Грэма?
Ничтожное чуть более, чем ничто.
А гуголплекс в степени гуголплекс в степени гуголплекс в степени гуголплекс в степени гуголплекс – и так гуголплекс раз?! Ничтожное чуть более, чем ничто.
Я сильно понижу планку сравнений, потому что говорил о вещах абстрактных с крайне малым индексом воображения. А представьте себе обычную пшеничную муку. У каждого на кухне есть. Если набить пшеничной мукой под завязку нашу Вселенную, как мешок размером в 93 миллиарда световых лет, то будет слишком нелепо сравнивать количество крупинок муки с числом Грэма. Слишком нелепо! Число Грэма больше в невообразимое количество раз.
Я понимаю: рассуждения кажутся густо заливистыми и мошенническими – ну разве может такое быть, чтобы число атомов вселенных и мультивселенных, гуголплексы в степени гуголплексов – и всё это ничтожное?! – может, автор чеканулся?! – но когда вы позже поймёте число Грэма, сомнения развеются.
Но достаточно лирики в отношении предмета, перейдём к прозаическому его разъяснению. Конечно, я наговорил о нём предостаточно необъятно-возвышенного. Однако, с помощью особой записи, которую можно понять и без математического образования, вы осознаете если не масштаб числа Грэма (это невозможно), но хотя бы ухватите рассудком крупицу числа Грэма, затмевающую Вселенную.
Природа числа
Эту главу можно не читать, здесь просто объясняется, как Грэм пришёл к своему числу.
Важно понимать: число Грэма – это не просто выдуманная от нечего делать величина в математике, выдумать-то можно, что угодно. Оно не символическая абстракция, а прикладной инструмент. Число Грэма – доказательство в решении математической задачи.
Сама задача из области математики под названием комбинаторика. Тоже можно понять без специального образования. Я понял, поймете и вы.
Напишу предельно простым языком, не употребляя такие слова как «графы» и «подграфы»
В общем так: у нас есть трехмерный куб. Все его вершины соединены линиями двух цветов – синего и красного. В произвольном порядке (но из каждой вершины должна исходить хотя бы одна линия другого цвета).
Можно распределить цвета так, что внутри куба получатся линии только одного цвета и лежащие в одной плоскости.
Как на рисунке справа.
Этакий красненький «андреевский» флаг или «почтовый» конвертик, как кому нравится. Но можно по-другому распределить цвета, и они не будут одного цвета в одной же плоскости – закрасить, например, одну линию «конвертика» синим.
А в четырехмерном кубе – тессеракте – можно тоже два варианта? Да, можно.
А в пятимерном? Да, можно.
В общем, математики дошли до шестимерного куба, и там всё также срабатывали оба варианта: можно и с одноцветным «конвертиком», и без него разукрасить.
На этом они остановились, потому что дело было в 70-х, и это был предел математических способностей того времени.
Но, конечно же, учёных продолжал безумно волновать вопрос: какой минимальной размерности должен быть куб, чтобы ИЗБЕЖАТЬ одноцветных линий в одной плоскости было НЕЛЬЗЯ?!
«Сколько-мерный» куб должен быть построен, когда как ни старайся, как ни комбинируй цветные линии, одноцветный «конвертик» обязательно будет наличествовать?!
Рональд Грэм предложил сокрушительный метод решения задачи: он доказал, что та самая размерность находится между цифрой 6 и неким Большим числом, которое он предложил. Может, уже семимерный куб даст неизбежный одноцветный «конвертик», а может, предпоследнее число перед Большим числом – где-то между ними – обязательно.
Проще говоря: Большое число – верхний предел размерности куба. Впоследствии это Большое число и назвали числом Грэма.
Кстати, в наше время нижняя граница поднялась повыше: до 13-мерного куба рассчитали математики – нет ещё обязательного одноцветного «конвертика»)))
Да, вы, конечно, можете поинтересоваться: «А почему они это делают, Грэм и другие?! Строят кубы, разрисовывают квадратики, ищут плоскости? Кому это надо вообще?!» Конечно, конечно... Но давайте так: две с половиной тысячи лет назад подобные вопросы задавали Пифагору и Евклиду их незатейливые современники, а вон оно как вышло. Не уподобляйтесь незатейливым современникам.
Приступим к осознанию числа Грэма.
Тройка
Нам понадобится цифра «3», которая должна быть возведена в Очень Большую Степень.
Но как я уже сказал, число Грэма нельзя записать не только в десятичной системе, но даже в виде степени это сделать невозможно. Однако, в семидесятых годах другой математик по имени Дональд Кнут разработал метод записи Больших чисел, который после назвали стрелочная нотация Кнута. Очень красиво звучит. Даже поэтически.
Я не буду разъяснять отдельно, что такое стрелочная нотация Кнута, чтобы не перегружать. Вы поймёте этот метод по ходу осознания числа Грэма. Также я не буду использовать особые термины (тетрация, пентация и гексация) с той же целью: не утяжелять восприятие. Как говорил Эйнштейн, нужно упрощать всё до предела, но не более того.
Итак, первый уровень:
«Одна стрелка»
3↑3
Одна стрелка в нотации Кнута означает простое возведение цифры в какую-либо степень: 2↑4 = 24 = 16; 5↑3 = 53 = 125; 10↑5 = 105 = 100 000
Но у нас в основе цифра «3».
3↑3 = 33 = 27
Всё просто! Пока всё очень просто.
Переходим на второй уровень.
«Две стрелки»
3↑↑3
Тут тоже всё достаточно просто. При двух стрелках в нотации Кнута число справа указывает, в каком количество будет представлено число, которое находится слева, при горизонтальной развёртке записи «две стрелки» в запись «одна стрелка» – упрощаем.
Справа у нас цифра «3». И слева, так получилось, что она же.
Таким образом 3↑↑3 = 3↑3↑3 – и мы получаем последовательное возведение в степени троек.
Важно!!! Вычисление в стрелочной нотации Кнута производится справа-налево.
То есть:
3↑3↑3
– это не 27↑3 = 273 = 19 683! – неправильно!
А это:
3↑3↑3 = 3↑27 = 327!
Тогда в общем:
3↑↑3 = 3↑3↑3 = 3↑27 = 327 = 7 625 597 484 987!
Ого! Впечатляет, да?!
Всего две стрелки в нотации Кнута и уже более 7 с половиной триллионов!
Но это ещё не всё. Нам придётся задержаться на уровне «две стрелки» и ввести такое понятие как «степенная башня», потому что дальше нам без него не обойтись.
Итак, возвращаемся к записи «две стрелки»: 3↑↑3
Схема построения степенной башни такая же, как при горизонтальной развёртке. Проще говоря, степенная башня – это вертикальная развёртка нотации Кнута.
Число справа указывает, в каком количестве будет представлено число, которое находится слева, при вертикальной развёртке:
Тогда:
3↑↑3 = 333
– у нас получилась степенная башня!
Важно!!! Результат степенной башни вычисляется сверху-вниз!
То есть самое верхнее число обозначает степень, в которую нужно возвести число ниже, результат сам становится степенью, в которую нужно возвести число ниже. И так далее до самого нижнего числа.
То есть у нас опять же получится не 273 !
А получится: 327
Тогда в общем:
3↑↑3 = 333= 327 = 7 625 597 484987
– как и при горизонтальной развёртке! Ну надо же – один результат )
Чтобы вы понимали: если бы справа была цифра «5», то развёртка выглядела бы так: 3↑↑5 = 3↑3↑3↑3↑3 – пять троек. И степенная башня состояла бы из пяти троек, и башню нужно было бы вычислять сверху вниз. Число уже огромное, позже придём к нему.
Думаю, всё понятно с двумя стрелками. Переходим на следующий уровень.
«Три стрелки»
Тут сложнее, но всё равно ещё доступно для быстрого понимания.
3↑↑↑3
Применяем метод горизонтальной развёртки при трёх стрелках. Число справа указывает, в каком количестве будет представлено число слева, при горизонтальной развёртке записи «три стрелки» в запись «две стрелки».
Тогда 3↑↑↑3 = 3↑↑(3↑↑3) – три тройки, а между ними по две стрелки.
Берём развёртку в «две стрелки» и вычисляем правую часть, которая в скобках:
...(3↑↑3) – скобки и вставлены для того, чтобы показать очередность вычислений.
Это простая запись в «две стрелки», которую мы уже вычислили выше в виде горизонтальной развёртки в три тройки справа-налево и в виде степенной башни в три тройки же сверху-вниз, и у нас получилось 7 625 597 484 987.
Тогда подставляем это число вместо троек с двумя стрелками в скобках:
3↑↑↑3 = 3↑↑(3↑↑3)
3↑↑↑3 = 3↑↑7 625 597 484 987
Как мы прекрасно помним, в записи «две стрелки» число справа указывает, в каком количестве будет представлено число, которое находится слева, при горизонтальной развёртке записи «две стрелки» в запись «одна стрелка».
Тогда:
3↑↑↑3 = 3↑↑7 625 597 484 987 = 3↑3↑3↑3........3↑3↑3↑3
– и количество троек, между которыми будет «одна стрелка», будет равняться числу 7 625 597 484 987!
То есть цифры «3» нужно последовательно возвести в непомерно возрастающие степени, вычисляя справа-налево – когда результат вычисления справа становится степенью для тройки левее и так далее – 7 625 597 484 987 раз!
Или можно создать вертикальную развёртку и построить «степенную башню», при которой цифра «3» вытянется лестницей степеней в количестве 7 625 597 484 987 раз!
Если каждую тройку записывать в тетрадную клеточку, то высота такой башни составит примерно 38 миллионов километров – это расстояние до планеты Венеры.
Важно!!! Степенная башня высотой до Венеры – это не число с таким количеством цифр – да, оно тоже было бы гигантским! А это именно что степенная башня, которую нужно ещё вычислять, чтобы получить конечный результат в виде числа. И вычислять нужно, как мы помним, сверху-вниз!
Так вот если мы представим, что на Венере существует какая-то древняя могущественная цивилизация, и один из её представителей возьмётся для нас вычислить степенную башню в 7 625 597 484 987 троек, то он будет спускаться по ней как по лестнице.
Первая ступенька – 3.
Вторая ступенька – 27.
Третья ступенька – 7 625 597 484 987
Четвёртая ступенька – 37 625 597 484 987 – понятия не имею, сколько это будет, вычислить уже нельзя подручными мощностями. Только супер-компьютер справится.
Пятая ступенька – 337 625 597 484 987 – тройка в степени тройки, которая сама в степени более 7 с половиной триллионов!
Это число, которое уже нельзя вычислить ни на одном супер-компьютере.
Гуголплекс побледнел перед ним и рассыпался. Это какое-то «Дикое» число! И оно всего лишь на пятой ступеньке вниз! А их там... ещё более
7 с половиной триллионов ступенек-троек! И каждая нижняя возводится в степень числа, которое получилось при вычислении верхней предыдущей.
Это – чудовищно-взрывная прогрессия.
Мы понятия не имеем в какую степень должна быть возведена самая нижняя ступенька-тройка, равно как понятия не имеем, каков будет результат – что это будет за конечное число в вычислении степенной башни?!
Но допустим, представитель древней могущественной венерианской цивилизации справился с вычислением. И не имея возможности назвать его нам, потому что в человечьем языке нет таких слов и масштабов в сознании, венерианец ограничился образным определением и назвал его «Лютое» число.
В земном научном мире у него, правда, есть название – «Tritri» («Тритри»).
Итак: 3↑↑↑3 = 3↑↑(3↑↑3) = 3↑↑7 625 597 484 987 = Лютое число (Tritri)
И для большей наглядности я нарисовал инфографику.
Переходим на следующий уровень.
«Четыре стрелки»
Я бы хотел написать «а вот это уже сложно», но если вы поняли предыдущие вычисления, то нет! Не сложно, хоть и массивней.
3↑↑↑↑3
Применяем метод горизонтальной развёртки по прежнему алгоритму: в записи «четыре стрелки» число справа указывает, в каком количестве число слева будет представлено при переводе в запись «три стрелки»:
3↑↑↑↑3 = 3↑↑↑(3↑↑↑3)
В записи «три стрелки» берём правую часть, которая в скобках: ...(3↑↑↑3)
Мы её вычислили выше. И у нас получилось Лютое число или Тритри.
Подставляем его в горизонтальную развёртку:
3↑↑↑↑3 = 3↑↑↑(3↑↑↑3)
3↑↑↑↑3 = 3↑↑↑Лютое-Тритри
Смотрим опять на нотацию «три стрелки»:.
...3↑↑↑Лютое-Тритри
Мы помним, что при записи «три стрелки» число справа указывает, в каком количестве число слева будет представлено в горизонтальной развёртке при переводе в запись «две стрелки». А справа у нас – Лютое-Тритри число.
Тогда:
...3↑↑↑Лютое-Тритри = 3↑↑(3↑↑(3↑↑(3.........(3↑↑(3↑↑(3↑↑3)) – таким образом мы видим, что при переводе записи «три стрелки» в запись «две стрелки» количество троек, между которыми «две стрелки», будет равняться... Лютому-Тритри числу!
Значит, в целом получается, что:
3↑↑↑↑3 = 3↑↑↑(3↑↑↑3) = 3↑↑↑Лютое-Тритри = 3↑↑(3↑↑(3↑↑(3.........(3↑↑(3↑↑(3↑↑3)) – таким образом выходит, что в нашем случае нотация «четыре стрелки» разворачивается в конечном итоге в нотацию «две стрелки», где количество троек будет равняться Лютому-Трири числу. Скобки поставлены для того, чтобы обозначить первоочерёдность вычисления – справа-налево.
Значит, можем исключить из записи нотацию «три стрелки» – она своё отработала, и упростить нотацию «четыре стрелки».
Тогда:
3↑↑↑↑3 = 3↑↑↑(3↑↑↑3) = 3↑↑↑Лютое-Тритри = 3↑↑(3↑↑(3↑↑(3.........(3↑↑(3↑↑(3↑↑3))
– получается:
3↑↑↑↑3 = 3↑↑3↑↑3↑↑3.........3↑↑3↑↑3↑↑3
– где количество троек в нотации «две стрелки» – Лютое-Тритри. Скобки я тоже убрал, чтобы не смущали.
Нет никакого смысла пытаться представить длину этой цепочки.
Но! Это ещё не всё!
Идём дальше и метод горизонтальной развёртки дополняем вертикальными развёртками – степенными башнями.
Мы помним, что запись «две стрелки» означает, что число справа указывает, в каком количестве будет представлено число слева при вертикальной развёртке, то есть при построении степенной башни.
И у нас тут Лютое-Тритри число троек с «двумя стрелками», которые взаимосвязаны в цепочке горизонтальной развёртки.
Начинаем строить в горизонтальной развёртке степенные башни и вычислять сверху-вниз, двигаясь справа-налево.
Тогда строим башни и вычисляем, начиная с крайних справа троек:
3↑↑↑↑3 = 3↑↑3↑↑3↑↑3.........3↑↑3↑↑3↑↑3↑↑3 = 3↑↑3↑↑3↑↑3.....3↑↑3↑↑3↑↑333=
= 3↑↑3↑↑3↑↑3......3↑↑3↑↑3↑↑7 625 597 484 987
Получается, что тройка левее должна вырасти в степенную башню, состоящую аж из 7 625 597 484 987 троек – до Венеры, помните! Я её нарисовать уже не могу тут)
И когда мы вычислим эту башню сверху-вниз, то получим наше старое доброе Лютое-Тритри число!
А следующая тройка левее должна, соответственно, вырасти в степенную башню, состоящую и Лютого-Тритри числа троек! И когда мы вычислим эту степенную башню сверху-вниз, то получим число, назовём его Лютое-1.
А следующая тройка левее должна вырасти в степенную башню, состоящую из Лютого-1 числа троек... И так далее! – мы должны двигаться левее-левее-левее... – сверхчудовищная, сверхвзрывная прогрессия от башни к башне.
И всего троек-башен у нас, как мы помним, в цепочке горизонтальной развёртки Лютое-Тритри число (учитывая, что самая права тройка – тоже башня, маленькая такая, из одной цифры).
Помним: каждая башня левее состоит из количества троек, полученного при вычислении числа предыдущей башни, которая справа.
Таким образом, когда последняя тройка слева вырастит в башню, состоящую из невообразимого числа троек, полученного при вычислении предпоследней башни; и когда мы вычислим последнюю башню, то мы получим совершенно «Жуткое» число. Или как оно называется по-научному – g1.
Для простоты понимания смотрите инфографику.
Я, конечно, тут разошёлся малость – «вычислим Лютое число, вычислим Лютое-1 число, вычислим число g1!» – смешно!
Если помните, то Лютое-Тритри нам вычислил венерианец. Сами мы не вычислим ничего. Это абсолютно невозможно.
Жуткое-g1 число – запредельно, оно за гранью всех мыслимых и немыслимых Вселенных и Мультивселенных.
И это уже число Грэма? Гм... Честно сказать: не совсем )
Давайте снова маленькое лирическое отступление.
Знаете, есть такая наука палеонтология – изучение древней жизни на Земле. В нашем случае проще говоря – динозавров. Известно, что многие из них были большими и очень большими животными. Но целиком окаменелый скелет обнаружить очень трудно. Палеонтологи чаще всего находят фрагменты, например, уцелевший позвонок аргентинозавра или амфицелия, например. И учитывая размер позвонка – 1,8 – 2,5 метров высоту, прикидывают габариты животного в целом – получается внушительно: 40 – 50 метров в длину.
Так вот Жуткое-g1 число – это фрагмент числа Грэма, но! – с небольшими поправками. Всё-таки позвонок динозавра – довольно крупный фрагмент динозавра.
А g1 – как бы это сказать, не очень крупный фрагмент числа Грэма.
Это не только не позвонок, но и даже не клетка числа Грэма. А уж если быть совсем точным – это даже не атом числа Грэма.
g1 – запредельное гигантское, невообразимое число – это какая-то субатомная, запредельно маленькая частица числа Грэма, неразличимая в масштабе его тела целиком никоим образом. Никоим!
Проследим ещё раз наш путь:
3↑3 = 27
3↑↑3 = 7 625 597 484 987
3↑↑↑3 = Лютое-Тритри число
3↑↑↑↑3 = Жуткое-g1 число
Понимаете, что всего четыре шага – от одной стрелки до четвёртой включительно – и мы получили феноменальную прогрессию от числа 27 до Жуткого-g1 числа.
Всего четыре стрелки!
Но вслед за g1 идёт g2 число.
Что оно из себя представляет?
Да это очень просто:
g2 = 3↑↑↑↑↑↑........↑↑↑↑↑↑↑3 – где количество стрелок равно... g1. Это мучительно больно!
Понимаете, да?! «Четыре стрелки» катастрофическим образом разнесли наше представление о размерности и масштабах в виде необъятного числа g1.
И следующий уровень – это «g1 стрелок», которые нужно поместить между двумя тройками.
В результате мы получим число g2. То есть никогда мы ничего не получим, это я просто так говорю – образно, поэтически)))
А после g2 идёт число g3. Что это такое? Тоже просто:
g3 = 3↑↑↑↑↑↑........↑↑↑↑↑↑↑3 – где количество стрелок равно... g2.
g4 = 3↑↑↑↑↑↑........↑↑↑↑↑↑↑3 – где количество стрелок равно... g3.
g5 = 3↑↑↑↑↑↑........↑↑↑↑↑↑↑3 – где количество стрелок равно... g4.
.
.
.
.
g63 = 3↑↑↑↑↑↑........↑↑↑↑↑↑↑3 – где количество стрелок равно... g62.
И наконец 64-й слой:
g64 = 3↑↑↑↑↑↑........↑↑↑↑↑↑↑3 – где количество стрелок равно... g63.
g64 = G
G – число Грэма
и привет Бесконечности!)
А есть ли число больше, чем число Грэма, которое также применялось
в математическом доказательстве?
Есть.
И называется это число TREE(3) – ДЕРЕВО(3)
И о нём как-нибудь в другой раз )
Конечно же, число Грэма – вымышленный персонаж физико-математического мира. Но так получилось, что многие персонажи этого мира – хоть вымышленные, хоть нет – производят несоизмеримо большее драматическое впечатление, чем любые вымышленные персонажи из лирико-художественного мира. Просто мало кто об этом задумывается.