第二百一十四章 哥德尔的证明法
“哥德尔的事情，就是建立一个庞大的框架，这个框架以内，包含了统统ZF公理体系中统统‘可建立调集’。然后，在这个模型当中，哥德尔证了然，ZF公理体系以内，持续统假说没法证伪。”
“独立的公理……”
更多的人围向了苏君宇。薄笑风最早勉强道：“苏君宇……恭喜……恭喜啊……”
苏君宇这一声，无疑是给其别人一个庞大的鼓励。
“我晓得了！我晓得了！”苏君宇奋发的声音传遍了全部集训之地。他狂吼着，冲动得将本身面前的稿纸用法力震碎，抛洒到空中，几如天女散花。
“只要我能过完成力迫法，神州的算学就能够进入一个新的境地。”
苏君宇摆摆手：“还不到恭喜的时候啊。我感受我偶然当中找到了一个严峻的方向……如果胜利的话，元神有望。”
“现在，我还是重新来思虑一下持续统。”
如果他们和苏君宇真的有了类似的灵感，那才真是有理说不清。特别是苏君宇看上去和薄家的两兄妹干系不错。如果是以而在薄家这个庞然大物眼中留下卑劣印象，那才是幸亏大。
“换句话说，持续统假说，实在是一个不成鉴定题目。它独立于调集论以外，不管是建立还是不建立，不管你是接管它还是不接管它，都不影响甚么。”
“你找到思路了？”高继扬仓猝诘问。固然他已经窜改了思惟，但是却还没有找到通往不完整的思路。
“力迫法”这个叫法非常暴力，究竟上，它的思路也很靠近暴力破解。它将“可建立调集”的范围，扩大道了ZF公理体系所答应的最小范围以下，然后慢慢逼近阿谁成果。
统统窜改仿佛都是无声无息的。仿佛就是他的法力产生了一点点藐小的调剂。
“而力迫法，就和哥德尔的思路截然分歧了。”
苏君宇也愣了：“一问两面？有这类说法吗？”
但是，这也与哥德尔的阐述“不敷数学”有关。
薄笑风虎躯一震。他晓得苏君宇正在思虑甚么。固然各种迹象都表白，或许已经有前辈证了然那“不完整”——就算不是，起码也是否定了算主的思路。
如果纯真从数学的角度来讲，力迫法的打击性乃至比哥德尔不完整定理更大。
王崎本身都不晓得，这新的调剂究竟有甚么感化。(未 完待续 ~^~)
而现在，他胜利了？
并且，这个时候能够呈现的清闲级服从，除了二十三问当中的第二问——“完整性证明”外，还能是甚么？
在王崎的思虑当中，他体内的法力再次产生纤细的窜改。
苏君宇点点头：“好，那我就说一说好了。持续统你们晓得吧？”
这个时候，高继扬才对苏君宇说道：“苏师弟，你能够持续了。不过，不要说太多，点到为止。”
“苏师兄。这么多人看着呢，我就不信另有人端的不要脸了。”薄筱雅大声说道。对那不完整的证明，她早就是急不成耐，就等着看证了然。
而更多的人则大声道：“说不定是已经被阿谁前辈证了然的东西，至于这么藏着掖着吗？快点说！快点说！”
“幸亏我的范畴与第一问无关，不然我必定也忍不住想去听一听。”高继扬笑道：“现在你就是说一说吧。”
“讲一下吧！”世人忿忿道。
“而在哥德尔做出这个证明的二十三年后，另一名数学家科恩则做出了证明。这位证了然，在ZF公理体系以内，持续统假说没法证明。”
比来几日，这个集训之地都是暮气沉沉的。一群信心必定要被反对的算家在一起学习交换，就仿佛是一群死囚在抱团取暖。
在元神天关的前后做出清闲期的服从，然后一起平安稳稳晋升清闲。如许的修士很多。太一天尊就是典范的例子。很多幼年成名的天赋修士就是如许的。
王崎奋笔疾书。一时之间，书房里就只剩下笔尖与纸张摩擦的声音。
过了一会，两三个元神期的宗师退了了高继扬的圈子。这个灵光圈的感化就是隔断表里感到。只要出了这个圈子，苏君宇不管谈甚么他们都听不到、看不到。
在地球的汗青上，以希尔伯特为首的一部分数学家，一向到死都疏忽着哥德尔。此中当然有很大一部分启事是理念之争、信奉之争，他们底子没法接管哥德尔的实际。
随即，他也认识到了甚么，哭笑不得的说道：“阿谁……对不住各位，我刚才的灵感，就是第一问的，与第二问无干。”
因为这个论证触及“缔造本来不存在的调集”，以是科恩力迫法的证明过程，比哥德尔的过程要通俗很多倍。
“元神的门路啊。不，如果我真的处理了这个题目。说不定除了元神以外，连炼虚涅槃都是铁板钉钉的事情。”苏君宇神采极度亢奋：“这有能够是清闲级别的服从！”
“独立……”
苏君宇笑着摸了摸后脑：“师弟心中过分，一时孟浪了，师兄经验得是。”
薄笑风也道：“就是。老苏，如果这会有人抄袭你的思路，我……另有我家里人，都会挺你。”
薄笑风说的“家里人”。那但是包含多为清闲修士在内的全部薄家。没人能够疏忽这个警告。
“我是如许想的。起首，我们先要建立一个框架，然后调集论公理答应存在的、统统建立的调集都放在这个框架内。然后在这框架以内，我们再来停止如许的操纵……”
高继扬沉声道：“我们或答应以猜想，第二问被人处理了。但是。目前还没有迹象表白，第一问也被其别人处理了。以是，这个设法，应当还属于苏师弟一小我的。”
“起首，是哥德尔对这个题目的证明。”
世人看向苏君宇的眼神，立即就分歧了。清闲级的服从，就意味着无穷光亮的将来。就算是朝着这个方向尽力却失利了。那也是否定一条弊端的门路。而在这个“否定”当中，建议打击的修士一样能够获得庞大的好处。
苏君宇点点头，道：“行啊。不过事前声明啊。这个思路你们可不能抢去。”
“第一问？”薄笑风瞪大了眼睛：“你不是在思虑第二问吗？如何又跑到第一问去了？”
“误打误撞罢了。”苏君宇大笑：“为了否定完整性，我比来在思虑算学能够思虑的每一个角落。特别是调集论这个别系内里。然后，我就思虑到了阿谁‘调集公理’上面，就从阿谁公理，我找到了灵感……”
而这也是最关头的部分。“力迫法”的意义，并不但仅在于持续统。它的呈现，使得数学家能够发明去多其他独立于ZF公理体系的命题。
在结束了与路小茜的函件交换以后，王崎又坐回了本身的书桌，开端思虑持续统的证明题目。
“如果四周的师兄弟还向在第一问的范畴里做研讨，并且还要面皮的话，就最好不要听下去，不然的话，今后如果起了胶葛，大师面皮上都欠都雅。”
苏君宇的四周垂垂温馨了下来。
这些万法门的弟子对这个题目的答案早就翘首以盼了
另一个熟谙苏君宇的修士问道：“元神……你现在方才金丹三四年吧？”
PS： 月末，求月票。
“停一下！”高继扬制止了苏君宇，然后用手指在半空当中画了一个圆。六合灵气顺着他的意志会聚到这个圆环以内，化成一个成熟的法度。这个灵光圈就如许圈住了苏君宇四周的这一圈人。
“持续统？”高继扬立即发觉出不对来：“第二问的题目还触及持续统吗？第一问和第二问，实际上是一个题目的两面？”
“寻觅……寻觅比ZF公理下可建立调集更小的调集……”
只是这一次，他身周没有呈现任何异象，法力也没有呈现任何暴动或是崩溃的迹象。
但是，当这个成果然的闪现在他面前的时候，他又有几分不敢信赖了。
在一部分数学家看来，哥德尔不完整定理，更多的只是一个笔墨性的阐述，而非数学的证明过程。
“调集论初创者按照调集论问出的闻名假说，倒是独立于调集论以外，这也算是造化弄人啊。”王崎微微感慨了一句。
“那我就讲一下好了。起首，我要申明的是，这只是我现在的一个动机，一个思路，我没有详细的过程，也不清楚这个过程的前置实际是否完美。”
苏君宇的模样，也引来了其别人的重视。这几日，他那古怪的思惟已经被很多人晓得了。传闻他在思虑“不完整”的事儿，很多人都在暗中盯着。或是等候看笑话，或是等候他的胜利。
世人倒吸了一口冷气。