第一百七十四章 问心 (3 / 4)
        掌门啊，你要是想这位一样痛快多好

        陈景云轻轻点头：“我自有计较。”然后又说道：“这是最重要的问题了，你且听好。”

        王崎见他说得郑重，忍不住咽了口唾沫。

        “所谓算学，完备乎相容乎可判定乎”

        啊王崎明显愣了一下。

        这个问题和前面两个差太多了吧

        数学是完备的吗是不是每个命题都能证明或证伪

        数学是相容的吗是否用附和逻辑的步骤和顺序，永远不会退出相矛盾的命题

        数学是可判定的吗是否能用一种机械的方法判定每一个命题的真伪

        这三个问题每一个都直击数学的根本，每一个都是逻辑学领域最高深的问题

        这种问题出现在高考性质的问心关之中这就像让高中生来解规范场方程一样，是不可能的事情啊

        等一等，由于两个世界的历史已经出现分歧，哥德尔的同位体并没有出现在神州大地，所以目前来看前两个问题都是无解的第三个问题在地球是阿兰图灵解决的，但是现在我还没有学到那边去，也不知道神州的机老图灵是不是解决判定问题不对，在地球判定性问题的灵感同样来自哥德尔

        也就是说这个纯粹是信仰问题

        王崎心念电转，过了好一会才组织好语言：“第三问，我认为是否定的若是算器便可解决所有算题，那还要我们算家作甚”

        可是，前两个问题怎么编呢我心底里的答案当然是标达“对于一个形式逻辑系统，完备性和相容性不可并存”但是这特么太具体了好吗要是他再给我来个“请详解”我可办不到啊

        内容未完，下一页继续阅读

更多完整内容阅读登陆

《墨缘文学网，https://wap.mywenxue.org》