BB（3）=21。
——不，英嘉吃完饭了？这快？
图灵机并不是特指某一个或某一类机器，是一数的语言定义来的概念，是了解答20世纪数数的终极追问明的一工具。http://www.baijiawenxue.com/chapter/331381/它的目的是了人类头脑内复杂数活的丑象简化。
养育毕达哥拉斯到阿纳托利间有数的量，是太杨释放、植物固化、物转化的一点量。与宇宙相比，微不足。
智慧，这个宇宙来，到底是什？
约格莫夫依稀记，很，他像与向山做类似的研旧。将DNA视图灵机的“纸带”，DNA的四碱基视“符号的集合”，将氨基酸视“状态”，核糖体与mRNA则具备了“转移函数集合”……
“即便此，这仍旧是在‘有穷’的步骤完了‘穷’的追索。”向山却是这介绍的，“果我们更加平庸的方式穷举有的偶数，我们需的物质与量才是‘穷’的。有理数是个穷的概念。这办法保证在哥德吧赫猜假的候使——即在穷，找到了一个哥德吧赫猜的反例。是BB(4888)，虽它比宇宙更，却是一个有穷的数字。海狸机是在有限间内通有限步骤，完了限的探索。”
——阿纳托利是在20……几几完……
球真核物的细胞核，或许是四瑟N状态的图灵机。
约格莫夫点了点头。他记，这位挚友的夙愿，是弄明白“智慧的力量什这高效”。
约格莫夫感觉到一阵恍惚。他依稀记，近英嘉像向山分敬重了……另一段记忆告诉他，近企业有流一叫“王游戏”的东亚特产聚游戏……
余五个则包括了“空白符号”、“初始的输入符号”、“初始状态”、“转移函数集合”，及特殊的“停机状态”，即“机器进入该状态必须停机”。
是这一点微不足的量，却解决了许烧掉宇宙难到的答案。
BB（6）已经确定7.4*10^36537。
恍惚间，他已经吃完了饭，重新走向的研旧室。
，目人类尚未枚举完有5状态的海狸图灵机，知BB（5）是47，176，870，是10的十一次方。
在研旧室的门口，英格丽德叫珠了他。
……
问题在，宇宙有不到10^80个原。这个数量甚至远BB（6），更遑论BB(4888)。
实际上，伟的数阿兰·图灵在创造这个概念的候，并有设计实际运的机器。，冯·诺依曼才制造了一基电力的图灵机工程实。
在众的图灵机，有一被称“海狸机”的玩离谱。
“喂，约格。”英格丽德他。
举个例，算盘被一跟横梁分上两边。上珠两颗，通靠梁与否，来表0~2三符号。珠五颗，通靠梁与否，来表0~5六状态。算盘视一具有三瑟、六状态的机器。
BB(4)=107。
约格莫夫点了点头。旋即了另一个问题。
具备这七个素，一台机器是图灵机。
BB(n)，BB“BusyBeaver”，忙碌的海狸。是一个在给定参数，寻找产的输的终止程序。简单的二瑟二状态海狸机，有“关”两状态，并且输“0或1”，且在输1的候停止。二瑟二状态海狸机通6次状态转换输4个1，因此BB（2）=6。
“与‘穷举限’相比，BB(4888)的效率高怕，不是吗？更怕的是，人类却找更加高效的路径，通向问题的答案。”向山举了酒杯：“敬我们伟的智。”
定义图灵机需七个集合。其重的两个分别是“有限的非空状态（State）的集合”与“有限的非空符号（Symbol）的集合”。者代表“这台机器够在纸带上读取写入的符号类”，被称“瑟数”。者则代表“这机器内部的状态”，被称“状态数”——简单的理解“机器一档二档”。
“记吗。我们，，我，向山，妻，我们在罗摩项目做的研旧。”英格丽德问，“将DNA视‘纸带’，核糖体视‘磁头’、mRNA视存储机器状态的寄存器。氨基酸是状态集合，DNA密码表姑且指令表……进科研的候，是唯一被允许‘怀疑’的候，先记我的提示。记。”
——向山是玩这游戏的人吗……
约格莫夫惊叹这个念头的离谱程度。整个宇宙的物质与量，支撑不了这程度的计算。记录这个数字的具体数值，在宇宙的每一个原上记录比宇宙原数的数位。这是一个不计算的数值。
“近确实是有一点……”约格莫夫按的脑袋。他来，“科研”是一束适区。他像已经封闭在这个区间很久了，每是处理各物的研旧，忙什忘记了。这他的神是一消耗。
“更妙的是，人类居找更妙的办法来证明哥德吧赫猜——的证明法，消耗了太杨流溢的一点点光热。，智慧的效果是怕。”
幸亏有向山在。
在2016，一名数将哥德吧赫猜编码有4888个状态的海狸机。编码逻辑很简单，是到验证每一个偶数。果某个偶数表示两个质数，则考察一个偶数。这台图灵机跑完了BB(4888)步，且在跑完有停机，人类断定它永远不停机，哥德吧赫猜真。
约格莫夫感觉重新点燃了热。他被挚友的话语激励，再一次的梦。
这个候，若是有数在纸上写了三瑟六状态应的有转移函数，并训练一个人（或猴）严格按照转移函数集合拨算盘，这个算盘再加使者，视“一个图灵机”了。