手机浏览器扫描二维码访问
第477章（第2页）
他这一生，并非没有败过、没有怕过。因此，他也不羞于谈论这些。
自然而然，想到什么就说什么。
“老师，您或许可以向往常那样休息休息，散散心，完备律这一关，其实并非非得攻克不可。您看，三五年前我们已经证出了算学不少分支系统的完备性……”
“何科。”希柏澈一口叫出这个学生的名字：“你最近是不是听到了什么消息？”
这位半步逍遥的修士，乃是他早年的几位弟子之一，感情与算主后来的弟子自是不一样。他有些不敢去看自己老师的背影，低头道：“最近……我和何师弟接触过了……”
何外尔是算主就有成就的弟子。算主的不少弟子都尊称他为师兄。但是何科这种更加年长的，则称之为师弟。
希柏澈露出了头疼的表情：“外尔啊……那家伙信了连宗之后，就变了。他说什么了？”
“我探过他的口风，事情似乎真的很不妙……”
“看起来算君还是有些本事的。”算主点点头，不以为意：“我理论的漏洞很多，他若是能够帮我找出一两样，我倒是感激不尽。只不过，他应该不屑于思考这个领域吧？哼。”
何科咬咬牙：“还有，冯先生……冯先生也知道。只是，他们都担心您挺不过去……”
“我说我这老朋友最近怎么鬼鬼祟祟的，原来这这样吧？”希柏澈表情有些凝重了：“看起来，真的是大问题啊。能有多基础呢？我到底是哪里……”
何科心中一片冰凉：到现在，老师的思路都没有往“完备性”上靠……他根本不怀疑算学的完备性……
“老师，我们还有退路的。我们还是能够通过超穷归纳法，从系统外证明系统的完备性……”
何科没有说太久。算主的眼睛盯着他。那黑色的眸子似乎有无边的魄力。很快，他就说不下去了。过了好一会，算主才将目光拉回到那个自己已经停滞了许久的证明。他仿佛想要沿着这个证明，“看到”算学的彼岸。
“我们必须知道，我们必将知道……”
他轻声呢喃。
“总而言之，我最近的思路了。”王崎一脸平淡的对着冯落衣汇报了自己的思路。
所谓的“思路”，有些时候是需要藏着掖着，但是有些时候说出来也无妨。
王崎的这个思路对于冯落衣来说，就是这样。
冯落衣已经是巅顶的修士了。无论命还是利，他都没有更高的要求了。这位大算家心中所想的，无非就是求得大道，另外还有摆脱那个所谓的“终极图景”。除此之外，再也没有什么利益能够打动他了。
倒不如说，为了实现他的理想，王崎这种有天分的后辈越多越好。从这个层面来讲，冯落衣对王崎的支持当真可以说是不遗余力。
这也是那些已经“登顶”的家伙不吝啬于提携后辈的原因。
冯落衣则在脑海当中思考王崎的思路。他想到：“看你这态势，竟好似要杀穿这个二十三问啊。”
“不敢，不敢。”王崎要要有。二十三问何其可怕？就算在地球，这二十三个问题当中依旧有数问是悬而未决的。他就算有信心独立解决其中的一两问，也不敢说能够解决所有。
冯落衣摇摇头：“以后的事情，谁知道呢？五六年前吧，我就没看出来，你居然能够循着那个完备性，一举击穿第二问、第十问——唔，说不定还要再添上第一问。”
“不过……”冯落衣的眼神突然锐利起来：“你好像总是很喜欢走弯路。”
“弯路？”
王崎错愕。力迫法才是完美解决连续统假设问题的不二之选啊？为什么是弯路？
“我最近看到了一个思路，很奇特，很有趣。”冯落衣盯着王崎的眼睛，道：“将所有可建立集合同和成一个系统，在无限中比较无限的大小……”
王崎错愕：“有人想出来了？”
这就是当初哥德尔证明连续统假设的思路！
在ZF公理允许的范围之内作推到，证明，若是ZF公理系统具备一致性，则连续统假设为真。在ZF公理体系之内，连续统假设无法被证伪。
穿成大佬假妹妹 一觉醒来怀了崽 就想和你在一起 玄学大佬在现代 封先生的宠爱 贵门妾 替嫁给病弱佛修太子后他破戒了姜南枝容司璟番外 武裂苍穹秦天青儿百度云 穿书之末世娇宠 替嫁给病弱佛修太子后他破戒了姜南枝容司璟后续 七零空间小娇女 武裂苍穹秦天青儿全集免费阅读 周一见 天才高手 九子登云的作品武裂苍穹 唐老太的种田生活 替嫁给病弱佛修太子后他破戒了姜南枝容司璟全文免费完结版 替嫁给病弱佛修太子后他破戒了姜南枝容司璟更新 神道丹帝叶尘苏傲雪全本免费阅读 人人都爱马文才
僵约：平分天赋，拿下马小玲！
不喜勿入男频书，不太适合美丽的小姐姐们看，慎入慎入慎入！穿越僵约世界，江枫觉醒平分天赋，即通过碰触的方式，将对方绑定为好友，绑定成功后，可以复制对方一种天赋！到自己身上！天赋，涵盖能想象到任何的东西！智商，血脉，灵力，法术，金钱，等等任何事物！总之，最需要什么就会获得什么！叮你已经与欧阳嘉嘉成为好友，触发平分...
穿成赘婿暴君的恶毒前妻
1V1双洁，甜宠人间夸夸机女主vs水逆少年男主。温南在一次任务中身亡。醒来之后，得了一个便宜系统。温南重生于江南一富豪人家。虽为嫡房长女却母亲早亡，父亲宠爱妾室。二房把握经济大权。原身性格嚣张，出了名的大草包。温南十六岁时，在温家在外面找了一个跛脚的男人给温南当赘婿。可是这个所有人都看不起的跛脚男人，日后会是这天下的君主…是一个暴君。十年蛰伏一朝破萤。宿主，你要好好培养暴君，将他培养成明君造福百姓。这样你才能安逸的活着从此温南开始了养夫君大计。夫君被人欺负，嘲笑，温南立刻回怼，叉腰护夫。暴君差钱。很好，她抢回温家继承权，扩展业物，赚的盆满钵满。给暴君当资金。夫君脚跛，她想办法找名医相救。夫君差什么她就送什么。暴君心里没有温暖，日后会大开杀戒。温南立刻给暴君送温暖，给暴君补衣服，嘘寒问暖无微不至。后来暴君成了一代明君，京中贵女个个虎视眈眈。贵女掩唇嗤笑，一介低贱商女，如何能配的上陛下，一股子寒酸。朝臣劝道，陛下天人之姿应该迎娶这天下德才兼备女子为后。可是那年轻的帝王伸手紧紧的拉着温南的手，深情道糟糠之妻不可弃。如果您喜欢穿成赘婿暴君的恶毒前妻，别忘记分享给朋友...
明星总冠军
战斗的理由，你和总冠军！KPL春季赛保级失败而猝死的职业选手韩峰，拥有了一个来自异世界的灵魂，带着无数没人听过的歌看过的电影。于是，韩峰的脚下出现两条路，一条通往娱乐明星，万人追捧，一条通往电竞冠军，多年梦想。韩峰笑道小孩子才做选择，我全都要！如果您喜欢明星总冠军，别忘记分享给朋友...
带娃追妻妈咪求抱抱
带娃追妻妈咪求抱抱简介emspemsp关于带娃追妻妈咪求抱抱乡下回来的林悦晞，为了继承家产，被迫在咖啡厅捡来个服务员领证，本以为对方穷困潦倒需要救济，谁知道捡了个钻石王老五，有钱多金还英伦非凡！咖啡厅老板是他，知名法医是他，S市顶级企业老板还是他！林悦晞感觉自己被骗了，离婚！然而小萌宝抱着大腿喊妈咪，钻石王老五拽着自己求原谅，父子二人把她宠上天，林悦晞暗自偷笑，这是走了什么好运！简直不要太爽！...
美漫里的忍者之神
雷神我可以召唤闪电。罗格我会雷遁。绿巨人我力大无穷，刀枪不入。罗格我会须佐能乎。绯红女巫我可以制造幻觉。罗格月读跟别天神了解一下。格鲁特我是格鲁特。罗格我会木遁，还有顶上化佛。这是一个立志成为忍者之神的忍者，在漫威世界搞风搞雨的故事。如果您喜欢美漫里的忍者之神，别忘记分享给朋友...
穿进年代文后我躺赢了
1V1双洁意外得到金手指的顾笙万万没有想到自己会乐极生悲，穿越成男频七十年代致富文里的路人甲。虽然上有极品后奶奶，下有重生小姑姑，可顾笙也不是吃素的，耍的她们团团转。而且原主弟弟是未来著名大学教授，妹妹是未来著名服装设计师，爸爸是未来企业家。顾笙嘿嘿一笑，都是未来的大佬，这可不就是躺赢的人生。于是顾笙开始撸起袖子养大佬，还不忘找回失忆的大佬爸爸，没成想自己居然变成了女大佬。当顾笙决定抱好锦鲤小竹马的大腿时，傅瑾傲娇冷哼你见过哪只锦鲤有腿？顾笙声音娇软那我抱紧你吖～如果您喜欢穿进年代文后我躺赢了，别忘记分享给朋友...