笔趣阁

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

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

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

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

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

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

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

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

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

在,他成功了?而现

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

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

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

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

人倒吸了一口凉气

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

公理……”“独立的

“独立……”

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

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

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

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

ps:,求月票。

『加入书签,方便阅读』
热门推荐
炼气练了三千年蛊真人都市极品后宫凡人修仙传好感度刷满之后我可是正道大师兄我不做神了我可是要做仙尊与魔帝的男人
用夸克打开
用 夸克 打开