手机浏览器扫描二维码访问
第二百一十四章 哥德尔的证明法（第2页）
苏君宇笑着摸了摸后脑：“师弟心中太过，一时孟浪了，师兄教训得是。”
“幸好我的领域与第一问无关，不然我肯定也忍不住想去听一听。”高继扬笑道：“现在你就是说一说吧。”
“讲一下吧！”众人愤愤道。
“那我就讲一下好了。首先，我要说明的是，这只是我现在的一个念头，一个思路，我没有具体的过程，也不清楚这个过程的前置理论是否完善。”
“我是这样想的。首先，我们先要建立一个框架，然后集合论公理允许存在的、所有成立的集合都放在这个框架内。然后在这框架之内，我们再来进行这样的操……”
苏君宇的周围渐渐安静了下来。
“现在，我还是重新来思考一下连续统。”
在结束了与路小茜的信件交流之后，王崎又坐回了自己的书桌，开始思考连续统的证明问题。
“首先，是哥德尔对这个问题的证明。”
“哥德尔的工，就是建立一个巨大的框架，这个框架之内，包含了所有zf公理体系中所有‘可建立集合’。然后，在这个模型当中，哥德尔证明了，zf公理体系之内，连续统假说无法证伪。”
“而在哥德尔做出这个证明的二十三年后，另一位数学家科恩则做出了证明。这位证明了，在zf公理体系之内，连续统假说无法证实。”
“换句话说，连续统假说，其实是一个不可判定问题。它独立于集合论之外，无论是成立还是不成立，无论你是接受它还是不接受它，都不影响什么。”
“集合论创始者根据集合论问出的著名假说，却是独立于集合论之外，这也算是造化弄人啊。”王崎微微感叹了一句。
“而力迫法，就和哥德尔的思路截然不同了。”
“力迫法”这个叫法颇为暴力，事实上，它的思路也很接近暴力破解。它将“可建立集合”的范围，扩张道了zf公理体系所允许的最小范围以下，然后逐步逼近那个结果。
由于这个论证涉及“创造原本不存在的集合”，所以科恩力迫法的证明过程，比哥德尔的过程要艰深许多倍。
而这也是最关键的部分。“力迫法”的意义，并不仅仅在于连续统。它的出现，使得数学家可以发现去多其他独立于zf公理体系的命题。
如果单纯从数学的角度来讲，力迫法的冲击性甚至比哥德尔不完备定理更大。
在地球的历史上，以希尔伯特为首的一部分数学家，一直到死都无视着哥德尔。其中固然有很大一部分原因是理念之争、信仰之争，他们根本无法接受哥德尔的理论。
可是，这也与哥德尔的论述“不够数学”有关。
在一部分数学家看来，哥德尔不完备定理，更多的只是一个文字性的论述，而非数学的证明过程。
“只要我能过完成力迫法，神州的算学就能够进入一个新的境界。”
王崎奋笔疾书。一时之间，书房里就只剩下笔尖与纸张摩擦的声音。
“寻找……寻找比zf公理下可建立集合更小的集合……”
“独立的公理……”
“独立……”
在王崎的思考当中，他体内的法力再次发生细微的改变。
只是这一次，他身周没有出现任何异象，法力也没有出现任何暴动或是崩溃的迹象。
一切变化好像都是无声无息的。好像就是他的法力发生了一点点细小的调整。
王崎自己都不知道，这新的调整究竟有什么用。（未完待续。）
ps：月末，求月票。
（大雁文学WwW.XiaoYanWenXue.CoM）
沈听雪容战
沈家小九前世错信奸人，致使沈家灭门，挚爱之人横死。重活一世，眼睛亮了，脑子清楚了，身后还有八个哥哥撑腰。大哥温润如玉少将军，二哥暗器夺命少谷主三哥毒术超群，谈笑间取人性命四哥侠义心肠...
山水密码
想知道吗？那些隐藏千年的宝藏，背后的秘密。这是一个由博物馆中的藏品引发的故事，何漫舟管理着父亲留下的私人博物馆，自从一年前父亲离奇失踪，何漫舟始终在调查那些古物留下的证据。这些事情原本没有任何线索，直到老何当年不翼而飞的手札突然出现，考察小队的名单上多了一位不应该出现的人，谜团才终于有了线索。为了知晓真相，她不得不和白亦从联手，调查宝藏背后的秘密。而这迷雾重重的背后，还牵扯着更大的阴谋何漫舟白亦从，你能不能有一点古玩城老板的样子？白亦从好我有门恋爱生意...
荣耀魔徒
叶欢真的不情愿，不管多大的事情他都必须插上一脚，不论多牛x的人物，他也必须硬着头皮拼一拼，而且打赢之后还得牛气哄哄地说一句皈依吧，我是你的信仰可是没办法，这就是旦哥的要求，荣耀，传教，出风头这年头，给人打工不容易！...
幻心域
梦魔是什么？为什么拯世三侠当年拼力封印后，却有人要解印？当年的师兄弟却反目拼命这是一个男人的成长传奇故事。世界如此渺小微尘，上古梦魇是粘稠的黑雾，遮蔽天日徘徊在哭墙的灵魂伴着血色的新月，圣墓前的花瓶中玫瑰盛开已久。邪恶在维多利亚的月光下，血色的开场。穿越时空，远古的气息如同黑夜潜行的魅影，破碎新光穿过光阴。命轮已经开启，残酷的梦幻之城伴丧钟降临，敲响轮回无奈的觉悟只能更残酷一切都为了通往圣堂的路吹不散的雾隐没了意图谁轻柔踱步停住那无色失乐神魔之墓，溃散的神魂会被唤醒背影飞向阴霾苍穹，鲜血流散黑色银河就像边笑边掉泪凝视着完全的黑无法阻挡悲剧蔓延的悲剧会让我沉醉晃晃忽忽，谁的脚步？...
幸孕宠妻：傅爷晚安！
书海阁小说网免费提供作者不想跳舞的经典小说幸孕宠妻傅爷晚安！最新章节全文阅读服务本站更新及时无弹窗广告欢迎光临wwwshgtw观看小说五年前她被陷害出轨，身负骂名，被迫远走他国。五年后，她化身间谍携子归来，巧合之后，却发现身边的孩子变了性格。某天，萌宝尿急，滋了总裁家小少爷一身，抬头惊道雾草！居然有人照着我的脸整容？傅希睿黑脸低吼我是原装的！看着一模一样的俩宝，简晴初懵逼。小少爷吧唧一手按住萌宝的脸妈咪，我是你失散多年的儿子，快把我领回家！母子三人脚底开溜当某总裁黑着脸在机场抓住出逃的母子三人，简晴初，偷了我...
阴阳天师
最火爆灵异茅山道术有玄秘，上请三清诛邪祟！少年天师李飞，下山救人，浪迹都市，灭千年僵尸，除东瀛鬼王，斗无常，杀鬼差，保护大校花，清除茅山叛徒，十八层地狱任我游，以道术度一切邪恶，终功德圆满。...