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

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

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

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

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

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

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

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

Loading...

未加载完，尝试【刷新】or【关闭小说模式】or【关闭广告屏蔽】。

尝试更换【Firefox浏览器】or【Chrome谷歌浏览器】打开多多收藏！

移动流量偶尔打不开，可以切换电信、联通、Wifi。

收藏网址：www.360lele.cc

(＞人＜；)