第190章 妖君威势[第1页/共3页]
在这个过程中,程理的思路更加清楚,方向在颠末好几次调剂后也更加现确。
有这个严峻认识的程理,加快法度,一起飞奔的直接冲上了第2992层!
竟然就如许被拓木真人再次斩落!
在青灵岛上空,此时几近成了一片血液的陆地。
因为哥德尔不完整性定理,破天荒的第一次分清了数学中“真”与“可证”是完整两种分歧的观点。
本来和一名妖王厮杀的拓木真人,此时他的灵甲右手上,已经抓着那名妖王滴落鲜血的脑袋。
然后他顿时动手在光沙上开端打草稿,没一会就涂涂抹抹了好几版。
“玄雷九落!”
他看了目光沙右下角显现的时候:“9999年6月14日7点57分。”
“我竟然胜利了?”
而在拓木真人四周,有三名妖王正围着他,展开最狠恶的猛攻!
但是!
但别的有一名妖王,却因为拓木真人的决计滋扰,没来得祭出宝贝,竟然直接就被这道玄雷,给直接就如许硬生生给劈爆了!
另有8层!
这个题目就是闻名的“哥德尔不完整性定理”。
而就在这个时候,从血池上传来一股让人非常惊骇的颠簸。
青灵岛上的血腥大战,已经进入了白热化阶段。
但实际上,哥德尔不完整性定理的证明过程却不算过分于庞大,他更超前的是思惟层面上的束缚。
别的很大一部分是青灵岛这边,修真者被击杀后,洒落出的鲜血,稠浊在血雾中,竟然还被接收了。
前面2990题的题目,固然很多也都是很难,但程理晓得都是地球上已经被人处理过的题目,他相称于只是站在巨人的肩膀上,占了事前晓得答案的便当,相称于开挂。
当程理写下证明的最后一步,并写下证明完成的时候,光点在屏幕上刹时重新组合出“精确”两个字。
程理看到这个题目后,才松了一口气。
看到光沙上闪现出的精确二字,程理的眼睛不由得有些潮湿了。
……
程理并没有让本身感念多久,几近就十几秒的工夫,他就完整规复了情感。
这就是血妖岛在战役中非常强大的一部分启事地点。
拓木真人全部灵甲,披发无边气势,整小我战意凛然,越战越勇,竟然在以一敌三的环境下,还感受在压抑对方三个!
不过现在,只要那“精确”二字,和程理悄悄分享着这份高兴。
这是拓木真人最强大的雷法,雷法本就对血妖如许的至阴修法具有禁止结果。
“证明完成。”
现在他就是在和时候竞走,争分夺秒!
“问,请证明出,肆意一个包含天然数算术的情势体系,都存在一个命题,它在这个体系中既不能被证明为真,也不能被证明为否。”
“哈哈,三名妖王,你们感觉如许就能击败我吗?!太天真了,还是从速把你们妖君叫出来吧!你们三个还不敷看!”
这个题目并非不难,究竟上,它在数学史上的职位相称首要,是触及到数学最根本的会商。
程理在不断的思考着,并且,全部过程中,程理并没有感受道本身脑海里有跟之前一样,灵光一闪,无数灵感闪冒的征象。
以是早就晓得这道题证明过程的程理,这道题并不算太困难。
在疆场上的核心处,却有点不太一样。
一部分是无数血妖被打爆后,爆开的血雾。
比拟地球上通过计算机来计算上百亿次,停止强行解答的体例。
要晓得,这但是一名妖王!堪比元婴期修真者的存在!
疆场上统统人和妖,在这一刻,都被这让人绝望的可骇威能下,给完整震慑住。本来在狠恶厮杀的疆场,竟然同时呈现了一丝丝的停滞。