Агниджо Банерджи - Эта странная математика. На краю бесконечности и за ним

В 2007 году в рамках конкурса Big Number Duel [49] “Дуэль больших чисел” ( англ. ). в непримиримом поединке за самое большое число сошлись двое философов, старых школьных приятелей – Агустин Райо (он же Мексиканский Множитель) из Массачусетского технологического института и Адам Элга (он же Доктор Зло) из Принстона. Победителем становился тот, кто даст определение самому колоссальному числу. Схватка, в которой обмен остротами и сложнейшая математическая, логическая и философская полемика сочетались с драматизмом боя за звание чемпиона мира по боксу, проходила в забитой до отказа аудитории центра “Стата” МТИ. Первый удар нанес Элга, начертав на доске единицу (видимо, в надежде, что его соперник не в форме). Райо незамедлительно парировал этот выпад, заполнив единицами всю доску. Элга тут же удалил часть линии у основания всех единиц, кроме первых двух, превратив их тем самым в знаки факториала. Так поединок продолжался, постепенно выходя за рамки знакомой математики, пока соперники не стали на ходу изобретать собственную нотацию для все больших чисел. Говорят, что в какой-то момент один из зрителей спросил Элгу: “А это число вообще можно вычислить?” На что тот после краткой паузы ответил: “Нет”. Наконец Райо отправил соперника в нокаут сокрушительным числом, описанным им как “наименьшее положительное число, большее любого конечного положительного числа, которое может быть выражено на языке теории множеств первого порядка с использованием не более чем гугола символов”. Мы не знаем, насколько велико число Райо, и, скорее всего, никогда не узнаем. Ни один компьютер никогда не сумеет его вычислить, даже если бы во Вселенной хватило места для гугола символов. Дело здесь не в нехватке места или времени: число Райо невычислимо, так же как неразрешима проблема остановки.

Афиша конкурса Big Number Duel , проходившего в Массачусетском технологическом институте.

На сегодняшний день, если говорить о более-менее осмысленных больших числах, число Райо – своего рода граница, отделяющая нас от неизвестного. Называли и бо́льшие числа, такие, например, как BIG FOOT, объявленное в 2014 году. Но чтобы получить хотя бы смутное представление о BIG FOOT, нам придется погрузиться в странную область под названием “вселенная куч” ( oodleverse ) и выучить язык теории куч первого порядка – а здесь не обойтись без ученой степени в области высшей математики и очень своеобразного чувства юмора. Да и в любом случае все самые большие на сегодня числа построены по тому же принципу, что и число Райо.

Чтобы еще глубже проникнуть в бескрайнее пространство чисел, гугологам нужно развивать существующие методики или разрабатывать новые, так же как освоение все более дальних просторов космоса требует новых прорывов, больших и малых, в двигателестроении. А пока охотникам за большими числами придется полагаться на те же приемы, что использовал Райо, только применять их уже к расширенной версии теории множеств первого порядка. Можно, например, добавить в нее аксиомы, которые позволят оперировать бесконечностями еще более грандиозного масштаба, а с их помощью уже генерировать новые рекордные конечные числа.

Если говорить начистоту, вся эта суета с описанием больших чисел ради рекордов не слишком волнует профессиональных математиков, так же как они не видят особого смысла в вычислении все большего и большего количества знаков числа пи. Гугология все же скорее хобби – этакий интеллектуальный мачизм, гонки NASCAR для специалистов по теории чисел. В то же время нельзя сказать, что пользы от нее никакой: она помогает нам осознать пределы нашей сегодняшней математической вселенной, подобно тому как наблюдение небесных тел с помощью самых мощных телескопов раздвигает границы физического космоса.

Заманчиво думать, что огромные числа вроде числа Райо дают нам возможность немножко приблизиться к бесконечности. Но на самом деле это не так. Бесконечные числа можно использовать для получения конечных, но конечное и бесконечность никогда не сольются. Правда в том, что, как бы мы ни старались, какие бы методики ни изобретали для описания все бо́льших и бо́льших чисел, мы ни на шаг не ближе к бесконечности, чем в детстве, когда умели считать только до трех.