手机浏览器扫描二维码访问
第二百一十四章 哥德尔的证明法（第2页）
这个时候，高继扬才对苏君宇说道：“苏师弟，你可以继续了。不过，不要说太多，点到为止。”
苏君宇笑着摸了摸后脑：“师弟心中太过，一时孟浪了，师兄教训得是。”
“幸好我的领域与第一问无关，不然我肯定也忍不住想去听一听。”高继扬笑道：“现在你就是说一说吧。”
“讲一下吧！”众人愤愤道。
“那我就讲一下好了。首先，我要说明的是，这只是我现在的一个念头，一个思路，我没有具体的过程，也不清楚这个过程的前置理论是否完善。”
“我是这样想的。首先，我们先要建立一个框架，然后集合论公理允许存在的、所有成立的集合都放在这个框架内。然后在这框架之内，我们再来进行这样的操作……”
苏君宇的周围渐渐安静了下来。
“现在，我还是重新来思考一下连续统。”
在结束了与路小茜的信件交流之后，王崎又坐回了自己的书桌，开始思考连续统的证明问题。
“首先，是哥德尔对这个问题的证明。”
“哥德尔的工作，就是建立一个巨大的框架，这个框架之内，包含了所有zf公理体系中所有‘可建立集合’。然后，在这个模型当中，哥德尔证明了，zf公理体系之内，连续统假说无法证伪。”
“而在哥德尔做出这个证明的二十三年后，另一位数学家科恩则做出了证明。这位证明了，在zf公理体系之内，连续统假说无法证实。”
“换句话说，连续统假说，其实是一个不可判定问题。它独立于集合论之外，无论是成立还是不成立，无论你是接受它还是不接受它，都不影响什么。”
“集合论创始者根据集合论问出的著名假说，却是独立于集合论之外，这也算是造化弄人啊。”王崎微微感叹了一句。
“而力迫法，就和哥德尔的思路截然不同了。”
“力迫法”这个叫法颇为暴力，事实上，它的思路也很接近暴力破解。它将“可建立集合”的范围，扩张道了zf公理体系所允许的最小范围以下，然后逐步逼近那个结果。
由于这个论证涉及“创造原本不存在的集合”，所以科恩力迫法的证明过程，比哥德尔的过程要艰深许多倍。
而这也是最关键的部分。“力迫法”的意义，并不仅仅在于连续统。它的出现，使得数学家可以发现去多其他独立于zf公理体系的命题。
如果单纯从数学的角度来讲，力迫法的冲击性甚至比哥德尔不完备定理更大。
在地球的历史上，以希尔伯特为首的一部分数学家，一直到死都无视着哥德尔。其中固然有很大一部分原因是理念之争、信仰之争，他们根本无法接受哥德尔的理论。
可是，这也与哥德尔的论述“不够数学”有关。
在一部分数学家看来，哥德尔不完备定理，更多的只是一个文字性的论述，而非数学的证明过程。
“只要我能过完成力迫法，神州的算学就能够进入一个新的境界。”
王崎奋笔疾书。一时之间，书房里就只剩下笔尖与纸张摩擦的声音。
“寻找……寻找比zf公理下可建立集合更小的集合……”
“独立的公理……”
“独立……”
在王崎的思考当中，他体内的法力再次发生细微的改变。
只是这一次，他身周没有出现任何异象，法力也没有出现任何暴动或是崩溃的迹象。
一切变化好像都是无声无息的。好像就是他的法力发生了一点点细小的调整。
王崎自己都不知道，这新的调整究竟有什么作用。（未完待续。）
ps： 月末，求月票。
运河之韵 我的修真小米三 谭笑风声里，灼灼桃之夭 我，地球唯一超能力者 道化九界 网游航海之王 西游：六岁熊孩子，开局怒怼观世音 先婚后爱：娇妻拒婚101次 什么？奥特曼是终身制的？ 敛财心 万苍天穹 灵异直播，女主她不想吓人 建立帝国从骑士次子开始 月薪十万，女总裁她果然不只是让我当司机 舌尖天下 巨树领主 巫妖生存指南 大明：开局剧透崇祯，重振河山 盛世花都 穿进语文书，从刺猹开始
唯一救世者
...
修仙：与女宗主双修，日久生情了
关于修仙与女宗主双修，日久生情了（简介无力，请移步正文）单女主纯正凡人流无系统炼气筑基结丹不后宫蓝星苏平携带一樽青铜小鼎穿越到仙侠大陆时，穿越所携带的天地之威救下了正在被追杀的女宗主。斩杀敌人后，女宗主将苏平当作了解毒工具，自此踏上修行之路。苏平忍辱负重，只求能够上位！直到有一天苏平，我父是金丹修士，你拿什么和我斗？苏平微微一笑金丹，我确实还斗不过，但是我有老婆啊！...
兽世生子：猫系美人被大佬们追宠
关于兽世生子猫系美人被大佬们追宠天煞孤星的禾芊芊魂穿到兽世。成为金猫部落的雌性。原主貌丑，身体瘦弱矮小，发育不良，孤苦无依。到手一把烂牌。不怕不怕。幸亏绑定兽世生存系统，送动物亲和力赋能，送好孕生子大礼包。禾芊芊果断选择隔壁英俊阳光的兔狲兽人，当自己夫君。日子一天天红火，她脸上的脓包好了，长高了，更美了。突然有一天，被预测无生育能力的她，怀崽了。亲和力赋能Buff的加持，她妥妥的蜕变成猫系万人迷美人。撒丫子奔向好日子搞基建，种田，织布，一样样来。泠野，傲娇的猞猁兽人，孤冷清傲，为她折了腰。戬泽杀伐霸气的翼虎兽人，秒变虎斑猫，腻歪撒娇什么，宠物想升级当夫君？你咋不上天？有一天禾芊芊嘿嘿真香，路虎有，私人飞机也有，真的能上天。夜千暮霸道的疯批太攀蛇兽人，冷漠凉薄却对为她上了心忠犬雪鸮擎羽芊芊，你快看看我，毛秃了我就不可爱了吗？会幻术的人鱼冥宫谣妖孽傲娇的九尾狐狐翎，耿直的大熊猫兄弟，趾高气昂的凤凰甚至，还有个琅树藤，成了精的上古神树禾芊芊装柔弱你们不要过来啊！...
![[秦]开局穿成扶苏生母](/img/2/2697.jpg)
[秦]开局穿成扶苏生母
社畜楚萸因心脏病发作猝死，灵魂穿越到了战国时代，穿成一位容色倾城的楚国公主。好消息，公主是秦王长公子扶苏的未婚妻。坏消息，一年前被悔婚了。被渣爹拒绝返货的楚萸，决定在秦国好好经营小日子，笑看六国灰飞烟灭，然后等渣爹被俘虏后，狠狠往他身上砸臭鸡蛋。哼，公子扶苏又如何，不娶就不娶吧，不然十几年后还得守寡，或者，更惨，被他那个名垂千古的扑街弟弟给大卸八块填土坑。可是，没有人告诉过她，公子扶苏长得这么这么帅啊！面如美玉，眸若朗星，丰神俊秀，芝兰玉树楚萸春心萌动，蜷缩在被窝里，两眼瞪得像僵尸新娘不行，这样温润如玉的美男子，怎么可以让他傻乎乎地挥剑自刎呢？她决定从根源上制止悲剧发生，主动接近公子扶苏，然而后世到底是谁，在谣传他温润如玉简直误人子弟！温润的，其实只有名字，本人分明就是个芝麻汤圆。不过，对她好像，还挺好的。似乎还有种别样的依赖。魔蝎小说...
穿越王储：打造最强帝国，鹰酱急哭了
王储神豪科技文化权利争斗。穿越来到蓝星太平洋的一贫瘠海岛上当王储。接手后发现，整个国家已经是达到千疮百孔的地步。为了不让自己的王国太早覆灭，景逸尘只能是努力搞经济，增加百姓的收入。凭借着自己狠辣的决策以及系统的帮助，他很快便让自己国家经济提升。旅游经济的快速发展，使得王国成为天府之国。科技的快速崛起，让王国拥有顶尖的科研水平。军功的高速发达，更是让王国在太平洋上，拥有绝对的话语权。咳咳，我加入联大，谁赞成，谁反对？五常，我看，要不变六常吧！...
试图慎重的DND冒险者
这只是一个智商不够，试图慎重苟下来，但是又经常莽的DND冒险者，这是一个在无限的冒险世界之中，作为一个DND冒险者的故事，他可能扮演的是一个自己想的角色，也有可能他已经成为了那个角色，可能有些压抑，可能有些欢乐，但是这却是一个真实的世界。目前世界哥布林杀手（完结），魔改版犬夜叉混合滑头鬼（即将完结），魔改版剑风传...