Busy Beaver Hunters Reach Numbers That Overwhelm Ordinary Math
2 days ago
- #halting problem
- #large numbers
- #theoretical computer science
- 忙碌的海狸数（BB(n)）是与理论计算机科学中一个难题相关的数列
- BB(5)去年由一个名为'忙碌的海狸挑战赛'的在线社区最终确定
- BB(6)的数值如此巨大，即使使用宇宙中所有原子也无法用普通十进制表示法书写
- 艾伦·图灵证明不可解的停机问题，是忙碌的海狸游戏的核心
- 蒂博尔·拉多于1962年提出忙碌的海狸游戏，用于探索图灵机停机行为的复杂性
- 计算BB(n)需要模拟所有n规则图灵机，并识别其停机前的最长运行时间
- BB(6)不断刷新下限记录，其运行时间需用迭代幂次（tetration）和五级运算（pentation）描述
- 2022年成立的'忙碌的海狸挑战赛'促进了研究者合作攻克这些难题
- 近期发现包括运行时间达10↑↑15和2↑↑↑5的图灵机，突破了数学表示法的边界
- 某些六规则图灵机（如'反九头蛇'）与科拉兹猜想等未解问题存在关联