笔趣阁

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

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

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

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

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

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

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

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

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

而现在,他成功了?

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

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

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

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

众人倒吸了一口凉气

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

的公理……”“独立

“独立……

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

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

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

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

月票。ps:月末,求

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