10 10 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000
Гуголплекс не значит абсолютно ничего.
Человек не может представить себе гуголплекс чего бы то ни было, это физически невозможно. Чтобы записать такое число понадобится вся Обозримая Вселенная, если писать «нано-ручкой» прямо по вакууму. Переведем всю материю на чернила и заполним Вселенную одними сплошными цифрами, тогда получим гуголплекс. Но математики гуголплексом только разминаются. И если вы думаете, что гуголплекс в степени гуголплекс это то, о чем пойдет речь, вы даже не представляете, насколько вы ошибаетесь.
За гуголплексом идут много интересных чисел, имеющих ту или иную роль в математических доказательствах, долго ли коротко, перейдем сразу к числу Грэма, названному так в честь математика Рональда Грэма.
Визуализация космических масштабов.
Число Грэма появилось в работе, посвященной решению одной из задач в теории математика, Франка Рамсея.
Представьте себе куб, все вершины которого соединены линиями-отрезками двух цветов, красного или синего. Соединены они и раскрашены в случайном порядке.
Трёхмерный куб в теории Франка Рамсея.
Сможем ли мы исхитриться и так подобрать конфигурацию цветов (а их всего два — красный и синий), чтобы при раскраске этих отрезков у нас НЕ ВЫШЛО, что все отрезки одного цвета, соединяющие четыре вершины, лежат в одной плоскости? В данном случае, НЕ представляют из себя такую фигуру:
Можете сами покумекать, покрутить куб в воображении перед глазами, сделать подобное не так уж и сложно. Цвета два, вершин (углов) у куба 8, значит отрезков их соединяющих — 28. Можно так подобрать конфигурацию раскраски, что мы нигде не получим вышеуказанной фигуры, во всех возможных плоскостях будут разноцветные линии.
А что, если у нас больше измерений?
Что, если мы возьмем не куб, а четырехмерный куб, т. е. тессеракт?
Четырёхмерный куб — тессеракт.
Сможем ли мы провернуть тот же фокус, что и с трехмерным?
У четырехмерного куба 16 вершин и 120 отрезков их соединяющих. Количество комбинаций раскраски в четырехмерном случае гораздо больше, чем в трехмерном, но и тут не сильно сложно посчитать. Короче выяснить, что в четырехмерном пространстве тоже можно так исхитриться с раскраской отрезков у гиперкуба, что все линии одного цвета, соединяющие 4 вершины, не будут лежать в одной плоскости.
В пятимерном? И в пятимерном, там, где куб называется пентерактом или пентакубом, тоже можно. И в шестимерном тоже.
А дальше уже сложности. Грэм не смог математически доказать, что у семимерного гиперкуба удастся провернуть такую операцию. И у восьмимерного и у девятимерного и так далее. Но данное «и так далее», оказалось, не уходит в бесконечность. а заканчивается неким очень большим числом, которое и назвали «числом Грэма».
То есть существует какая-то минимальная размерность гиперкуба, при которой условие нарушается, и уже невозможно избежать комбинации раскраски отрезков, где четыре точки одного цвета будут лежать в одной плоскости. И эта минимальная размерность точно больше шести и точно меньше числа Грэма, в этом и заключается математическое доказательство ученого.
А теперь определение того, что я выше расписал на несколько абзацев, сухим и скучным языком математики.
В 1971-м году Грэм доказал, что указанная проблема имеет решение, и что это решение (количество размерности) лежит между числом 6 и неким большим числом, которое позже (не самим автором) было названо в его честь. В 2008-м году доказательство улучшили, нижнюю границу подняли, теперь искомое количество размерностей лежит уже между числом 13 и числом Грэма. Математики не спят, работа идет…
С 70-х годов прошло немало лет, были найдены математические задачи, в которых проявляются числа и побольше грэмова, но это первое число-монстр так поразило современников, понимавших о каких масштабах идет речь, что в 1980-м году его включили в книгу рекордов Гиннесса, как «самое большое число, когда-либо участвовавшее в строгом математическом доказательстве» на тот момент.