概念Computable Function
可计算函数
存在图灵机在有限步内对任意输入给出输出并停机的函数，与不可计算函数相对
时间轴 (近 90 天)
10月13日
对任意可计算函数 f，都存在某个 n 使 BB(n) > f(n)。
待验证50%
10月13日
葛立恒数是可计算的，存在一个有限算法能把它写出来。
待验证50%
存在图灵机在有限步内对任意输入给出输出并停机的函数，与不可计算函数相对
对任意可计算函数 f，都存在某个 n 使 BB(n) > f(n)。
葛立恒数是可计算的，存在一个有限算法能把它写出来。