第190章 妖君威势(1/2)

190.

“对！就是用拓扑学！”程理拍手道。

然后他马上着手在光沙上开始打草稿，没一会就涂涂抹抹了好几版。

在这个过程中，程理的思路越发清晰，方向在经过好几次调整后也越发明确。

“嗯，就是这样，这里应该这么处理……将地图上不同区域用不同的点来表示……”

程理在不停的思索着，并且，整个过程中，程理并没有感觉道自己脑海里有跟之前一样，灵光一闪，无数灵感闪冒的现象。

然而，这一次，就这样水到渠成的，自然而然的被程理找到了解体的思路和方法。

前面2990层的问题，在神秘资讯的灵感影响下，对程理数学水平的凝练和提升，在这一刻发挥了神奇的效果。

半个小时后……

当程理写下证明的最后一步，并写下证明完成的时候，光点在屏幕上瞬间重新组合出“正确”两个字。

看到光沙上浮现出的正确二字，程理的眼睛不由得有些湿润了。

“我竟然成功了？”

他有些都不敢相信。

前面2990题的问题，虽然很多也都是很难，但程理知道都是地球上已经被人解决过的问题，他相当于只是站在巨人的肩膀上，占了事先知晓答案的便利，相当于开挂。

而这是程理第一次完全凭借自己本事，去解答一个连地球上都还没有人解答的超难问题。

光沙上此时依然浮现着程理写下的证明过程，程理的证明步骤一共分为21步，整个过程主要是通过逻辑和拓扑来证明，辅以少量的计算，并进行了严格的公理化证明。

相比地球上通过计算机来计算上百亿次，进行强行解答的方法。

毫无疑问，程理现在写下的这个证明过程，更加符合数学的美，体现了数学严格清晰的思路。

如果程理将这个证明过程，在地球上发表出去，绝对会引起大轰动，产生不亚于1995年费马猜想被证明的巨大轰动。

不过现在，只有那“正确”二字，和程理静静分享着这份喜悦。

程理并没有让自己感怀多久，几乎就十几秒的功夫，他就彻底恢复了情绪。

他看了眼光沙右下角显示的时间：“9999年6月14日7点57分。”

“时间已经不多了，我在这一层卡住了整整1个小时的时间，得抓紧时间了，希望后面9层的问题，可别都这么难的，要不就完蛋了。”程理有些担忧道。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

“证明完成。”

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

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

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

还有8层！

……

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

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

在青灵岛上空，此时几乎成了一片血液的海洋。

一部分是无数血妖被打爆后，爆开的血雾。

另外很大一部分是青灵岛这边，修真者被击杀后，洒落出的鲜血，混杂在血雾中，竟然还被吸收了。

这就是血妖岛在战争中无比强大的一部分原因所在。

他们可以越战越强！

战场上的死亡者越多，血雾越浓厚，存活下来还在战斗的血妖就会越强！

而那上千道血色瀑布更是从