第190章 妖君威势[第2页/共3页]

但是！

妖君威势，当是非常可骇！

但是程理几近在一刹时就冲了出去，往2993层冲了畴昔。

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

这就是血妖岛在战役中非常强大的一部分启事地点。

但是，这一次，就如许水到渠成的，自但是然的被程理找到体味体的思路和体例。

前面2990层的题目，在奥秘资讯的灵感影响下，对程理数学程度的凝练和晋升，在这一刻阐扬了奇异的结果。

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

“时候已经未几了，我在这一层卡住了整整1个小时的时候，得抓紧时候了，但愿前面9层的题目，可别都这么难的，要不就垮台了。”程理有些担忧道。

场面对青灵岛来讲，是极其倒霉的。

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

而在拓木真人四周，有三名妖王正围着他，展开最狠恶的猛攻！

比拟地球上通过计算机来计算上百亿次，停止强行解答的体例。

“嗯，就是如许，这里应当这么措置……将舆图上分歧地区用分歧的点来表示……”

“对！就是用拓扑学！”程理鼓掌道。

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

另有8层！

要晓得，这但是一名妖王！堪比元婴期修真者的存在！

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

但实际上，哥德尔不完整性定理的证明过程却不算过分于庞大，他更超前的是思惟层面上的束缚。

这是拓木真人最强大的雷法，雷法本就对血妖如许的至阴修法具有禁止结果。

有这个严峻认识的程理，加快法度，一起飞奔的直接冲上了第2992层！

“玄雷九落！”

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

就在程理冒死追逐时候的时候。

而就在这个时候，从血池上传来一股让人非常惊骇的颠簸。

“我竟然胜利了？”

然后他顿时动手在光沙上开端打草稿，没一会就涂涂抹抹了好几版。

光沙上此时仍然闪现着程理写下的证明过程，程理的证明步调一共分为21步，全部过程主如果通过逻辑和拓扑来证明，辅以少量的计算，并停止了严格的公理化证明。

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

这个题目就是闻名的“哥德尔不完整性定理”。

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

前面2990题的题目，固然很多也都是很难，但程理晓得都是地球上已经被人处理过的题目，他相称于只是站在巨人的肩膀上，占了事前晓得答案的便当，相称于开挂。

如许一道相称首要的题目，被放到2992层，也是合情公道。

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

哥德尔不完整性定理，是某种否定性的成果，但这项否定性的布局却带来了数学根本研讨划期间的窜改。

竟然就如许被拓木真人再次斩落！

这个题目并非不难，究竟上，它在数学史上的职位相称首要，是触及到数学最根本的会商。