我读到了一些繁忙的海狸数字,以及它们如何比任何可计算函数渐近地增大。为什么会这样呢?是因为忙的海狸功能无法计算吗?如果是这样,那么所有不可计算的函数会渐渐地变得比可计算的函数大吗?
编辑:
以下是不错的答案,但我想用简单的英语解释我对它们的理解。
如果有一个可计算函数f的增长快于忙碌的海狸函数,那么这意味着忙碌的海狸函数受f限制。换句话说,图灵机只需要运行f(n)多个步骤即可确定停止问题。由于我们知道暂停问题尚不确定,因此我们最初的预设是错误的。因此,繁忙的海狸功能比所有可计算功能增长得更快。
关于您的“普通英语”部分,您从答案中得到的是什么?您如何从忙碌海狸功能的界限决定一般的停顿问题?请注意,为任何给定的图灵机决定暂停并不是没有争议的。
—
拉斐尔