“停机问题？这怎么说？”

“简单来说，对于能够预知未来的宋道明来说，世界之书被摧毁、队长被杀死或者自己被杀死的结局，是等价的，因为都是无法预知。因为世界之书被摧毁的一瞬间，第二轮上帝游戏就结束了，而第二轮游戏的四个世界里的能力是无法延伸到希尔伯特空间之中的，这一点在第一轮上帝游戏之中就已经证明过了。所以，像宋道明这样能够预知未来的人，无法预测自己‘什么时候预测会停止’，所以我称之为‘停机问题’，假设能够预知未来的人就是一台能够计算未来的计算机，可是它却算不出自己在什么时候会停止。当然，严格来说，这不是传统图灵机研究上的停机问题，但是却存在着相似性。而这种限制，我相信神无月也存在着。”

我简单地阐述了我的想法，并没有在乎在一旁满脸雾水的猫女小夭是否能够听懂。

墨隆笑道：

“你的这个假设，其实还是基于丘奇—图灵论题，假设这个论题是正确的，那么不可计算数就未必是存在的。”

“没错。”我点点头，“如果丘奇—图灵论题正确，不可计算数不存在，那么，宇宙就是一台

（本章未完，请点击下一页继续阅读）

第533章 章四十九 第一团队/王一生线? (第2/3页)

是，并不是所有的数都能够用有限的文字描述出来的。这是因为文字段落是可以枚举的，它们的组合是有限的，所以也都是可以定义的。比如，汉字数量约为10万个，一篇1000字的文章，其文字的组合可能性约为10的1005次方，虽然数量大到不可思议，但是终究是可以被穷尽的，理论上，一篇汉字数量为1000字的文章组合的可能性是存在极限的，这些所有1000字文章组成的集合是可数集合，而实数集合却是不可数集合，所以去除其中可数的‘可定义数’后剩下的就是‘不可定义数’。所以不可定义数虽然不能计算，甚至不能被定义，但是确确实实也是存在的。这就是数学宇宙理论的奇妙之处。”

“而神无月的能力就是如此。对于未知的现象，利用有限的可定义文字，是无法描述出存在着的不可定义数的，只有等待那些‘不可定义数’主动跳到他面前，神无月才能够得知，并且找出反制措施。这就是神无月能力的极限了。他对结果不能做无限数量的猜想。圆空的能力，在表现出来之前，就属于‘不可定义数’的范畴，因为‘圆空无法用现有方法杀死’这样一个结果，可能是无数多的可能性造成的，而造成这无数多可能性的背后，还有无数多的因。这就好比一只圆空的猫被撞死了，是一辆货车失控造成的，而货车失控的原因，可能是司机喝醉了酒，而司机喝醉酒的原因，则是因为他妻子出轨……这样下去，因就是无限多，而且，一只猫被撞死，和红绿灯、天气、路人等因素也都有着因果关系，主管来说，货车是直接因果，但从客观来说，包括货车红绿灯、路人、天气等无数因素在内其实也有责任，所以在时间和空间上，因果都是无限多的，所以一只圆空的猫被撞死这么一个事件，就是一个‘不可定义数’。猫被撞死的原因确实存在，但是没人准确知道原因是什么。‘圆空的猫’效应，导致了神无月能力的有限性。神无月的能力，远远达不到实数集的水平。最多只在可数集范围内蹦跶罢了。”

“当然，除此之外，神无月的能力，说不定还会受到‘停机问题’的限制。在某些假设上，神无月并无法判断计算能否终止……比如说，预测自己什么时候死亡，或者世界之书什么时候被摧毁，因为一旦开始计算，呵呵，结果都是无法反馈的。”

阅读上帝们那些事儿最新章节 请关注舞文小说网(www.wushuzw.info)