笔趣阁

字:
关灯 护眼
笔趣阁 > 走进修仙 > 第二百一十四章 哥德尔的证明法

第二百一十四章 哥德尔的证明法

章节错误,点此举报(免注册),举报后维护人员会在两分钟内校正章节内容,请耐心等待,并刷新页面。

将自己面“我知道法力震碎,抛洒到动得宇振奋的声音了!我知道了!”传遍了整个集训之地。中,几如天女散他狂吼着,激前的稿纸用苏君

地都是死气沉沉的。一群信念最近几日,这个集训之囚在抱团取暖。注定要被否决一群死习交流,就好像是的算家在一起学

鼓舞其他人一个巨大的疑是宇这一声,无

辈证明了那“不完备就算不是路。种迹象都表明,至少也是否定了虎躯一震。主的思他知道苏君宇”——有前正在思考什么。虽然种笑风,或许已经

敢相信了。的呈现在可是,当这个结果真他面前的时候,他又有几分

的思想已经被不样子,他那古怪少人知晓了。听说很多人都在暗中盯,或是等待他的成他人的注意。这几他在思考“不完备”的着。或是等待看笑话事儿,也引来了其苏君宇的日,功。

而现在,他成功了?

……恭更多的人围向了君宇……恭喜…”道:“苏喜啊…宇。薄笑风最先勉强苏君

时候啊。我感苏君有望。”觉我无意当中找到了如果成一个重大的方向……宇摆摆手:“还不到恭喜的功的话,元神

丹三四年吧?”另一个认识苏君宇的修士问道:“元神……你现在刚刚

这个问题,说不定除之外,连炼虚“元神的道路我真的解决了有可能是逍遥级别的成果!”情。”苏君宇不,如果涅槃都是表情极度亢奋:“这铁板钉钉的事了元

凉气倒吸了一口众人

前后做出逍遥路平平稳稳晋升逍遥太一。很多年少关的天尊就是典型的例子的天才修士就是这样的。这样的修士很多。元神天期的成果,然后成名

努力却意味着无限光明的未来就不同了。大的好处。。就算是朝着这个方失败了,那也是否众人看向苏君宇中,发起冲击的修定一条错误士同样可以获得巨“否定”的道路。而在这个逍遥级的成果,就眼神,立刻

—“完备性明”外。还能是什么?时候能够出现的逍遥级成果,除了二且,这个十三问当中的第二问—

,但是”高继通往不完备的思路还没有找到“你找到思路了扬急忙追问。虽然他已经转变了思

你们可不能抢去。”苏君点点头个思路,道:“行啊。不过事先声明啊,这

对那不完备的证明,她看着呢,我就不信还有筱雅大声说道。要脸了。”薄不可耐,就等着看人真个不“苏师兄。证明了。早就是急这么多人

这会,要有人剽窃你的思路。我会挺你。”里人,都……还有。老苏薄笑风也道:“就是

“家里人”,那可人能够无视这个警告。薄笑风说的逍遥修士在内的整个薄家。没是包括多为

而更多的人则已经被那个前辈!快点说!”西,至于这么藏着证明了的东掖着吗?快点说大声道:“说不定是

的弟子对这个问法门这些万题的答案早翘首以盼了

我就说一说好了。连续统你们知道吧?”君宇点点头:“好,那

问和第二问“连续来:“第二问的问题还涉及连续统吗?第一两面?”统?”高继扬立刻察,实际上是一个问题的觉出不对

两面?有这种说法吗苏君宇也愣了:“一问?”

,就是第一问的。与什么二问无干。”哭笑不得的说道识到了:“那个……对不住各位,我刚才的灵随即,他也意

?怎跑到第问去了?”是在思考第二问吗大了眼睛:“你不么又“第一问?”薄笑风瞪

考到了那个了灵感……”就从。”苏君宇大笑我最近在思考集合公理’:“为了否定完备性,系里面。然后,我就思误打误撞罢了个角落,尤其是集论这个体上面,算学能够思考的每一那个公理,我找到

,然后用手指在。这个灵光圈就这样圈下!圆环之内,化成一个成熟的法度这一圈人。着他的意志汇聚到这个“停一半空当中画了一个圆住了苏君宇周围的”高继扬制止了苏君宇。天地灵气顺

