说，只要镶嵌机可以停下来，那么纸带和海狸机的印刷部件、主部件联合的排列组合所能达到的，纸带上的文字种类总和是有限的。类似于段子里面的对所有数学符号的排列组合的暴力搜索，海狸机便是这样一个对图灵机，乃至于集合论本身的“表现真理的能力”暴力搜索的机器。
但是，为什么没有人用这种方式研究数学呢？
成本问题。
首先，这里必须解释一下，海狸机为什么叫“海狸机”。在西方国家，“海狸”这种小动物被视作“忙碌”和“勤劳”的象征。而“忙碌海狸”，则是“忙到死”的意思。
海狸机与其延伸的“忙碌海狸问题”，就带着这样黑色的隐喻——即使忙到死，也绝对不可能完成事情。
以“海狸机所能镶嵌完成的，纸带上面的有文字的块最大时的数量”的“海狸文字数”，以及“印刷头印刷的次数”的“海狸移动数”，就是王崎方才所问题目的终极答案。
如果是二态的海狸机，那么10的连续取幂于自己10次的态的海狸机所能镶嵌完成的，皮带上面的有颜色的块最大时的数量，这便是歌庭派的策梅洛-弗兰克尔集合论所能达到的证明力的极限。
10的连续取幂于自己10次，这已经是凡人所不能达到的数，如果某个基于策梅洛-弗兰克尔集合论的证明的复杂度，或者说，证明的长度，已经达到了这个常数的地步，那么它就会处于不可证的状态，因为它相当于将集合论所能用的全部的“符号的排列组合”都用光了。
当海狸机具有三态的时候，人类的数学便已经不能揣度最后的常数了——那个数已经大道无法表达
第三百八十二章 神谕机 其一(2/6)