手机浏览器扫描二维码访问
第二百一十七章 掺一脚（第2页）
冯落衣摇摇头：“以后的事情，谁知道呢？五六年前吧，我就没看出来，你居然能够循着那个完备性，一举击穿第二问、第十问――唔，说不定还要再添上第一问。”
“不过……”冯落衣的眼神突然锐利起来：“你好像总是很喜欢走弯路。”
“弯路？”
王崎错愕。力迫法才是完美解决连续统假设问题的不二之选啊？为什么是弯路？
“我最近看到了一个思路，很奇特，很有趣。”冯落衣盯着王崎的眼睛，道：“将所有可建立集合同和成一个系统，在无限中比较无限的大小……”
王崎错愕：“有人想出来了？”
这就是当初哥德尔证明连续统假设的思路！
在zf公理允许的范围之内作推到，证明，若是zf公理系统具备一致性，则连续统假设为真。在zf公理体系之内，连续统假设无法被证伪。
对于二十三问来说，这应该已经算是一个完美的答案了。
但是，“不能证伪”并不代表“证实”。
沿着这个思路，人们同样可以证出，在zf公理系统之内，连续统假设不能证实。
换句话说，连续统问题在集合论的范畴之内，是一个具备了不可判定性的问题。如果这个“不能证实也不能证伪”的结论再早一点，那么不用严格证明第十问，这就是对“可判定性”的一个绝对反例。
只有在现有公理体系之外，才能证明。
力迫法，就是冲出原有公理体系的束缚，自开体系、自定道路。
但是，若试集合论、现有公理系统为基石，那么这个“自创”的系统，又应该怎么算？基石之外？算学之内？
这也是力迫法重大意义的来源。
听到王崎的惊呼，冯落衣眼光一闪：“这个思路，你也想到过是吧？”
“隐约想到过，但是……不大喜欢。”王崎只能这么说了。若论理论论证过程的简明、流畅程度，科恩的力迫法远远不及哥德尔的思路。除非是傻了疯了，不然一般人都不会在前方还有的时候去闯出这条路的。
“又是没有根据的‘直觉’？”冯落衣摇摇头，罕见的没有训斥王崎，只是感叹：“数年之前，似乎也发生过这种事啊……你避开了一般人觉得正常的道路，走了‘歪路’，直到前些日子里抛出不全之律，破了那完全之念，我才发现，原来你前几年绕的远路，才是唯一的正路。”
冯落衣所指的，乃是王崎获得道种赏前后，用超限归纳法证明算术系统一致性的道路。按照一般人所想，他应该根据自己证明的“一阶谓词逻辑系统完备”出发，从一阶推向高阶。
但是，王崎当时选择的，却是一条无比远的路――在系统外证明系统内无矛盾。
众人会奇怪，明明有一条通天坦途，你偏不走，非要到系统外绕一圈，这不是傻吗？
当时，只有王崎明白，这个系统是做不到“不假外求”的。他绕的那一圈，才是必须的。
不过，这一次就不大一样了。哥德尔的那个证明思路，只不过没有力迫法那样意义大，没有力迫法那样无可辩驳的力度。实际上，这依旧是一条正路。
他只能说道：“这……真的只是个人喜好的问题。那个思路，应当是没有错的。”
“哦。”冯落衣点点头，也不知听没听进去。
“对了，老师。”王崎突然有些好奇了：“那个思路的提出者，到底是谁？”
到底是哪来的奇葩，居然可以独立思考出和哥德尔大神一模一样的思路？
冯落衣笑道：“你应该也认识。万法门真传，苏君宇。”
“苏师兄？他的领域包括逻辑吗？”王崎错愕。
印象当中，苏君宇那个家伙学习的领域非常杂，好像是什么都有，主要是概率和几何……额，这么想来的话，他好像也不是没有接触逻辑这一块的可能性啊？如果他那一天脑子一抽跑去学习逻辑――非常有可能嘛！
不过，这还真是奇妙的重合之处啊。王崎想到：力迫法的创始者科恩，研究领域就不是算学逻辑。他最开始只是单纯对第一问感兴趣，所以想要跨领域去掺一脚。他本人其实不能理解力迫法的巨大意义。
苏君宇估计也是这样想的吧……想要在第一问的领域掺一脚，结果这一腿掺出了大成就。（未完待续。）
ps： 依旧卡文中qaq
大明：开局剧透崇祯，重振河山 巨树领主 巫妖生存指南 我的修真小米三 建立帝国从骑士次子开始 我，地球唯一超能力者 道化九界 舌尖天下 盛世花都 谭笑风声里，灼灼桃之夭 网游航海之王 先婚后爱：娇妻拒婚101次 穿进语文书，从刺猹开始 运河之韵 灵异直播，女主她不想吓人 什么？奥特曼是终身制的？ 敛财心 月薪十万，女总裁她果然不只是让我当司机 西游：六岁熊孩子，开局怒怼观世音 万苍天穹
在古文吃瓜的日常
中元十九年，先帝骤然病逝。先帝子嗣不丰，诸子只余六皇子文乐逸尚在。遂顺承帝业即位，改年号为永昌。众臣及外姓诸侯皆俯首恭诣。新帝登基，一切礼仪从简，朝臣再有意见，在看到护送新帝从边关返回的一众武昌军也变成了没有意见。文乐逸几乎是一天之内象征性地走完了所有程序，立马走马上任给先帝收拾烂摊子。魔蝎小说...
开局天道气运，小师妹喝兽奶躺赢
胎穿成刚出生被抱错，被虐待而死的天才？谢星凰开局自救，拜强者为师，打脸重生真千金的七姐，穿越的八姐她悟性惊人，体质强悍，一岁能报仇，三岁能引气入体突破炼气极境，最重要的是，师尊强大，师兄个个护短，还有她的帅气纨绔爹，漂亮温柔娘竟然都在扮猪吃老虎谢星凰输给爹娘？靠师尊，师兄们带飞，那我岂不是很没有面子？...
恋综：我的青梅竹马竟然是天后
（1男主正常人，不会随便发疯，但是有人膈应他就开怼！）（2男女主都有脑子都有嘴，不会出现什么你不说我不说的误会！）（3男女主1v1恋爱日常，感情事业双线并行！）（4本书爽文甜文，不会出现什么忍辱负重的情节！请放心观看！）因为拒绝了神似泳装千代的婆婆潜规则，凌天被雪藏五年，解约之际，经纪人突然造访，让他去...
穿越之再嫁小狼狗
别人穿越都是姑娘十八一朵花，苏研穿越则是姑娘二十已成家，家里还聚齐了恶婆婆，绿茶表妹，刻薄小姑以及自私薄情丈夫四大天坑。这世道，这家庭，苏研一刻也待不了穿回去，必须穿回去，跳河穿回去结果河跳了，人差点嘎也没成功。好在和前夫离了婚又找了个小狼狗那就在古代好好过吧。苏研的职业规划1首先搞钱2其次搞钱3最后还是搞...
被战神宠成宝的小王妃是玄学大佬
关于被战神宠成宝的小王妃是玄学大佬传闻大景战神王爷晏玄翊身负七杀，煞气缠身，恐活不过而立之年。国师批命，他须娶天命贵女苍妍玲，才能破除命中死劫，化解七杀。大婚当日，嫁入王府的却是被拴在家畜棚子里与家畜一起养，又疯又傻，还克死全家的煞星苍云烟。七杀碰上煞星，都以为翊王夫妇不出几日就会命丧黄泉。殊不知一场替嫁，小可怜苍云烟豆芽菜身体里的神魂，成了意外魂穿至此，来自现代硕博连读考古系学霸云烟。她不仅拥有自带小世界的神秘珠子，还掌握捉鬼斗邪的高深玄术，懂得极为厉害的修炼之法。翊王把她当闺女养，去哪都带着她。想不到她扮猪吃虎，以自身高超的玄术，帮着翊王解决身边各种诡异事件，抽丝剥茧地弄清楚自己与翊王的命数真相。捉鬼斗邪，斩妖除魔，破除七杀，携手扭转命运。...
山川月
本书简介 恶人或英雄，权柄或信义，抉择皆在一念间。温明裳入京初识洛清河时，对方是同僚口中善恶莫辨的少年将军。危境中力挽狂澜救雁翎于水火者是她，胜后舍仁义之名下令屠城者亦是她。成事者必有牺牲，我问心无愧。这是洛清河最初予她的回答。年轻的小温大人闻言眉头一皱，痛骂一句虚伪！年少成名的将军回头冲她淡然一笑不及温大人天真。原以为日后必定老死不相往，却不想拨开北地风雪，温明裳看见了被藏于明堂之下的人心之斗。再回首，她看见那人打马而来。前路必定风起云涌，你可以退的。可我不愿。盛世亦有暗流涌，乱局铁血铸关隘。即便明知金雕玉砌之下枯骨成灰，我辈仍愿血为书，笔作骨，荡一卷浩瀚长歌。山川月全文免费阅读，如果您喜欢山川月苏弦最新章节，请分享给您的好友一起来免费阅读。魔蝎小说...