第二百一十四章 哥德尔的证明法[第1页/共3页]

另一个熟谙苏君宇的修士问道:“元神……你现在方才金丹三四年吧?”

“误打误撞罢了。”苏君宇大笑:“为了否定完整性,我比来在思虑算学能够思虑的每一个角落。特别是调集论这个别系内里。然后,我就思虑到了阿谁‘调集公理’上面,就从阿谁公理,我找到了灵感……”

薄笑风说的“家里人”。那但是包含多为清闲修士在内的全部薄家。没人能够疏忽这个警告。

苏君宇点点头:“好,那我就说一说好了。持续统你们晓得吧?”

苏君宇摆摆手:“还不到恭喜的时候啊。我感受我偶然当中找到了一个严峻的方向……如果胜利的话,元神有望。”

PS:  月末,求月票。

“你找到思路了?”高继扬仓猝诘问。固然他已经窜改了思惟,但是却还没有找到通往不完整的思路。

“那我就讲一下好了。起首,我要申明的是,这只是我现在的一个动机,一个思路,我没有详细的过程,也不清楚这个过程的前置实际是否完美。”

而现在,他胜利了?

在结束了与路小茜的函件交换以后,王崎又坐回了本身的书桌,开端思虑持续统的证明题目。

并且,这个时候能够呈现的清闲级服从,除了二十三问当中的第二问——“完整性证明”外,还能是甚么?

在王崎的思虑当中,他体内的法力再次产生纤细的窜改。

“哥德尔的事情,就是建立一个庞大的框架,这个框架以内,包含了统统ZF公理体系中统统‘可建立调集’。然后,在这个模型当中,哥德尔证了然,ZF公理体系以内,持续统假说没法证伪。”

王崎本身都不晓得,这新的调剂究竟有甚么感化。(未 完待续 ~^~)

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

苏君宇这一声,无疑是给其别人一个庞大的鼓励。

“我是如许想的。起首,我们先要建立一个框架,然后调集论公理答应存在的、统统建立的调集都放在这个框架内。然后在这框架以内,我们再来停止如许的操纵……”

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

在元神天关的前后做出清闲期的服从,然后一起平安稳稳晋升清闲。如许的修士很多。太一天尊就是典范的例子。很多幼年成名的天赋修士就是如许的。

“我晓得了!我晓得了!”苏君宇奋发的声音传遍了全部集训之地。他狂吼着,冲动得将本身面前的稿纸用法力震碎,抛洒到空中,几如天女散花。

“换句话说,持续统假说,实在是一个不成鉴定题目。它独立于调集论以外,不管是建立还是不建立,不管你是接管它还是不接管它,都不影响甚么。”

“持续统?”高继扬立即发觉出不对来:“第二问的题目还触及持续统吗?第一问和第二问,实际上是一个题目的两面?”

“寻觅……寻觅比ZF公理下可建立调集更小的调集……”

“讲一下吧!”世人忿忿道。

“而在哥德尔做出这个证明的二十三年后,另一名数学家科恩则做出了证明。这位证了然,在ZF公理体系以内,持续统假说没法证明。”

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

“调集论初创者按照调集论问出的闻名假说,倒是独立于调集论以外,这也算是造化弄人啊。”王崎微微感慨了一句。

世人倒吸了一口冷气。

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

Tip:拒接垃圾,只做精品。每一本书都经过挑选和审核。
X