第10章 罗素悖论与符号语言(4/4)

，朱清云继续道：

    “奥丁系统这样能够模拟出极其细微场景的超级系统，必然极其容易出现系统漏洞。如果不定期进行停机自我检测的话，则会导致bug封包的积累，甚至陷入理发师悖论等自我指涉矛盾而导致系统死机崩溃。因此，奥丁系统必定需要至少两个系统交替运作，才能够保证在一台系统停机自我检测时让另外一个系统维持虚拟世界不中断。”

    我面如吃了苦瓜一般难受地盯着朱清云，问道：

    “你就别再卖弄你那三寸铁了……自我指涉是个啥玩意儿？还有你说的理发师悖论，该不会是数学上的……”

    站在一旁的小梦看着我，轻声解释道：

    “不错，这就是数学上着名的罗素悖论。理发师悖论的存在，也是很多系统造成死机的原因。举个例子，这个世界上如果只有一个理发师，而且他只给不会自己理发的人理发，那么，他到底该不该给自己理发呢？如果他给自己理发，就违背了他只给不会自己理发的人理发的话，而如果他不给自己理发，那么他就应该给自己理发……这样一来，理发师到底该不该给自己理发，就会变成一个逻辑上的死循环命题。如果计算机也出现了这样的死循环，就会导致在这个命题上无限地运算下去，导致硬盘由于计算超负荷到达物理极限而崩溃掉。那是非常可怕的。当一句话要针对的对象涉及到自己的时候，就往往会出现矛盾，这就是自我指涉矛盾了。就好比小孩子开玩笑时说：‘我比宇宙中的任何人都要强’一样，说我比任何人都要强时，‘我’算不算人呢？如果‘我’算是人，那么，‘我’就比‘我’自己要强了，那么，为了不让‘我’超过‘我’，我就必须更强，于是就会造成无限上升的逻辑死循环。”

    “为了避免奥丁系统出现这样的理发师悖论导致死循环而无法继续工作下去的情况，必须要保证有两台系统交替工作。这样如果出现理发师矛盾的时候，就可以从另外一台系统b中搬来一个新的‘理发师’作为救兵，来为系统a中那位不能给自己理发的理发师理发，从而解决矛盾。”