Най-сложната задача в математиката? Математиците търсят число, което да определи границата на познанието

В най-отдалечените кътчета на теоретичната информатика, на границата между изчислимото и непознаваемото, се разгръща тиха, но ожесточена надпревара. Целта не е нов свръхмощен процесор или изкуствен интелект, а число. Число, което е толкова колосално, че предизвиква не само нашето въображение, но и самите основи на логиката и доказателствата. Това е историята на „Проблема на заетия бобър“ (Busy Beaver – ВВ) – интелектуален маратон, който може да ни покаже къде свършва математиката.

Представете си, че не сте преподавател в престижен университет, а просто ентусиаст, въоръжен с компютър и страст към пъзелите. Точно такива хора от онлайн общността The Busy Beaver Challenge днес са в челните редици на фундаменталната наука. Тяхната цел е да намерят стойността на BB(6), шестото число в поредицата на Заетия бобър. А неотдавнашното откритие на участник под псевдонима mxdys показа, че това число има размери, които карат астрономическите стойности да бледнеят в сравнение с него.

Но за да разберем мащаба на този стремеж, трябва да се върнем към неговия произход и да разберем какво представляват тези странни „бобри“.

Какво представлява „Заетият бобър“ и защо притеснява учените?

Всичко започва с един от най-фундаменталните въпроси в компютърните науки, който е зададен от Алън Тюринг: как да разберем дали една компютърна програма все някога ще спре или ще работи вечно? Това е знаменитият „Стоп-проблем“ (halting problem). Тюринг доказва, че не съществува универсален алгоритъм, който би могъл да реши този проблем за която и да било програма.

За да изследва този проблем, той измисля абстрактен модел – машината на Тюринг. Представете си един изключително прост компютър: безкрайна лента, разделена на клетки (с нули и единици), и четяща глава, която се движи по лентата, изтривайки и записвайки символи. Поведението на главата се определя от много прост набор от правила, или „състояния“.

„Проблемът на усърдния бобър“ е своеобразна игра в тази сфера. Правилата са следните:

• Взимаме машини на Тюринг с определен брой състояния (например две, три, четири).
• Отделяме всички апарати, които могат да работят безкрайно дълго (зациклят се).
• Сред тези, които в крайна сметка спират, намираме тази, която е работила най-дълго и е оставила най-много единици на лентата.

Числото „Зает бобър“, или BB(n), е максималният брой стъпки, които една машина с n състояния може да направи, преди да спре.

Звучи като проста игра с числа, нали? Но дяволът, както винаги, се крие в детайлите. Тази последователност нараства с немислима скорост:

• BB(1) = 1
• BB(2) = 6
• BB(3) = 21
• BB(4) = 107
• BB(5) = 47 176 870 (тази стойност е намерена едва през 2024 г. след 40 години търсене!).

А какво да кажем за BB(6)? Точната му стойност е неизвестна. Но направените съвсем наскоро изчисления показват, че то е толкова голямо, че се налага да излезем извън рамките на обичайната аритметика, за да го опишем.

Кулата на степените: как да опишем неописуемото?

Свикнали сме, че повдигането на степен (например 10¹⁰⁰) генерира огромни числа. Но този език вече не е достатъчен, за да опишем долната граница на BB(6). Математиците трябваше да се обърнат към следващата операция – тетрацията.

Ако умножението е многократно събиране, а повдигането до степен е многократно умножение, то тетрацията е многократно повдигане до степен. То създава така наречените „степенни кули“. Например „2, тетрирано в 4“ е 2 на степен 2 на степен 2 на степен 2 на степен 2 на степен 2 на степен 2, което е равно на 65 536.

Така че доказаната долна граница за BB(6) е число, което е своеобразна тетрична колона от няколко нива. Както се изразява един от участниците в проекта, Шон Лигоцки, „броят на всички частици във Вселената изглежда нищожен в сравнение с тях“. Става дума за величина, която е физически немислима. Това е число, което съществува само като логическа конструкция.

