概念BB(n) / Busy Beaver Function
忙碌海狸函数
定义为n状态双符号图灵机停机时纸带上最多1的个数的函数，是不可计算的，增长快于任何可计算函数
时间轴 (近 90 天)
10月13日
忙碌海狸函数 BB(n) 定义为一台 n 状态、双符号图灵机在最终停机时能写下的最大 1 的数量。
待验证50%
10月13日
忙碌海狸函数是不可计算的，不存在通用算法对任意 n 求出 BB(n)。
待验证50%
10月13日
BB(1)=1, BB(2)=4, BB(3)=6, BB(4)=13。
待验证50%
10月13日
BB(5) 的值被确定为 47176870。
待验证50%
10月13日
BB(6) 已经大到无法用常规符号完整写出。
待验证50%
10月13日
如果能算出 BB(n)，就能用它判定所有 n 状态图灵机是否停机，从而解决停机问题。
待验证50%
10月13日
对任意可计算函数 f，都存在某个 n 使 BB(n) > f(n)。
待验证50%
10月13日
BB(10) > 葛立恒数。
待验证50%
10月13日
BB(10) 的具体值永远无法被人类算出，因为算出它就等于解决了停机问题的一个实例。
待验证50%
10月13日
HN 讨论区评论的核心共识是：BB(10) > 葛立恒数属于忙碌海狸函数标准性质的推论，而非新的未解难题。
待验证50%
全部知识事实 (10)
待验证
HN 讨论区评论的核心共识是：BB(10) > 葛立恒数属于忙碌海狸函数标准性质的推论，而非新的未解难题。
50%待验证忙碌海狸函数是不可计算的，不存在通用算法对任意 n 求出 BB(n)。
50%待验证BB(1)=1, BB(2)=4, BB(3)=6, BB(4)=13。
50%待验证BB(5) 的值被确定为 47176870。
50%待验证BB(6) 已经大到无法用常规符号完整写出。
50%待验证如果能算出 BB(n)，就能用它判定所有 n 状态图灵机是否停机，从而解决停机问题。
50%待验证对任意可计算函数 f，都存在某个 n 使 BB(n) > f(n)。
50%待验证BB(10) > 葛立恒数。
50%待验证忙碌海狸函数 BB(n) 定义为一台 n 状态、双符号图灵机在最终停机时能写下的最大 1 的数量。
50%待验证BB(10) 的具体值永远无法被人类算出，因为算出它就等于解决了停机问题的一个实例。
50%