笔趣阁 > 程序员修真之路 > 第190章 妖君威势

第190章 妖君威势

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

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

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

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

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

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

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

    半个小时后……

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

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

    “我竟然成功了?”

    他有些都不敢相信。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    “证明完成。”

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

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

    现在他就是在和时间赛跑,争分夺秒!

    还有8层!

    ……

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

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

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

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

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

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

    他们可以越战越强!

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

    而那上千道血色瀑布更是从血池上,依然在源源不断的灌在护岛大阵上。

    场面对青灵岛来说,是极为不利的。

    但是!

    在战场上的核心处,却有点不太一样。

    此时战场的焦点,也正是在这里。

    原本和一名妖王厮杀的拓木真人,此时他的灵甲右手上,已经抓着那名妖王滴落鲜血的脑袋。

    而在拓木真人周围,有三名妖王正围着他,展开最激烈的猛攻!

    “哈哈,三名妖王,你们觉得这样就能击败我吗?!太天真了,还是赶紧把你们妖君叫出来吧!你们三个还不够看!”

    拓木真人整个灵甲,散发无边气势,整个人战意凛然,越战越勇,竟然在以一敌三的情况下,还感觉在压制对方三个!

    暮然间,拓木真人抓住一个一闪即逝的空档,手上一掐决,一道雷引劈出。

    “玄雷九落!”

    这是拓木真人最强大的雷法,雷法本就对血妖这样的至阴修法具有克制效果。

    在拓木真人这道法术激发后,九道蕴含毁灭气息的玄雷,就这样悄无声息的从那三名妖王头顶劈落。

    有两名妖王,祭出自己最强大的法宝进行抵抗,勉强扛了下来。

    但另外有一名妖王,却因为拓木真人的刻意干扰,没来得祭出法宝,竟然直接就被这道玄雷,给直接就这样硬生生给劈爆了!

    要知道,这可是一名妖王!堪比元婴期修真者的存在!

    居然就这样被拓木真人再次斩落!

    而就在这个时候,从血池上传来一股让人无比恐惧的波动。

    上前道血色瀑布,也不再从血池上落下。

    下一秒,一道高达千米的血色光影,从血池上展开,然后所有人就看到一道至邪的鬼魅身影,在空中踏着血莲,就这样一步一步的朝着拓木真人走来。

    战场上所有人和妖,在这一刻,都被这让人绝望的恐怖威能下,给完全震慑住。原本在激烈厮杀的战场,竟然同时出现了一丝丝的停滞。

    妖君威势,当是无比恐怖!

    “你值得我出手。”