手机浏览器扫描二维码访问
第477章（第2页）
他这一生，并非没有败过、没有怕过。因此，他也不羞于谈论这些。
自然而然，想到什么就说什么。
“老师，您或许可以向往常那样休息休息，散散心，完备律这一关，其实并非非得攻克不可。您看，三五年前我们已经证出了算学不少分支系统的完备性……”
“何科。”希柏澈一口叫出这个学生的名字：“你最近是不是听到了什么消息？”
这位半步逍遥的修士，乃是他早年的几位弟子之一，感情与算主后来的弟子自是不一样。他有些不敢去看自己老师的背影，低头道：“最近……我和何师弟接触过了……”
何外尔是算主就有成就的弟子。算主的不少弟子都尊称他为师兄。但是何科这种更加年长的，则称之为师弟。
希柏澈露出了头疼的表情：“外尔啊……那家伙信了连宗之后，就变了。他说什么了？”
“我探过他的口风，事情似乎真的很不妙……”
“看起来算君还是有些本事的。”算主点点头，不以为意：“我理论的漏洞很多，他若是能够帮我找出一两样，我倒是感激不尽。只不过，他应该不屑于思考这个领域吧？哼。”
何科咬咬牙：“还有，冯先生……冯先生也知道。只是，他们都担心您挺不过去……”
“我说我这老朋友最近怎么鬼鬼祟祟的，原来这这样吧？”希柏澈表情有些凝重了：“看起来，真的是大问题啊。能有多基础呢？我到底是哪里……”
何科心中一片冰凉：到现在，老师的思路都没有往“完备性”上靠……他根本不怀疑算学的完备性……
“老师，我们还有退路的。我们还是能够通过超穷归纳法，从系统外证明系统的完备性……”
何科没有说太久。算主的眼睛盯着他。那黑色的眸子似乎有无边的魄力。很快，他就说不下去了。过了好一会，算主才将目光拉回到那个自己已经停滞了许久的证明。他仿佛想要沿着这个证明，“看到”算学的彼岸。
“我们必须知道，我们必将知道……”
他轻声呢喃。
“总而言之，我最近的思路了。”王崎一脸平淡的对着冯落衣汇报了自己的思路。
所谓的“思路”，有些时候是需要藏着掖着，但是有些时候说出来也无妨。
王崎的这个思路对于冯落衣来说，就是这样。
冯落衣已经是巅顶的修士了。无论命还是利，他都没有更高的要求了。这位大算家心中所想的，无非就是求得大道，另外还有摆脱那个所谓的“终极图景”。除此之外，再也没有什么利益能够打动他了。
倒不如说，为了实现他的理想，王崎这种有天分的后辈越多越好。从这个层面来讲，冯落衣对王崎的支持当真可以说是不遗余力。
这也是那些已经“登顶”的家伙不吝啬于提携后辈的原因。
冯落衣则在脑海当中思考王崎的思路。他想到：“看你这态势，竟好似要杀穿这个二十三问啊。”
“不敢，不敢。”王崎要要有。二十三问何其可怕？就算在地球，这二十三个问题当中依旧有数问是悬而未决的。他就算有信心独立解决其中的一两问，也不敢说能够解决所有。
冯落衣摇摇头：“以后的事情，谁知道呢？五六年前吧，我就没看出来，你居然能够循着那个完备性，一举击穿第二问、第十问——唔，说不定还要再添上第一问。”
“不过……”冯落衣的眼神突然锐利起来：“你好像总是很喜欢走弯路。”
“弯路？”
王崎错愕。力迫法才是完美解决连续统假设问题的不二之选啊？为什么是弯路？
“我最近看到了一个思路，很奇特，很有趣。”冯落衣盯着王崎的眼睛，道：“将所有可建立集合同和成一个系统，在无限中比较无限的大小……”
王崎错愕：“有人想出来了？”
这就是当初哥德尔证明连续统假设的思路！
在ZF公理允许的范围之内作推到，证明，若是ZF公理系统具备一致性，则连续统假设为真。在ZF公理体系之内，连续统假设无法被证伪。
娱乐超级奶爸 赌妃在上，王爷在下 眼镜兄撞上恶魔王子 扛着boss拼下限（末世） 系统之娇宠孕妻 废材重生：邪王独宠悍王妃 一爱到底之顾少毒妻 我是狠人大帝的同乡 断神 悍妻[医道] 神偷长公主 最强除妖师 天黑请开眼 大明孤狼 时光请善待我的她 捡到病娇太子之后（重生） 天地炼成 直播和男神同居的日子 烈火燃情：高冷总裁滚远点 穿越之弃子国师
医路繁花
这是一个巫医为尊，医者为卑的世界。这是一个中医大夫穿越异界，想要救死扶伤，证明自我的故事。舒沄以为只要小心谨慎，必然是能好好地活下去的。可是，危险的漩涡其实一直都没有停过，只等着把她吞噬下去。—如果您喜欢医路繁花，别忘记分享给朋友...
影视：从让子弹飞开始
在让子弹飞中是穷鬼。在敦刻尔克的海滩上当炮灰，在枪火中是烂仔。在毒枭中是街头巡警。在银翼杀手2049是毫无存在感的复制人。系统，我什么时候才能充当主角或者大佬，哪怕是配角？哪怕只有几句台词的小角色？系统如果您喜欢影视从让子弹飞开始，别忘记分享给朋友...
常理不存在的轮回
当你发现自己在睡眠之中被室友套上了女装会怎么想？当你发现自己在女装的时候还得到了一个可以帮助你女装的系统会怎么想？当你发现自己女装的时候还能获得各种各样的技能会怎么想？总之，作为一个健康的大学生，女装什么的绝对是真香定律如果您喜欢常理不存在的轮回，别忘记分享给朋友...
莫满
六年后，她事业有成，家庭美满六年后，他终于等来了恋人回归。本来离了婚不该再有交集的两个人，却为了一桩桩隐秘的往事的真相，纠缠相杀。他曾将她带到悬崖的边缘，她随即纵身一跃。所以，他们彼此，是谁心狠呢？不过是一丘之貉罢了！如果您喜欢莫满，别忘记分享给朋友...
想活命的我只好走柴刀流了
转世后，东悠一直在好好读书。人生的目标是法政大，毕业后自己在神奈川开一家律师事务所，除暴安良，建立和谐互助社会。用正义的姿态来养活自己，可以的话，想把资本主义打趴下。1表白初吻等行为能够进行当前少女存感22对象好感降低至0，则清除当前对象已获取存感3对象好感将至负时，将等额扣除存感4存在感将至0时，角色人物将死亡忽然出现的系统提示，如果不去当柴刀男，存感就会归零，死亡接踵而来。「我想如果是雾岛同学的话，不需要任何手段，只需要给我狂风鄹雨般的热吻就好，这是最有效率的办法」「作为青梅的北条惠里在我心中地位不凡，但是对我来说，今天的和香学姐来的更加重要」「如果交往的对象是东悠的话，那我也没有办法，毕竟不管是外形条件还是温柔都是神奈第一吧？说不定是全东瀛最好的男生了吧」「就算我有男朋友了，这么看来喜欢上东悠不也是很正常的事情吗？」××××东悠不断地告诫自己和少女有一定程度上的好感，但不想推进关系，无论是积极还是消极，都需要为双方留有余地，以后不管朝着哪个方向发展都有明显的回头路但自己真的不是渣男。如果您喜欢想活命的我只好走柴刀流了，别忘记分享给朋友...
双城之我在皮城造机甲
李林穿越到了瓦罗兰大陆的皮尔特沃夫，原本以为自己这辈子就这么碌碌无为的过去了，直至他成为吉拉曼恩家族的打工仔时，却发现自己竟然拥有机械师系统。在这个战乱纷争的魔法世界，深知符文之地命运的李林并不满足于自行车机械手表发电机等已然给他带来名誉和数不清财富的小发明。为了应对符文之地未来的危机，他很清楚，自己必须做些什么！从简单的外骨骼动力装置开始，到钢铁侠般的全自动源计划装甲从量产型的蒸汽机器人造起，到可以应对世界危机的战地与霸天系列机甲通过研究星界魔法与符文魔法，他甚至发明出魔法与科技结合，足以称霸世界的王国机神！然而拥有了如此力量的李林，在联合各国组建英雄联盟的大会上，面对众多英雄时却表示我自始至终的愿望只有一个，那就是世界和平。如果您喜欢双城之我在皮城造机甲，别忘记分享给朋友...