首页 > 程序员修真之路 > 第190章 妖君威势

我的书架

在这个过程中,程理的思路更加清楚,方向在颠末好几次调剂后也更加现确。

但是!

有两名妖王,祭出本身最强大的宝贝停止抵当,勉强扛了下来。

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

而这是程理第一次完整仰仗本身本领,去解答一个连地球上都还没有人解答的超难题目。

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

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

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

妖君威势,当是非常可骇!

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

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

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

程理并没有让本身感念多久,几近就十几秒的工夫,他就完整规复了情感。

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

别的很大一部分是青灵岛这边,修真者被击杀后,洒落出的鲜血,稠浊在血雾中,竟然还被接收了。

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

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

现在他就是在和时候竞走,争分夺秒!

……

另有8层!

“玄雷九落!”

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

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

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

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

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

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

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

如果前面9层都是这么困难,并且是地球上还没被解答的题目,那么就算他最后都能解答,恐怕也得花上很多时候,到时候青灵岛也不晓得能不能撑住。

他们能够越战越强!

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

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

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

在拓木真人这道神通激起后,九道包含毁灭气味的玄雷,就如许悄无声气的从那三名妖王头顶劈落。

不过现在,只要那“精确”二字,和程理悄悄分享着这份高兴。

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

“问,请证明出,肆意一个包含天然数算术的情势体系,都存在一个命题,它在这个体系中既不能被证明为真,也不能被证明为否。”

拓木真人全部灵甲,披发无边气势,整小我战意凛然,越战越勇,竟然在以一敌三的环境下,还感受在压抑对方三个!

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

程理在不断的思考着,并且,全部过程中,程理并没有感受道本身脑海里有跟之前一样,灵光一闪,无数灵感闪冒的征象。

推荐阅读: 前妻很抢手:老婆我们复婚吧     闪婚厚爱:我的老公傻白甜     末世基地开局积分五百万     御前新赐紫罗裙     玺镇乾坤     我的绝色小师姐     火影之朝佚千名     民间异闻录     武神空间,任何强敌一招秒     罪佑录     恰好是少年     重铸轮回    
sitemap