还有就是，哥德尔在不完全性定理的证明过程中提出了“原始递归函数”的概念，成为算法理论的起点，为后来的电子计算机研制，提供了理论基础。
    这样一道至关重要的问题，被放到2992层，也是合情合理。
    但实际上，哥德尔不完全性定理的证明过程却不算太过于复杂，他更超前的是思想层面上的解放。
    所以早就知晓这道题证明过程的程理，这道题并不算太困难。
    只见程理没有耽搁一分一秒时间，在看到问题后，就径直上前唰唰唰的写下答案。
    “首先设定好内定理和元定理……
    “然后这里用哥德尔编码……
    “再用不动点定理去证明……
    “最后就构造了一个公式，它‘说它自己是不可证’。这个公式为真，但不可证……”
    “证明完成。”
    程理行云流水的在光沙上写下了一整串证明过程，最后当证明完成这四个字写好后。光沙上就再次浮现出“正确”二字。
    然而程理几乎在一瞬间就冲了出去，往2993层冲了过去。
    现在他就是在和时间赛跑，争分夺秒！
    还有8层！
    ……
    就
 <本章未完请点击"下一页"继续观看!>