第190章 妖君威势 (第2/3页)

难，而且是地球上还没被解答的问题，那么就算他最后都能解答，恐怕也得花上不少时间，到时候青灵岛也不知道能不能撑住。

    毕竟现在每多一分一秒，外面就不知道要多死多少人。

    有这个紧张意识的程理，加快步伐，一路飞奔的直接冲上了第2992层！

    “问，请证明出，任意一个包含自然数算术的形式系统，都存在一个命题，它在这个系统中既不能被证明为真，也不能被证明为否。”

    程理看到这个问题后，才松了一口气。

    这个问题并非不难，事实上，它在数学史上的地位至关重要，是涉及到数学最基础的讨论。

    这个问题就是著名的“哥德尔不完全性定理”。

    实际上，在前面几层中，就出现过一些跟哥德尔不完全性定理有关联的问题，不过那都不是哥德尔不完全性定理本身的证明问题。

    哥德尔不完全性定理，是某种否定性的结果，但这项否定性的结构却带来了数学基础研究划时代的变革。

    因为哥德尔不完全性定理，破天荒的第一次分清了数学中“真”与“可证”是完全两种不同的概念。

    还有就是，哥德尔在不完全性定理的证明过程中提出了“原始递归函数”的概念，成为算法理论的起点，为后来的电子计算机研制，提供了理论基础。

    这样一道至关重要的问题，被放到2992层，也是合情合理。

    但实际上，哥德尔不完全性定理的证明过程却不算太过于复杂，他更超前的是思想层面上的解放。

    所以早就知晓这道题证明过程的程理，这道题并不算太困难。

    只见程理没有耽搁一分一秒时间，在看到问题后，就径直上前唰唰唰的写下答案。

    “首先设定好内定理和元定理……

    “然后这里用哥德尔编码……

    “再用不动点定理去证明……

    “最后就构造了一个公式，它‘说它自己是不可证’。这个公式为真，但不可证……”

    “证明完成。”

    程理行云流水的在光沙上写下了一整串证明过程，最后当证明完成这四个字写好后。光沙上就再次浮现出“正确”二字。

    然而程理几乎在一瞬间就冲了出去，往2993层冲了过去。

    现在他就是在和时间赛跑，争分夺秒！

    还有8层！

    ……

    就在程理拼命追赶时间的时候。

    青灵岛上的血腥大战，已经进入了白热化阶段。

    在青灵岛上空，此时几乎成了一片

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

『加入书签，方便阅读』