第十一章 更复杂的题（1/5）

　　“莱布尼茨单子计算机又是什么鬼东西？”我的脑袋已经要爆炸了。
　　“这个我给你解释，毕竟计算机方面是我的长项。”霍鹰说道，“莱布尼茨这个人，你应该知道，他是和牛顿齐名的、同级别的大神，同时发明了微积分的。他曾经设想过宇宙基本粒子，应该是一种能动的、不能分割的精神实体，这被称为莱布尼茨单子——换言之，他认为构成物质的最小颗粒应该是有意识的，而不是如今人们认识中的那种完全绝对随机、绝对抽象、绝对客观的微观粒子。这恐怕和莱布尼茨的宗教信仰有关。随着物理学的发展，科学家们观察到了分子、原子、电子、甚至是夸克，但是客观随机、没有主观意识的。主流科学界从没有发现过哪怕是一种有所谓存在主观意识的微小颗粒。
　　而本题中给出的设备，就是假设存在一个由有意识的莱布尼茨单子驱动的——而不是眼前我们使用的这台用电子驱动的——并且用完备的哥德尔语言编辑的计算机。
　　罗杰·彭罗斯曾经做过精确的研究和计算。他发现，电子计算机根本上无法人脑的运算。原因是人脑运算从本质上看，是一种量子运算——你可以同时思考，中午是吃盖饭还是拉面，然后权衡利弊，提出结论；而电子计算机，不管发展到多先进的程度，也要基于完全刻板的哥德尔逻辑——先思考完盖饭的事情，再思考拉面——绝不会出现‘同时想两件事’的情况。
　　假如换做莱布尼茨单子，情况就完全不同了。莱布尼茨单子计算机可以做到像人脑一样兼顾不同的念头，并以类似量子坍缩的形式在不同的动态解中取舍出一个固定解；同时又可以像电子计算机一样，以哥德尔逻辑为支撑，穷举可能的情况，进行完备的推断。那么，至少在解决某个单一的、预设计算公式的具体问题上，它完全拥有超过人脑甚至一般意义上的量子计算机的计算能力。”
　　“那……这个玩意为什么画的跟一台大炮似的？”王巨君问道。
　　“这确实是个问题，我也不明白。这道题目给出的设备图纸，大概有两部分组成。一部分是咱们刚才讨论的、题目中给出的数据，关系到的都是中间这部分计算模块的。后面这个跟炮口似的，甚至还有炮管，实在是看不来是个什么东西。我猜测它大概能够发射个什么。”霍鹰挠着头说。
　　“假如它能发射莱布尼茨单子呢？”乔安娜皱着眉对霍鹰说。
　　“你的意思是，这东西能够把计算好的莱布尼茨单子加速，然后发射出去？当然，假如莱布尼茨单子存在的话？”
　　“对，我就是这个意思。”
　　“我觉得不可能。这不合逻辑。现实的逻辑会崩溃的。”
　　“这话我觉得你说到点子上了。”乔安娜说，“这货有可能是一把枪，或者一门大炮，它能够发射一枚逻辑炮弹，从而把现实撕破。”
　　“你这话是什么意思？”我完全听不懂了。
　　“这么说吧，你觉得你的‘现实’是什么？或者说，你有没有想过，你怎么‘度量’一个现实的稳定度？”
　　“我还是听不懂。”
　　“我举个例子。你如，你今天出门去，看到太阳升起来。这就是你的现实。”
　　“当然……”
　　“那么，太阳一定会升起来么？”