第789部分 (第4/5页)

“那么……我们来假设一下吧！”王崎一边狂奔一边大喊，有些嘶声力竭：“想象一下，就有一头倔驴——很倔很傻的那种玩意！它在玩一个游戏！它身后背着一台不算太过复杂的机关，这种机关配备了有限个数的活板文字，可以在纸上打出有限种类的文字，然后这个机关又配备了一条无限长的纸带！”

“这些文字当中，又有一个固定的文字，代表‘停机’，出现这个文字的瞬间，这台机器就会锁死驴子的动作，让驴子停止前进！”

“而如果文字不是‘停’，那么这个机关就会进行下一步的动作。驴子每走一步，机关就会在纸带之上留下三条信息，一，要打印的当前方格的活板文字，二，纸张的移动方向；三，机关主体的移动方向……”

“而根据驴子的走路法，会按依序进行三个动作：用镶嵌器将特定的活板文字印上纸带，如果纸带已经有文字了也会覆盖上去，卡子会自动将旧的活板文字弹出；向前或者向后移动镶嵌器一格；移动主纹版的检定头一格。然后两个检定头会再次检定主纹版和皮带，如此循环……”

“那么，问题来了！老哥，如果连同‘停’字在内，这台机器上，我们要为驴子设计一个步法……是的，为驴子设计一个步法……”

王崎嘶声力竭的大喊：“由于我的绝望，所以你想必已经知晓了提花机和图灵机的构造了！你也应该清楚，我有多么害怕你会告诉我结果！”

“所以你来告诉啊啊！心想老哥！假设我们设计了一个步法令纸带可以印刷完成并且停止，而且纸带上面全部的除去‘停’字和空位以外的文字的数量总和最大，那么这个机关的印刷部件，一共印刷了多少次？”

“来！告诉我啊！”

第三百八十二章　神谕机【其一】

说一个笑话吧，一个关于数学的笑话。

如果想要用“暴力破解”的办法证明哥德巴赫猜想，那应该怎么做呢？

很简单，首先我们推测哥德巴赫猜想的完美证明“最少”需要多少个数学符号，然后我们验证这个上限以内的全部数学符号的排列组合，那么哥德巴赫猜想的证明便得以完成。

就这么简单，就这么轻松，陈景润先生的悲愿就直接达成了。

是不是很轻松很写意很愉快？

实际上呢，数学家甚至已经设计出了一种特殊的图灵机——海狸机。这种图灵机就可以用这种“暴力拆封”的办法，破解掉几乎所有数学问题。

而王崎让驴子背着的，就是一种“海狸机”。也就是所谓的“四色四态海狸机”。

如果将这种暴力穷尽的方法利用在哥德巴赫猜想的例子之上的情形时，比如说，我们可以简单地设计一个程序，它对每一个大于四的偶数都测试它是不是两个素数之和，如果它找到一个反例就输出，如果找不到，它就永远也不会停止。就这样，我们将哥德巴赫猜想转化为了某种低级的停机问题。现在我们将这个程序用两色海狸机来运行，如果这段程序使用了两色海狸机的五十种状态来编写，那么海狸机在运行了五十态的“海狸移动数”之后仍然不停止的话，那么我们就可以肯定，这个程序他永远都不会停止了——因为他已经将如果可以停止下来的话的全部的“符号的排列组合”都用光了。就这样，困扰陈景云多年的难题就会被五十态海狸机给轻易的强行碾碎。

虽然可以在海狸机内部构造各种指令让印刷头的移动步数变多，但是总的来说，只要镶嵌机可以停下来，那么纸带和海狸机的印刷部件、主部件联合的排列组合所能达到的，纸带上的文字种类总和是有限的。类似于段子里面的对所有数学符号的排列组合的暴力搜索，海狸机便是这样一个对图灵机，乃至于集合论本身的“表现真理的能力”暴力搜索的机器。