Но защо изобщо преследваме тези страшилища? Дали това не е просто интелектуален спорт? Не. тук стигаме до същността на въпроса.

Да погледнем отвъд границата: къде свършва математиката?

Това преследване не е просто състезание. То е практически експеримент за откриване границите на познанието. В основата на цялата съвременна математика стои система от аксиоми, най-често ZFC (теория на множествата на Зермело-Френкел с аксиомата за избора). Тя е като операционна система за математиката – набор от основни правила, от които се извеждат всички теореми.

Още през 30-те години на миналия век Курт Гьодел доказва с известната си теорема за непълнота, че всяка достатъчно сложна система от правила (като ZFC) съдържа твърдения, които са верни, но те не могат да бъдат доказани в рамките на същата система. Това е основно ограничение на логиката. Знаем, че такива „недоказуеми истини“ съществуват, но не знаем как изглеждат те.

И точно тук се появяват ревностните бобри. Те служат като своеобразен измерител на тази абстрактна граница. Тюринг доказва, че поведението на някои машини на Тюринг по принцип не може да бъде предсказано с помощта на аксиомите на ZFC. Това означава, че стойността на BB(n) за някакво n е недоказуема в рамките на нашата математика.

Въпросът, който измъчва учените, е: колко голямо е това n? Кога ще се сблъскаме с тази стена? Учените вече доказаха, че BB(643) е недоказуемо. Но може би границата е много по-близо? Може ли BB(6) вече да се окаже самото „число на Гьодел“ – конкретна, но непознаваема стойност?

Както казва Скот Ааронсън, един от водещите изследователи в тази област, изучаването на „бобрите“ прави философските открития на Гьодел и Тюринг „количествени и конкретни“. Ние вече не говорим абстрактно за „някакви“ граници – опитваме се да ги напипаме с ръце. Намирането на машина на Тюринг, чието поведение е непредсказуемо, е като намирането на първата пукнатина в сградата на конвенционалната математика.

Не е просто игра на числа: хипотезата на Колац и колективния разум
Търсенето на BB(6) има и по-приложни аспекти. Оказа се, че някои от все още непроверените машини на Тюринг, които претендират да са „най-усърдните бобри“, в работата си имитират стъпките на друг известен нерешен проблем – хипотезата на Колац.

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

Търсенето на BB(6) има и по-приложни аспекти. Оказа се, че някои от все още непроверените машини на Тюринг, които претендират да са „най-усърдните бобри“, в работата си имитират стъпките на друг известен нерешен проблем – хипотезата на Колац.

Тази хипотеза гласи, че ако вземем което и да е естествено число и извършим две прости операции върху него (ако е четно – да го разделим на 2, ако е нечетно – да го умножим по 3 и да прибавим 1). Извършваме същите действия върху полученото число и т.н. Накрая винаги ще получим 1. Хипотезата е проверена за невъобразим брой числа, но все още няма общо доказателство

Експедицията към ръба на познанието продължава

Историята на усърдния бобър е невероятен пример за това как съвременната наука може да се развива благодарение на ентусиасти от целия свят. Това не е мегапроект с милиардни бюджети, а усърдна работа на десетки хора, които пресяват трилиони варианти в търсене на истината.

Те са като изследователи, които се опитват да измерят бездната с обикновена линийка. Всяка открита нова стойност на ВВ е не просто рекорд, а още една стъпка към хоризонта на събитията в математиката. Отвъд този хоризонт се намират твърдения, които никога не можем да докажем или опровергаем.

Ще бъде ли открит BB(6)? Или това ще се окаже първото число, което ще принуди човечеството да признае границите на своя логически апарат? Никой не знае. Но както при всяка голяма експедиция, важна е не само дестинацията, но и самото пътуване. А тази експедиция към ръба на познанието едва сега започва.