第一百七十四章 问心（2/2）
作者：吾道长不孤
心不必问了吧，太完美了！我和我门下弟子做过很多次震心之人，可从未听说过又弟子能如他一般。”
王崎坐在地下，心中对这位阳神阁逍遥的好感蹭蹭蹭往上涨。
掌门啊，你要是想这位一样痛快多好！
陈景云轻轻点头：“我自有计较。”然后又说道：“这是最重要的问题了，你且听好。”
王崎见他说得郑重，忍不住咽了口唾沫。
“所谓算学，完备乎？相容乎？可判定乎？”
啊？王崎明显愣了一下。
这个问题和前面两个差太多了吧！
数学是完备的吗？是不是每个命题都能证明或证伪？
数学是相容的吗？是否用附和逻辑的步骤和顺序，永远不会退出相矛盾的命题？
数学是可判定的吗？是否能用一种机械的方法判定每一个命题的真伪？
这三个问题每一个都直击数学的根本，每一个都是逻辑学领域最高深的问题！
这种问题出现在高考性质的问心关之中？这就像让高中生来解规范场方程一样，是不可能的事情啊！
等一等，由于两个世界的历史已经出现分歧，哥德尔的同位体并没有出现在神州大地，所以目前来看前两个问题都是无解的……第三个问题在地球是阿兰·图灵解决的，但是……现在我还没有学到那边去，也不知道神州的机老图灵是不是解决判定问题——不对，在地球判定性问题的灵感同样来自哥德尔……
也就是说这个纯粹是信仰问题？
王崎心念电转，过了好一会才组织好语言：“第三问，我认为是否定的……若是算器便可解决所有算题，那还要我们算家作甚？”
可是，前两个问题怎么编呢？我心底里的答案当然是标达“对于一个形式逻辑系统，完备性和相容性不可并存”……但是这特么太具体了好吗！要是他再给我来个“请详解”我可办不到啊！
陈景云看着王崎为难的神色，点点头：“这三个问题都是最尖锐的算题，你也不必深究——那么，最后一个问题了。王崎，你和不准道人，是什么关系？这三个问题不在仙院教授范围之内，可是他告诉你的？”
诶？
诶诶？
王崎还在错愕，嘴上却已经开口：“当过一段时间的邻居……”
见鬼，难道这才是戏肉？
他名然怀疑我和不准道人有关！
还好陈景云问的是“不准道人”而不是“海森宝”，要不然我脱口而出的恐怕就是“海森堡是我最钦佩的科学家”……你妹，这样就真的跳进黄河都洗不清了！
“除此之外呢？他教过你什么？你一晋入仙院就能够解出传功殿后殿的题目，是否与不准道人有关？”
“除了教过我下棋之外，再没有什么了。”王崎斟酌语言：“我能解出题目，与不准道人无关。”
幸好……要是这位问的是“为什么能解出题目”……当初真是太鲁莽了……
还好这位不懂话术……
听了王崎的回答之后，陈景云看了看可哈儿一眼。可哈儿冲他点点头。陈景云这才说道：“好的，我们已经能够确认你和不准道人无关了。”
王崎长舒一口气。尼玛……海老头害人啊……
可还未等他完全放纵下来，真阐子就在他脑海里尖叫：“小心！”
王崎坐在地下，心中对这位阳神阁逍遥的好感蹭蹭蹭往上涨。
掌门啊，你要是想这位一样痛快多好！
陈景云轻轻点头：“我自有计较。”然后又说道：“这是最重要的问题了，你且听好。”
王崎见他说得郑重，忍不住咽了口唾沫。
“所谓算学，完备乎？相容乎？可判定乎？”
啊？王崎明显愣了一下。
这个问题和前面两个差太多了吧！
数学是完备的吗？是不是每个命题都能证明或证伪？
数学是相容的吗？是否用附和逻辑的步骤和顺序，永远不会退出相矛盾的命题？
数学是可判定的吗？是否能用一种机械的方法判定每一个命题的真伪？
这三个问题每一个都直击数学的根本，每一个都是逻辑学领域最高深的问题！
这种问题出现在高考性质的问心关之中？这就像让高中生来解规范场方程一样，是不可能的事情啊！
等一等，由于两个世界的历史已经出现分歧，哥德尔的同位体并没有出现在神州大地，所以目前来看前两个问题都是无解的……第三个问题在地球是阿兰·图灵解决的，但是……现在我还没有学到那边去，也不知道神州的机老图灵是不是解决判定问题——不对，在地球判定性问题的灵感同样来自哥德尔……
也就是说这个纯粹是信仰问题？
王崎心念电转，过了好一会才组织好语言：“第三问，我认为是否定的……若是算器便可解决所有算题，那还要我们算家作甚？”
可是，前两个问题怎么编呢？我心底里的答案当然是标达“对于一个形式逻辑系统，完备性和相容性不可并存”……但是这特么太具体了好吗！要是他再给我来个“请详解”我可办不到啊！
陈景云看着王崎为难的神色，点点头：“这三个问题都是最尖锐的算题，你也不必深究——那么，最后一个问题了。王崎，你和不准道人，是什么关系？这三个问题不在仙院教授范围之内，可是他告诉你的？”
诶？
诶诶？
王崎还在错愕，嘴上却已经开口：“当过一段时间的邻居……”
见鬼，难道这才是戏肉？
他名然怀疑我和不准道人有关！
还好陈景云问的是“不准道人”而不是“海森宝”，要不然我脱口而出的恐怕就是“海森堡是我最钦佩的科学家”……你妹，这样就真的跳进黄河都洗不清了！
“除此之外呢？他教过你什么？你一晋入仙院就能够解出传功殿后殿的题目，是否与不准道人有关？”
“除了教过我下棋之外，再没有什么了。”王崎斟酌语言：“我能解出题目，与不准道人无关。”
幸好……要是这位问的是“为什么能解出题目”……当初真是太鲁莽了……
还好这位不懂话术……
听了王崎的回答之后，陈景云看了看可哈儿一眼。可哈儿冲他点点头。陈景云这才说道：“好的，我们已经能够确认你和不准道人无关了。”
王崎长舒一口气。尼玛……海老头害人啊……
可还未等他完全放纵下来，真阐子就在他脑海里尖叫：“小心！”