Исследователи в 2022 году повысили нижний предел BB(6) с 10^36534 до 10↑↑15.
Затем команда BBchallenge улучшила оценку до 10↑↑10000000 с формальным доказательством в Coq.
Позже предел был ещё раз расширен до 2 тетрационированного вложенного 2, что эквивалентно пентации.
Для сравнения BB(5)=47 176 870, а BB(6) по новым оценкам далеко превосходит все обозримые масштабы.
Такие результаты иллюстрируют резкий рост функции Бизи-Бивера и применение операций тетрации и пентации.
Обсуждается возможность независимости значений BB(n) от аксиом ZFC уже при малых n (7–9).
Get notified when new stories are published for "🇷🇺 Hacker News Русский"