妖君威势，当是非常可骇！
别的很大一部分是青灵岛这边，修真者被击杀后，洒落出的鲜血，稠浊在血雾中，竟然还被接收了。
暮然间，拓木真人抓住一个一闪即逝的空档，手上一掐决，一道雷引劈出。
190.
本来和一名妖王厮杀的拓木真人，此时他的灵甲右手上，已经抓着那名妖王滴落鲜血的脑袋。
程理看到这个题目后，才松了一口气。
看到光沙上闪现出的精确二字，程理的眼睛不由得有些潮湿了。
要晓得，这但是一名妖王！堪比元婴期修真者的存在！
因为哥德尔不完整性定理，破天荒的第一次分清了数学中“真”与“可证”是完整两种分歧的观点。
然后他顿时动手在光沙上开端打草稿，没一会就涂涂抹抹了好几版。
不过现在，只要那“精确”二字，和程理悄悄分享着这份高兴。
上前道赤色瀑布，也不再从血池上落下。
此时疆场的核心，也恰是在这里。
但是，这一次，就如许水到渠成的，自但是然的被程理找到体味体的思路和体例。
“时候已经未几了，我在这一层卡住了整整1个小时的时候，得抓紧时候了，但愿前面9层的题目，可别都这么难的，要不就垮台了。”程理有些担忧道。
一部分是无数血妖被打爆后，爆开的血雾。
“对！就是用拓扑学！”程理鼓掌道。
“哈哈，三名妖王，你们感觉如许就能击败我吗？！太天真了，还是从速把你们妖君叫出来吧！你们三个还不敷看！”
“然后这里用哥德尔编码……
这是拓木真人最强大的雷法，雷法本就对血妖如许的至阴修法具有禁止结果。
在青灵岛上空，此时几近成了一片血液的陆地。
比拟地球上通过计算机来计算上百亿次，停止强行解答的体例。
但是！
程理在不断的思考着，并且，全部过程中，程理并没有感受道本身脑海里有跟之前一样，灵光一闪，无数灵感闪冒的征象。
如许一道相称首要的题目，被放到2992层，也是合情公道。
半个小时后……
场面对青灵岛来讲，是极其倒霉的。
“嗯，就是如许，这里应当这么措置……将舆图上分歧地区用分歧的点来表示……”
但实际上，哥德尔不完整性定理的证明过程却不算过分于庞大，他更超前的是思惟层面上的束缚。
在这个过程中，程理的思路更加清楚，方向在颠末好几次调剂后也更加现确。
如果程理将这个证明过程，在地球上颁收回去，绝对会引发大颤动，产生不亚于1995年费马猜想被证明的庞大颤动。
毫无疑问，程理现在写下的这个证明过程，更加合适数学的美，表现了数学严格清楚的思路。
疆场上的灭亡者越多，血雾越稠密，存活下来还在战役的血妖就会越强！
程理并没有让本身感念多久，几近就十几秒的工夫，他就完整规复了情感。
竟然就如许被拓木真人再次斩落！
光沙上此时仍然闪现着程理写下的证明过程，程理的证明步调一共分为21步，全部过程主如果通过逻辑和拓扑来证明，辅以少量的计算，并停止了严格的公理化证明。
“玄雷九落！”
“最后就构造了一个公式，它‘说它本身是不成证’。这个公式为真，但不成证……”
以是早就晓得这道题证明过程的程理，这道题并不算太困难。
青灵岛上的血腥大战，已经进入了白热化阶段。
这个题目就是闻名的“哥德尔不完整性定理”。
另有就是，哥德尔在不完整性定理的证明过程中提出了“原始递归函数”的观点，成为算法实际的起点，为厥后的电子计算机研制，供应了实际根本。
在疆场上的核心处，却有点不太一样。
这个题目并非不难，究竟上，它在数学史上的职位相称首要，是触及到数学最根本的会商。
“我竟然胜利了？”
下一秒，一道高达千米的赤色光影，从血池上展开，然后统统人就看到一道至邪的鬼怪身影，在空中踏着血莲，就如许一步一步的朝着拓木真人走来。
而就在这个时候，从血池上传来一股让人非常惊骇的颠簸。
毕竟现在每多一分一秒，内里就不晓得要多死多少人。
实际上，在前面几层中，就呈现过一些跟哥德尔不完整性定理有关联的题目，不过那都不是哥德尔不完整性定理本身的证明题目。
程理行云流水的在光沙上写下了一整串证明过程，最后当证明完成这四个字写好后。光沙上就再次闪现出“精确”二字。
另有8层！
“起首设定好内定理和元定理……
“证明完成。”
有这个严峻认识的程理，加快法度，一起飞奔的直接冲上了第2992层！
“再用不动点定理去证明……
有两名妖王，祭出本身最强大的宝贝停止抵当，勉强扛了下来。
在拓木真人这道神通激起后，九道包含毁灭气味的玄雷，就如许悄无声气的从那三名妖王头顶劈落。
“问，请证明出，肆意一个包含天然数算术的情势体系，都存在一个命题，它在这个体系中既不能被证明为真，也不能被证明为否。”
拓木真人全部灵甲，披发无边气势，整小我战意凛然，越战越勇，竟然在以一敌三的环境下，还感受在压抑对方三个！
这就是血妖岛在战役中非常强大的一部分启事地点。
而这是程理第一次完整仰仗本身本领，去解答一个连地球上都还没有人解答的超难题目。
而那上千道赤色瀑布更是从血池上，仍然在源源不竭的灌在护岛大阵上。
哥德尔不完整性定理，是某种否定性的成果，但这项否定性的布局却带来了数学根本研讨划期间的窜改。
但别的有一名妖王，却因为拓木真人的决计滋扰，没来得祭出宝贝，竟然直接就被这道玄雷，给直接就如许硬生生给劈爆了！
而在拓木真人四周，有三名妖王正围着他，展开最狠恶的猛攻！
如果前面9层都是这么困难，并且是地球上还没被解答的题目，那么就算他最后都能解答，恐怕也得花上很多时候，到时候青灵岛也不晓得能不能撑住。
但是程理几近在一刹时就冲了出去，往2993层冲了畴昔。
只见程理没有担搁一分一秒时候，在看到题目后，就径直上前唰唰唰的写下答案。
“你值得我脱手。”
当程理写下证明的最后一步，并写下证明完成的时候，光点在屏幕上刹时重新组合出“精确”两个字。
前面2990题的题目，固然很多也都是很难，但程理晓得都是地球上已经被人处理过的题目，他相称于只是站在巨人的肩膀上，占了事前晓得答案的便当，相称于开挂。
现在他就是在和时候竞走，争分夺秒！
他有些都不敢信赖。
前面2990层的题目，在奥秘资讯的灵感影响下，对程理数学程度的凝练和晋升，在这一刻阐扬了奇异的结果。
……
他们能够越战越强！
疆场上统统人和妖，在这一刻，都被这让人绝望的可骇威能下，给完整震慑住。本来在狠恶厮杀的疆场，竟然同时呈现了一丝丝的停滞。
就在程理冒死追逐时候的时候。
他看了目光沙右下角显现的时候：“9999年6月14日7点57分。”