说一个笑话吧，一个关于数学的笑话。
如果想要用“暴力破解”的办法证明哥德巴赫猜想，那应该怎么做呢？
很简单，首先我们推测哥德巴赫猜想的完美证明“最少”需要多少个数学符号，然后我们验证这个上限以内的全部数学符号的排列组合，那么哥德巴赫猜想的证明便得以完成。
就这么简单，就这么轻松，陈景润先生的悲愿就直接达成了。
是不是很轻松很写意很愉快？。
实际上呢，数学家甚至已经设计出了一种特殊的图灵机——海狸机。这种图灵机就可以用这种“暴力拆封”的办法，破解掉几乎所有数学问题。
而王崎让驴子背着的，就是一种“海狸机”。也就是所谓的“四色四态海狸机”。
如果将这种暴力穷尽的方法利用在哥德巴赫猜想的例子之上的情形时，比如说，我们可以简单地设计一个程序，它对每一个大于四的偶数都测试它是不是两个素数之和，如果它找到一个反例就输出，如果找不到，它就永远也不会停止。就这样，我们将哥德巴赫猜想转化为了某种低级的停机问题。现在我们将这个程序用两色海狸机来运行，如果这段程序使用了两色海狸机的五十种状态来编写，那么海狸机在运行了五十态的“海狸移动数”之后仍然不停止的话，那么我们就可以肯定，这个程序他永远都不会停止了——因为他已经将如果可以停止下来的话的全部的“符号的排列组合”都用光了。就这样，困扰陈景云多年的难题就会被五十态海狸机给轻易的强行碾碎。
虽然可以在海狸机内部构造各种指令让印刷头的移动步数变多，但是总的来说，只要镶嵌机可以停下来，那么纸带和海狸机的印刷部件、主部件联合的排列组合所能达到的，纸带上的文字种类总和是有限的。类似于段子里面的对所有数学符号的排列组合的暴力搜索，海狸机便是这样一个对图灵机，乃至于集合论本身的“表现真理的能力”暴力搜索的机器。
但是，为什么没有人用这种方式研究数学呢？
成本问题。
首先，这里必须解释一下，海狸机为什么叫“海狸机”。在西方国家，“海狸”这种小动物被视作“忙碌”和“勤劳”的象征。而“忙碌海狸”，则是“忙到死”的意思。
海狸机与其延伸的“忙碌海狸问题”，就带着这样黑色的隐喻——即使忙到死，也绝对不可能完成事情。
以“海狸机所能镶嵌完成的，纸带上面的有文字的块最大时的数量”的“海狸文字数”，以及“印刷头印刷的次数”的“海狸移动数”，就是王崎方才所问题目的终极答案。
如果是二态的海狸机，那么10的连续取幂于自己10次的态的海狸机所能镶嵌完成的，皮带上面的有颜色的块最大时的数量，这便是歌庭派的策梅洛-弗兰克尔集合论所能达到的证明力的极限。
10的连续取幂于自己10次，这已经是凡人所不能达到的数，如果某个基于策梅洛-弗兰克尔集合论的证明的复杂度，或者说，证明的长度，已经达到了这个常数的地步，那么它就会处于不可证的状态，因为它相当于将集合论所能用的全部的“符号的排列组合”都用光了。
当海狸机具有三态的时候，人类的数学便已经不能揣度最后的常数了——那个数已经大道无法表达。
二色六态的海狸机，其海狸文字数和海狸移动数已经是物理上的不可求解了——如果以人类现有的电子计算机的效率来计算，即使将地球所在的无灵气宇宙整个宇宙都化为能源，也没办法得出二色六态海狸机的海狸文字数与海狸移动数。
四色四态海狸机，同样属于“物理上的无法证明”。
“心想事成”老哥疑似具有许愿机的属性，那么，这个问题就是检测它本质的时候了。
而如果它仅仅是一个具备一点力量的ai，那么它就会开始计算，然后在转瞬之间被卡死。
当然，如果它是强人工智能，能够在卡死的瞬间觉察到这个问题的威能，它就会回答无法证明。
而如果它是直连“真理”本身的神谕机，那么，它或许会在人类数学的基础上重新定义符号系统，然后给出一个王崎需要学习数年、数十年才能理解的定义。
当然，还有一种极端微小的可能，虽然渺小，但是也不能说不存在——心想老哥是一个威能巨大的伪许愿机。如果是这样，那么在这个瞬间，这个宇宙的灵力都会被剧烈的消耗。
不过，如果能够窥得这个问题的终极答案，那么……
“死也值啦！心想老哥！”王崎盯着空处，大声呐喊：“来啊！感受得到吧！我有多害怕你能够告诉我答案！”
“你告诉我这个答案，就证明你真的不可战胜！那对我来说就是最深的绝望！”
“那么，老哥，说吧！来啊！”
这一瞬间，墙壁里弹出的锥子的声音，奔跑带起的强音，隧道破裂的声音，似乎都在渐渐远离。
只剩下这个人的嘶吼。
“回答吧！”
这次，气味消失了很久。王崎不禁有一种全力一拳打在空出的感觉。有那么一瞬间，他开始怀疑“心想老哥”已经宕机了，只是身后的锥子依旧在不断的弹出，如同索命的厉鬼一般。
——不，不能这样想……
——就算是宕机，也没有这么快的……如果他真的会实现我的猜想，那么这里的物质应该会极短的时间内被剧烈消耗，最终崩溃掉……
——不，难道说，这家伙的性能真的如此糟糕，以至于这么快就宕机了？
——可身后的这些机关……难道说就算他已经消失了，这些变化依旧存在吗……
就在王崎心中绝望之色越发浓重时，某个神秘的气味再次出现在它的鼻腔之中。
【哈哈哈哈哈哈哈哈哈哈哈哈哈哈！】
气味之中的欢乐之意已经满溢出来了。心想老哥十分开心。
【真是有趣，真是有趣啊！我从来没有这么困难的接受这样的概念。只可惜的是啊，我无法给你答案？】
王崎眉头一皱：“你算不出来？”
【不，不不不不，你可以想象一下，我背后是一个巨大的钱袋，里面藏满了宝物，但是，这个钱袋上的口子——也就是你们的恐惧赋予我的人格，实在是太小了。我没办法透过我的主观意志，将这个概念转达给你。而如果这东西直接进入了你的脑海——呵呵呵呵呵，我不想想象会发生什么。将一颗恒星强行塞入一颗海洋的当中，会发生什么事呢？哈哈哈哈，我也好想知道啊！可惜，我居然想象不到应该用什么规则之内允许的法术手段告诉你】
王崎心头一沉。
第一，心想老哥是疯的，而且疯的超厉害。
第二，心想老哥恐怕是真·神谕机。即使不是，它背后恐怕也是天人大圣的数据库。、
而在王崎所能理解的范围之内，心想老哥这种层次的伪神谕机恐怕也和真神谕机没区别了。
第三，天人大圣的数学水平，或许真的……和整个宇宙的画风都不太一样。
毫无预兆的，王崎突然飞起一掌，拍向自己脑门。他用的力量是如此之大，以至于所有人都听到了颅骨碎裂的清脆响声。与此同时，雷霆炸响。王崎居然在自己掌心藏了第三枚心魔大咒记忆体。这一门记忆体，被他直接拍碎在自己的脑门上。至纯的愤怒化为雷光，焚烧男人的理性。
头部的重击加上心魔大咒，甚至还有一道藏在掌心的神瘟咒法——王崎居然在一瞬间对自己使用了不可饶恕的绝杀。就算是他，也在是瞬间陷入眩晕当中，身体一软，向着背后不断刺出的机关倒去。
谁也没有料到这一瞬间的变化。所有人都愣住了。
关键时刻，路小茜冲了出来。她拦腰抱住王崎，袖袍一荡，大象相波功运转，物质波性显现。她周围的一切细长锥子都如同画面失真一般扭曲起来。更多的机关弹出，想要叫啥二人。大象相波功终究因为无法回气，后力不济，很快便败下阵来。
地面弹出的刀刃，就要讲二人碎尸万段。
………………………………………………………………………………………………………………………………………………………………………………………………………………
“啊！”梅歌牧惨叫一声，没有继续看下去。
不是因为不忍心，而是画面在这一瞬间中断了。王崎突然挥掌自残的瞬间，他也愣住了。但是在反应过来之后，他瞬间抠出了自己的左眼眼球。
连带炼化入体的神灵权柄一齐抠出来了。
“呵，怎么了？”无名谪仙有些惊讶。
“快……带人……不，你不要进去。让所有能进入的人都进去，讲王崎杀了。”梅歌牧冷汗岑岑，身体颤抖不已：“快去啊！快！”
如果想要用“暴力破解”的办法证明哥德巴赫猜想，那应该怎么做呢？
很简单，首先我们推测哥德巴赫猜想的完美证明“最少”需要多少个数学符号，然后我们验证这个上限以内的全部数学符号的排列组合，那么哥德巴赫猜想的证明便得以完成。
就这么简单，就这么轻松，陈景润先生的悲愿就直接达成了。
是不是很轻松很写意很愉快？。
实际上呢，数学家甚至已经设计出了一种特殊的图灵机——海狸机。这种图灵机就可以用这种“暴力拆封”的办法，破解掉几乎所有数学问题。
而王崎让驴子背着的，就是一种“海狸机”。也就是所谓的“四色四态海狸机”。
如果将这种暴力穷尽的方法利用在哥德巴赫猜想的例子之上的情形时，比如说，我们可以简单地设计一个程序，它对每一个大于四的偶数都测试它是不是两个素数之和，如果它找到一个反例就输出，如果找不到，它就永远也不会停止。就这样，我们将哥德巴赫猜想转化为了某种低级的停机问题。现在我们将这个程序用两色海狸机来运行，如果这段程序使用了两色海狸机的五十种状态来编写，那么海狸机在运行了五十态的“海狸移动数”之后仍然不停止的话，那么我们就可以肯定，这个程序他永远都不会停止了——因为他已经将如果可以停止下来的话的全部的“符号的排列组合”都用光了。就这样，困扰陈景云多年的难题就会被五十态海狸机给轻易的强行碾碎。
虽然可以在海狸机内部构造各种指令让印刷头的移动步数变多，但是总的来说，只要镶嵌机可以停下来，那么纸带和海狸机的印刷部件、主部件联合的排列组合所能达到的，纸带上的文字种类总和是有限的。类似于段子里面的对所有数学符号的排列组合的暴力搜索，海狸机便是这样一个对图灵机，乃至于集合论本身的“表现真理的能力”暴力搜索的机器。
但是，为什么没有人用这种方式研究数学呢？
成本问题。
首先，这里必须解释一下，海狸机为什么叫“海狸机”。在西方国家，“海狸”这种小动物被视作“忙碌”和“勤劳”的象征。而“忙碌海狸”，则是“忙到死”的意思。
海狸机与其延伸的“忙碌海狸问题”，就带着这样黑色的隐喻——即使忙到死，也绝对不可能完成事情。
以“海狸机所能镶嵌完成的，纸带上面的有文字的块最大时的数量”的“海狸文字数”，以及“印刷头印刷的次数”的“海狸移动数”，就是王崎方才所问题目的终极答案。
如果是二态的海狸机，那么10的连续取幂于自己10次的态的海狸机所能镶嵌完成的，皮带上面的有颜色的块最大时的数量，这便是歌庭派的策梅洛-弗兰克尔集合论所能达到的证明力的极限。
10的连续取幂于自己10次，这已经是凡人所不能达到的数，如果某个基于策梅洛-弗兰克尔集合论的证明的复杂度，或者说，证明的长度，已经达到了这个常数的地步，那么它就会处于不可证的状态，因为它相当于将集合论所能用的全部的“符号的排列组合”都用光了。
当海狸机具有三态的时候，人类的数学便已经不能揣度最后的常数了——那个数已经大道无法表达。
二色六态的海狸机，其海狸文字数和海狸移动数已经是物理上的不可求解了——如果以人类现有的电子计算机的效率来计算，即使将地球所在的无灵气宇宙整个宇宙都化为能源，也没办法得出二色六态海狸机的海狸文字数与海狸移动数。
四色四态海狸机，同样属于“物理上的无法证明”。
“心想事成”老哥疑似具有许愿机的属性，那么，这个问题就是检测它本质的时候了。
而如果它仅仅是一个具备一点力量的ai，那么它就会开始计算，然后在转瞬之间被卡死。
当然，如果它是强人工智能，能够在卡死的瞬间觉察到这个问题的威能，它就会回答无法证明。
而如果它是直连“真理”本身的神谕机，那么，它或许会在人类数学的基础上重新定义符号系统，然后给出一个王崎需要学习数年、数十年才能理解的定义。
当然，还有一种极端微小的可能，虽然渺小，但是也不能说不存在——心想老哥是一个威能巨大的伪许愿机。如果是这样，那么在这个瞬间，这个宇宙的灵力都会被剧烈的消耗。
不过，如果能够窥得这个问题的终极答案，那么……
“死也值啦！心想老哥！”王崎盯着空处，大声呐喊：“来啊！感受得到吧！我有多害怕你能够告诉我答案！”
“你告诉我这个答案，就证明你真的不可战胜！那对我来说就是最深的绝望！”
“那么，老哥，说吧！来啊！”
这一瞬间，墙壁里弹出的锥子的声音，奔跑带起的强音，隧道破裂的声音，似乎都在渐渐远离。
只剩下这个人的嘶吼。
“回答吧！”
这次，气味消失了很久。王崎不禁有一种全力一拳打在空出的感觉。有那么一瞬间，他开始怀疑“心想老哥”已经宕机了，只是身后的锥子依旧在不断的弹出，如同索命的厉鬼一般。
——不，不能这样想……
——就算是宕机，也没有这么快的……如果他真的会实现我的猜想，那么这里的物质应该会极短的时间内被剧烈消耗，最终崩溃掉……
——不，难道说，这家伙的性能真的如此糟糕，以至于这么快就宕机了？
——可身后的这些机关……难道说就算他已经消失了，这些变化依旧存在吗……
就在王崎心中绝望之色越发浓重时，某个神秘的气味再次出现在它的鼻腔之中。
【哈哈哈哈哈哈哈哈哈哈哈哈哈哈！】
气味之中的欢乐之意已经满溢出来了。心想老哥十分开心。
【真是有趣，真是有趣啊！我从来没有这么困难的接受这样的概念。只可惜的是啊，我无法给你答案？】
王崎眉头一皱：“你算不出来？”
【不，不不不不，你可以想象一下，我背后是一个巨大的钱袋，里面藏满了宝物，但是，这个钱袋上的口子——也就是你们的恐惧赋予我的人格，实在是太小了。我没办法透过我的主观意志，将这个概念转达给你。而如果这东西直接进入了你的脑海——呵呵呵呵呵，我不想想象会发生什么。将一颗恒星强行塞入一颗海洋的当中，会发生什么事呢？哈哈哈哈，我也好想知道啊！可惜，我居然想象不到应该用什么规则之内允许的法术手段告诉你】
王崎心头一沉。
第一，心想老哥是疯的，而且疯的超厉害。
第二，心想老哥恐怕是真·神谕机。即使不是，它背后恐怕也是天人大圣的数据库。、
而在王崎所能理解的范围之内，心想老哥这种层次的伪神谕机恐怕也和真神谕机没区别了。
第三，天人大圣的数学水平，或许真的……和整个宇宙的画风都不太一样。
毫无预兆的，王崎突然飞起一掌，拍向自己脑门。他用的力量是如此之大，以至于所有人都听到了颅骨碎裂的清脆响声。与此同时，雷霆炸响。王崎居然在自己掌心藏了第三枚心魔大咒记忆体。这一门记忆体，被他直接拍碎在自己的脑门上。至纯的愤怒化为雷光，焚烧男人的理性。
头部的重击加上心魔大咒，甚至还有一道藏在掌心的神瘟咒法——王崎居然在一瞬间对自己使用了不可饶恕的绝杀。就算是他，也在是瞬间陷入眩晕当中，身体一软，向着背后不断刺出的机关倒去。
谁也没有料到这一瞬间的变化。所有人都愣住了。
关键时刻，路小茜冲了出来。她拦腰抱住王崎，袖袍一荡，大象相波功运转，物质波性显现。她周围的一切细长锥子都如同画面失真一般扭曲起来。更多的机关弹出，想要叫啥二人。大象相波功终究因为无法回气，后力不济，很快便败下阵来。
地面弹出的刀刃，就要讲二人碎尸万段。
………………………………………………………………………………………………………………………………………………………………………………………………………………
“啊！”梅歌牧惨叫一声，没有继续看下去。
不是因为不忍心，而是画面在这一瞬间中断了。王崎突然挥掌自残的瞬间，他也愣住了。但是在反应过来之后，他瞬间抠出了自己的左眼眼球。
连带炼化入体的神灵权柄一齐抠出来了。
“呵，怎么了？”无名谪仙有些惊讶。
“快……带人……不，你不要进去。让所有能进入的人都进去，讲王崎杀了。”梅歌牧冷汗岑岑，身体颤抖不已：“快去啊！快！”