Число Грэма
Материал из Lurkmore
ACHTUNG! Опасно для моска! Министерство здравоохранения Луркмора предупреждает: вдумчивое чтение нижеследующего текста способно нанести непоправимый ущерб рассудку. Вас предупреждали. |
« |
Если долго всматриваться в бездну, бездна начнёт всматриваться в тебя. | » |
— Ницше |
Число Грэма (число Грехема, англ. Graham’s number) — ебически огромное число, которое вывел внезапно Рональд Грэм как верхний предел в хуй никому не упёршейся проблемы с раскрашенными гиперкубами из теории Рамсея. То есть, предупреждая вопросы отдельных личностей «почему именно столько, а не столько плюс адын» — это не просто взятая от балды величина, это решение конкретной задачи.
Содержание |
Суть
Проблема с кубами в теории Рамсея состоит в том, что это никакая не проблема, а одна из задач в комбинаторике, где любят переставлять или красить мелкие части одного большого множества и смотреть, что интересного может получиться. В нашем случае предлагается взять кубик, соединить его вершины линиями, и каждое получившееся ребро покрасить одним цветом из двух — либо синим, либо красным. Суть в том, чтобы понять, можно ли, по-разному закрашивая рёбра, избежать ситуации, когда одна плоскость в кубе закрашена одним цветом. То есть, мы не хотим, чтобы получался одноцветный конвертик, как на картинке. Математики посидели-позакрашивали — видят, что в обычном кубике это сделать легче лёгкого. Добавили ещё измерение (получился тессеракт), снова позакрашивали — получилось, избежать конвертика можно. Добавили пятое, шестое, седьмое — всё отлично! Но тут пришёл Грэм и сказал, что они занимаются хуитой, и он-де сразу сейчас посчитает, при каком количестве измерений одноцветный конвертик будет получаться по-любому. ИЧСХ, посчитал-таки. Таким образом, число Грэма — это количество измерений гиперкуба, при котором точно невозможно избежать подграфа, закрашенного одним цветом.
Популярность
Хотя ныне в математике используются числа, которые в 100500 раз больше, чем число Грэма, все они не настолько известны по ряду причин. Во-первых, на число Грэма обратил внимание широкой публики такой популяризатор матана, как Мартин Гарднер, написав колонку в научном журнале, где сказал, что Грэм совсем охуел придумывать такие числа. А в 1980 году число и вовсе попало в книгу рекордов Гиннесса, где ему был приписан рекорд как самому большому числу, когда-либо использовавшемуся в математическом доказательстве. В довесок ко всему, сам «способ» вычисления этой величины довольно понятен простому смертному (это просто перемноженные по несложному алгоритму тройки). После этого все мало-мальски знакомые с матаном стали фапать на это число, пытаясь как-то представить себе и объяснить другим масштаб этого числа. Но не тут-то было…
Эпичность
…, ведь число риальнэ БОЛЬШОЕ. Нет, правда. На самом деле, оно больше любых самых смелых фантазий. Представьте себе цифру, написанную самым мелким шрифтом. Таким мелким, что на атоме можно нарисовать миллионы таких цифр. Представьте себе пространство, заполненное этими цифрами во всех трёх измерениях, вплотную друг к другу. Так вот, места, чтобы вместить десятичную запись числа Грэма, потребуется гораздо больше всей наблюдаемой Вселенной. Мало того, оно не вместится даже в количество Вселенных, равное количеству цифр, помещённых в нашу Вселенную. И так далее… ну ты понел. Продолжать можно, пока клавиатура не сотрётся. А когда сотрётся, сходить за новой и убить тоже. Кстати, до сих пор мы говорили только о количестве цифр, из которых состоит число Грэма, а не о самом числе (например, миллиард секунд — это почти 32 года, но в самом числе «миллиард» всего 10 цифр)! Никакие гуголы с гуголплексами тут даже рядом не стояли.
Но все эти эпитеты и аналогии всё равно не отражают масштаба трагедии. По-настоящему заклинить свой МНУ ты можешь, попытавшись вникнуть в принцип вычисления этого числа. А чтобы не пугать честной норот простынёй непонятных знаков, мы положим его под половицу.
1. Итак, в математике существует понятие «гипероператор» для определения уровня арифметических действий. Так, сложение — это гипероператор первого уровня, а гипероператор второго уровня — умножение, которое суть повторяющееся сложение. То есть множитель — это число, которое говорит нам, сколько раз надо сложить умножаемую величину. Например: 3 · 3 = 3 + 3 + 3 = 9. Следующий гипероператор — возведение в степень, xn = х^n, что по сути является повторяющимся умножением. Пример: 33 = 3 · 3 · 3 = 27. Запись 33 в нотации Кнута будет выглядеть как 3↑3. Здесь для ясности следует сказать, что первая цифра в выражении 3↑3 — это значение, с которым мы и производим действие, а количество стрелочек между цифрами — это арифметическое действие; в данном случае одна стрелочка означает возведение в степень. Вторая цифра означает то, в какую степень надо возвести первую цифру (сколько раз перемножить на себя). Соответственно, выражение 7↑4 означает семь в четвёртой степени. Иначе говоря, 7 нужно умножить на 7 четыре раза.
2. Гипероператор четвёртого уровня — тетрация, повторяющееся возведение в степень. В записи Кнута — две стрелки между цифрами. Пример: 3↑↑3 = 33 = 333 = 327 = 7 625 597 484 987. То есть вторая цифра при наличии двух стрелок означает, что столько раз нужно возвести в степень самого себя первое число. Другими словами, показывает нам высоту степенной башни из первой цифры. Например, запись 5↑↑8 означает башню из восьми пятёрок, нагромождённых друг на друга, как кубики.
Тем, чей мозг совсем заплыл жиром или занят лишь мыслями о том, как найти тян, вкачать своего эльфа или избавиться от прыщей, следует запомнить, что в тетрации выражения высчитываются сверху вниз, или справа налево. Проще говоря, 333 равняется нихуя не 273, а как раз-таки 327. Теперь ты видишь, мой маленький мохнатый друг, что тетрация — уже довольно мощный способ записи, позволяющий коротеньким выражением записывать числа в 100500 раз бо́льшие, чем само 100500. Но это ещё не всё, ибо она является недостаточно мощным гипероператором для вычисления числа Грэма.
3. Идём дальше: гипероператор пятого уровня — пентация (повторяющаяся тетрация). Три стрелочки между цифрами. Вот здесь-то и начинается пиздец, от которого люди, не являющиеся профессиональными математиками, плюют на всю эту лабуду и больше не пытаются её понять. Но ведь ты не такой, как они? Если ты подумал, что пентация числа 3 раскладывается на 3 в степени 7 625 597 484 987, то ты ошибаешься. Ты даже не представляешь, НАСКОЛЬКО ошибаешься. Ибо 3 в степени 7 625 597 484 987 — это всего лишь 3↑↑4.
А пентация это 3↑↑↑3 = 3↑↑(3↑↑3) = 3↑↑(7 625 597 484 987) = 3↑3…(количество возведений в степень — 7 625 597 484 987 раз)…↑3. То есть степенная башня из троек получается высотой в более чем семь с половиной триллионов этажей! Иначе говоря, вторая цифра при наличии трёх стрелочек означает, какой высоты будет башня тетраций первой цифры. Для большей наглядности: 3↑↑↑4 можно записать как 3333, либо 3 ↑↑ (3 ↑↑ (3 ↑↑ 3)). И здесь главное — понять, что эта башня из тетраций не есть башня из степеней, тут эскалация намного стремительнее. 3↑↑↑4 = 3333 = 7 625 597 484 98733.
Понял, наконец, сука?! 3↑↑↑4 равняется 3 в тетрации числа, которое получается в результате вычисления степенной башни из цифры 3 высотой в 7 625 597 484 987 этажей. Соответственно, если 3↑↑↑4 записать как степенную башню из троек, то количество этажей в этой башне будет равняться числу, которое получится при вычислении степенной башни высотой в 7 625 597 484 987 этажей. Представил? Не представил, конечно, такие величины с наскоку не осмыслить.
Если ты всё-таки начал потихоньку не понимать, что за херня здесь происходит, то заново перечитай пункт 2.
4. И последний нужный нам гипероператор — гексация. Как вы уже догадались, четыре стрелочки между тройками. Это, соответственно, повторяющаяся пентация. Вторая цифра при наличии четырёх стрелочек означает, какой высоты будет уже «пентационная» башня. 3↑↑↑↑3 = 3↑↑↑(3↑↑↑3) = 3↑↑3↑↑3…3↑↑3, где количество тетраций — результат вычисления пентации 3↑↑↑3. Если опять ничего не понял, то заново прочитай пункты 3 и 2.
Если мы переместимся в самый конец этой немыслимой цепочки тетраций и начнём её вычислять, то уже вторая с конца тройка будет в тетрации равна 7 625 597 484 987. А результатом тетрации третьей тройки с конца будет число, полученное пентацией тройки в предыдущем пункте. А перед нами — ещё гуголплексы и гуголплексы повторяющихся тетраций цифры 3. Тут уже бесполезно что-то пытаться осмыслить, как-то охватить результат… И тут вы, возможно, спросите: «Неужели это число Грэма? Надо же, насколько громадное!» Но нет, это не число Грэма. Это была только математическая присказка, и она ничтожно, неизмеримо мала по сравнению с числом Грэма.
Стало быть, гексация — это всего лишь добавление к пентации одной ссаной стрелочки, но результат оказывается больше в невообразимое количество порядков. А теперь, собственно, вычисление числа Грэма. Цифра три в примерах была использована не просто так, ибо число Грэма по сути и есть перемноженные тройки. Итак, назовём результат нашей гексации (3↑↑↑↑3) G1. Это будет первый шаг вычислений. Только первый. А следующий шаг ускоряет прогрессию так, что добавление одной, десяти, МИЛЛИОНА стрелок между цифрами — топтание на месте. Шаг второй — вычисление G2. Теперь мы берём результат нашей гексации тройки и пишем выражение, где число стрелочек сверхстепени будет равно этому результату. G2 = 3↑↑↑↑↑↑↑↑↑↑↑↑↑↑…(количество стрелочек сверхстепени — G1)…↑↑↑↑↑↑↑3. Интересно, как называется гипероператор ТАКОГО уровня?..
Запись не то что результата, но даже этого гипероператора уже невозможна без сокращения. А число, получившееся при его вычислении (если, конечно, его возможно было бы вычислить), заполнило бы своими цифрами и Вселенную, и параллельные миры, и подпространство, и всяческий другой астрал. И не забываем, что в G1 количество стрелочек было равно четырём — и это уже число, недоступное для вычисления и записи обычным способом! А в G2 это число — только количество сверхстепеней. Вот так-то. Прогрессия невероятно стремительная. И это только начало. Следующим шагом идёт вычисление числа G3, где количество стрелочек сверхстепени будет равно G2! Подобным образом после этого следует ещё 62 шага вычислений, где результат каждого шага будет лишь количеством стрелок сверхстепени следующего шага, и число Грэма есть G64!
Ваистену, матан иногда штырит похлеще любых наркотиков.
Мякотка числа также в том, что, несмотря на невозможность записать число полностью, вполне возможно вычислить его последние цифры. Нерды от матана, сперва немного охуев от масштаба числа, взяли себя в руки и высчитали более 500 цифр с конца этого числа. Вот десять самых последних: …2464195387. А какая цифра первая? Ну, калькулятор вам в руки, только имейте в виду, что тепловая смерть Вселенной прервёт ваши вычисления в самом начале.
Moar
Но время идёт, математики не сидят сложа руки, и невозможное для осознания число Грэма больше не является чем-то особенным. В настоящее время самым большим числом является величина под названием «Число Райо» (Rayo’s number). У него даже есть формула и алгоритм вычисления, только вот посчитать как-то не удаётся: мощностей не хватает (и вряд ли когда-нибудь хватит). Поэтому, чтобы хоть как-то его определять, для него придумали следующую языковую конструкцию: «Самое маленькое число, большее, чем любое конечное число, определённое выражением на языке теории множеств с использованием гугола символов или меньше». Аплодисменты.
Видеота
Интересные факты
- Онотоле знает все цифры этого числа. Но вам не скажет.
- Результат степенной башни из гуголплексов в гуголплекс этажей неизмеримо меньше числа Грэма.
См. также
Ссылки
- Подробнейшее описание, написанное доставляющим языком
- Число Райо — победитель конкурса в MIT
- Джон Литлвуд о записи самых больших чисел (п. 15), 1948 год
- Ещё одна попытка объяснить вычисление числа Грэма
[ + ] Число Грэма — часть точного мира чисел
|
|||||||||
---|---|---|---|---|---|---|---|---|---|
|