190.
“起首设定好内定理和元定理……
这个题目并非不难，究竟上，它在数学史上的职位相称首要，是触及到数学最根本的会商。
但别的有一名妖王，却因为拓木真人的决计滋扰，没来得祭出宝贝，竟然直接就被这道玄雷，给直接就如许硬生生给劈爆了！
“证明完成。”
毫无疑问，程理现在写下的这个证明过程，更加合适数学的美，表现了数学严格清楚的思路。
只见程理没有担搁一分一秒时候，在看到题目后，就径直上前唰唰唰的写下答案。
现在他就是在和时候竞走，争分夺秒！
光沙上此时仍然闪现着程理写下的证明过程，程理的证明步调一共分为21步，全部过程主如果通过逻辑和拓扑来证明，辅以少量的计算，并停止了严格的公理化证明。
“玄雷九落！”
程理在不断的思考着，并且，全部过程中，程理并没有感受道本身脑海里有跟之前一样，灵光一闪，无数灵感闪冒的征象。
别的很大一部分是青灵岛这边，修真者被击杀后，洒落出的鲜血，稠浊在血雾中，竟然还被接收了。
疆场上的灭亡者越多，血雾越稠密，存活下来还在战役的血妖就会越强！
但是程理几近在一刹时就冲了出去，往2993层冲了畴昔。
“对！就是用拓扑学！”程理鼓掌道。
以是早就晓得这道题证明过程的程理，这道题并不算太困难。
因为哥德尔不完整性定理，破天荒的第一次分清了数学中“真”与“可证”是完整两种分歧的观点。
有这个严峻认识的程理，加快法度，一起飞奔的直接冲上了第2992层！
另有就是，哥德尔在不完整性定理的证明过程中提出了“原始递归函数”的观点，成为算法实际的起点，为厥后的电子计算机研制，供应了实际根本。
前面2990题的题目，固然很多也都是很难，但程理晓得都是地球上已经被人处理过的题目，他相称于只是站在巨人的肩膀上，占了事前晓得答案的便当，相称于开挂。
上前道赤色瀑布，也不再从血池上落下。
拓木真人全部灵甲，披发无边气势，整小我战意凛然，越战越勇，竟然在以一敌三的环境下，还感受在压抑对方三个！
不过现在，只要那“精确”二字，和程理悄悄分享着这份高兴。
半个小时后……
看到光沙上闪现出的精确二字，程理的眼睛不由得有些潮湿了。
这就是血妖岛在战役中非常强大的一部分启事地点。
比拟地球上通过计算机来计算上百亿次，停止强行解答的体例。
“然后这里用哥德尔编码……
实际上，在前面几层中，就呈现过一些跟哥德尔不完整性定理有关联的题目，不过那都不是哥德尔不完整性定理本身的证明题目。
另有8层！
毕竟现在每多一分一秒，内里就不晓得要多死多少人。
而就在这个时候，从血池上传来一股让人非常惊骇的颠簸。
就在程理冒死追逐时候的时候。
然后他顿时动手在光沙上开端打草稿，没一会就涂涂抹抹了好几版。
而这是程理第一次完整仰仗本身本领，去解答一个连地球上都还没有人解答的超难题目。
竟然就如许被拓木真人再次斩落！
“问，请证明出，肆意一个包含天然数算术的情势体系，都存在一个命题，它在这个体系中既不能被证明为真，也不能被证明为否。”
哥德尔不完整性定理，是某种否定性的成果，但这项否定性的布局却带来了数学根本研讨划期间的窜改。