。但是,目前还没有迹法,应该还属于苏个人高继扬沉声道:“我们或许可以猜测,第二问被人解决了以,这个想的。”象表明。第一问也被其他人解决了。师弟一

在第一问的领还向了纠“若然的话,以后若是起还要面皮的话。就是周围纷,大家面皮上都不好看。”的师兄弟最好不要听下去,不域里做研究,而且

论谈什么他们都听不到、看不到。过了一子,苏君宇无的宗师退了了高继扬的圈子。这个灵光圈的作用就是隔绝内外感应。只要出了这个圈会,两三个元神期

清。尤其是苏君宇不错。若是因此庞然大物而在薄家看上去和感。那才真是有理说的有了相似这个如果他们和苏君宇真薄家的两兄妹关印象,那眼中留下恶劣才是亏得大。

到为止。”可以继续了这个时要说太多,点候,高继扬才对苏君宇过,不说道:“苏师弟,你。不

脑:“师弟苏君宇笑着摸了摸后孟浪中太过,了,师兄教训得是。一时

领域与第一问无关,不“现在你就是说幸好我的听。”高继扬笑道:说吧。”想去听一然我肯定也忍不住

人愤愤道。“讲一下吧!”众

“那我讲一下好了。首没有具体的过程,也不清楚这在的一个念头,一个思个过程的前置,我要说明的理论是否完善。是,这只是我现路,我

建立一个框架,然后在的、所作…架内。然后在这框架集合之内,我们再都放在这个…”首先,我们先要论公理允许来进行这样的操成立的集合我是这样想的。

苏君宇的周围渐渐安静了下来

考一下连续统。”现在,我还是重新来思

件交流之后在结束了与路小茜的信的证明问题考连续统王崎又坐书桌,开始思回了自己的

问题的证明。先,是哥德尔对这个“首

之内,连续统假说,zf无法证伪。”理体系后,在这个模集合’。有zf公理体系中所有‘可建立含了所型当中作,就是建“哥德尔的工框架,这个框架之内,包立一个巨大的,哥德尔证明了

个证明的“而在哥德尔做出这。”内,连续统假说无明了,在zf则做出了证明。这位证公理体系之法证实一位数学家科恩二十三年后,另

独立于是成立还还是不接受它,都不影“换句话说,连续响什么。”是不成立,集合论之外,无论统假说,其实是一个不论你是接受它可判定问题

“集合论创始者根据王崎微微感叹了一句是独问出的著名假说,却集合论弄人啊。”,这也算是造化立于集合论之

同了。的思路截“而力迫法,就和哥然不德尔

f公可建的思路也很接近所允许的最小范围以下,然后逐步逼近那个结果。颇为暴力,事实上,它暴力理体系围,扩张道了z叫法破解。它将“立集合”的范“力迫法”这个

集合”,所以要艰深许多倍。造原本不存在的由于这个论证涉及“创科恩力德尔的过程迫法的证明过程,比哥

公理体系的命题部分。“力迫法”的意去多。它的出现,使得数其他独立于zf并不仅仅在于连续统义,而这也是最关键的可以发现学家

角度来讲,力迫法的大。冲击性甚至比哥德尔理更如果单纯从数学的不完备定

一部分原因是理念特为首的一根本无直到死都无视着哥以希尔伯在地球德尔。其中固然有很大论。的历史上,法接受哥德尔的理部分数学家,一之争、信仰之争,他们

可是,这也与关。哥德尔的论述“不够数学”有

多的只是而非数不完备定理,更一个文字性的在一部分数学家看来,哥德论述,学的证明过程

境界。”能够进入一个新的力迫法,神州的算学“只要我能过完成

奋笔就只剩下笔尖摩擦的声与纸张音。书。一时之间,书房里

……”“寻找可建立集合更小的集合…寻找比zf公理下

“独立的公理……”

“独立……”

法力再次发生细微的改变。在王崎的思考当中,他体内的

一次,他身,法力也没有出现溃的迹象。周没有出现任何异象任何暴动或是崩只是这

的。好像就是细小的调整。化好像都是无声无他的法力发生了一点一切变

续。)有什么作用。(未完待王崎自己都不知道,这新的调整究竟

ps:月末,求月票。

『加入书签,方便阅读』
热门推荐
凡人修仙传蛊真人炼气练了三千年仙逆造化之门都市极品后宫好感度刷满之后我可是正道大师兄