Самая сложная задача математики? Математики ищут число, которое определит предел познания

Почему «Усердный Бобёр» пугает математиков: честный разбор числа, которое не влезает во Вселенную

Тихая гонка идёт не за процессор или ИИ. Её цель — число. Число настолько колоссальное, что ломает не только воображение, но и основы логики. Речь о «проблеме Усердного Бобра» — марафоне, который показывает, где кончается математика. Недавний прорыв участника под ником mxdys из сообщества The Busy Beaver Challenge дал новую нижнюю границу для BB(6). И она заставляет померкнуть астрономические величины.

Что такое «Усердный Бобёр» и почему он не даёт покоя?

Всё началось с вопроса Алана Тьюринга: можно ли определить, остановится ли программа или будет работать вечно? Он доказал — универсального алгоритма нет. Это «проблема остановки». Для её изучения он придумал абстрактный компьютер — машину Тьюринга. Бесконечная лента, головка, простые правила.

Проблема Усердного Бобра — игра на этом поле. Берём машины с n состояниями. Отсеиваем те, что зацикливаются. Среди останавливающихся ищем ту, что сделала больше всего шагов и записала больше всего единиц. Число BB(n) — максимальное количество шагов для n состояний.

Звучит просто. Но последовательность растёт чудовищно:

Что же насчёт BB(6)? Точное значение неизвестно. Но недавние расчёты показали: нижняя граница так велика, что для её описания пришлось выйти за рамки обычной арифметики.

Башня степеней: как описать неописуемое?

Мы привыкли к возведению в степень. 10¹⁰⁰ — уже гигант. Для BB(6) этого мало. Математики прибегли к тетрации: многократному возведению в степень. Пример: «2 тетрированное в 4» — это башня из четырёх двоек (2^(2^(2^2))) = 65 536.

Доказанная нижняя граница BB(6) — башня из нескольких уровней тетрации. Как выразился участник проекта Шон Лигоцки: «Число всех частиц во Вселенной кажется ничтожным по сравнению с ним». Это число существует только как логическая конструкция. Физически его не представить.

Как понять масштаб тетрации?
Попробуйте представить степенную башню высотой в 10 этажей. Каждый этаж — степень предыдущего числа. BB(6) — это башня, где количество этажей само описывается тетрацией. Мозг ломается — и это нормально.

Заглянуть за край: где кончается математика?

Погоня за «бобрами» — не спорт. Это эксперимент по поиску границ познания. В основе математики лежит система аксиом ZFC (теория множеств Цермело — Френкеля). В 1930-х Гёдель доказал: в любой достаточно сложной системе есть истинные утверждения, которые нельзя доказать внутри неё. Это фундаментальный предел.

Так вот, машины Тьюринга работают как линейка для этого предела. Некоторые из них ведут себя непредсказуемо в рамках ZFC. Уже доказано, что BB(643) недоказуемо. Но может, предел гораздо ближе? Может, BB(6) станет первым числом, которое математика не сможет вычислить?

Личное наблюдение автора. Недавно я заметил, что многие коллеги перестали воспринимать философию Гёделя как абстракцию. Когда ты видишь, что конкретное число — всего лишь шестой член последовательности — упирается в стену аксиом, это отрезвляет. Мы не просто говорим о пределах — мы тыкаем в них пальцем.

Не просто игра: гипотеза Коллатца и коллективный разум

Некоторые из ещё не проверенных машин Тьюринга имитируют шаги гипотезы Коллатца. Это знаменитая задача: взять любое число, если чётное — делить на 2, если нечётное — умножать на 3 и прибавлять 1. Считается, что всегда придёшь к 1, но доказательства нет. Если удастся доказать, что такая машина останавливается, это может стать ключом к варианту гипотезы.

Гонку за BB(6) ведут десятки энтузиастов со всего мира. Никаких миллиардных бюджетов. Только кропотливый перебор триллионов вариантов. Они — как исследователи, измеряющие бездну линейкой. Каждое новое значение BB — шаг к горизонту событий математики. За ним — утверждения, которые мы никогда не докажем.

Будет ли BB(6) найдено? Или оно окажется первым числом-призраком? Никто не знает. Но в этой экспедиции важен не только пункт назначения. Само путешествие меняет наше представление о том, где кончается логика и начинается вера.

Резюме от автора. «Усердный Бобёр» — не абстракция. Это инструмент, который делает философию осязаемой. Если хотите ощутить границы человеческого разума — следите за BB(6). Возможно, именно оно станет тем рубежом, за который математика не переступит.