手机浏览器扫描二维码访问
第477章（第2页）
他这一生，并非没有败过、没有怕过。因此，他也不羞于谈论这些。
自然而然，想到什么就说什么。
“老师，您或许可以向往常那样休息休息，散散心，完备律这一关，其实并非非得攻克不可。您看，三五年前我们已经证出了算学不少分支系统的完备性……”
“何科。”希柏澈一口叫出这个学生的名字：“你最近是不是听到了什么消息？”
这位半步逍遥的修士，乃是他早年的几位弟子之一，感情与算主后来的弟子自是不一样。他有些不敢去看自己老师的背影，低头道：“最近……我和何师弟接触过了……”
何外尔是算主就有成就的弟子。算主的不少弟子都尊称他为师兄。但是何科这种更加年长的，则称之为师弟。
希柏澈露出了头疼的表情：“外尔啊……那家伙信了连宗之后，就变了。他说什么了？”
“我探过他的口风，事情似乎真的很不妙……”
“看起来算君还是有些本事的。”算主点点头，不以为意：“我理论的漏洞很多，他若是能够帮我找出一两样，我倒是感激不尽。只不过，他应该不屑于思考这个领域吧？哼。”
何科咬咬牙：“还有，冯先生……冯先生也知道。只是，他们都担心您挺不过去……”
“我说我这老朋友最近怎么鬼鬼祟祟的，原来这这样吧？”希柏澈表情有些凝重了：“看起来，真的是大问题啊。能有多基础呢？我到底是哪里……”
何科心中一片冰凉：到现在，老师的思路都没有往“完备性”上靠……他根本不怀疑算学的完备性……
“老师，我们还有退路的。我们还是能够通过超穷归纳法，从系统外证明系统的完备性……”
何科没有说太久。算主的眼睛盯着他。那黑色的眸子似乎有无边的魄力。很快，他就说不下去了。过了好一会，算主才将目光拉回到那个自己已经停滞了许久的证明。他仿佛想要沿着这个证明，“看到”算学的彼岸。
“我们必须知道，我们必将知道……”
他轻声呢喃。
“总而言之，我最近的思路了。”王崎一脸平淡的对着冯落衣汇报了自己的思路。
所谓的“思路”，有些时候是需要藏着掖着，但是有些时候说出来也无妨。
王崎的这个思路对于冯落衣来说，就是这样。
冯落衣已经是巅顶的修士了。无论命还是利，他都没有更高的要求了。这位大算家心中所想的，无非就是求得大道，另外还有摆脱那个所谓的“终极图景”。除此之外，再也没有什么利益能够打动他了。
倒不如说，为了实现他的理想，王崎这种有天分的后辈越多越好。从这个层面来讲，冯落衣对王崎的支持当真可以说是不遗余力。
这也是那些已经“登顶”的家伙不吝啬于提携后辈的原因。
冯落衣则在脑海当中思考王崎的思路。他想到：“看你这态势，竟好似要杀穿这个二十三问啊。”
“不敢，不敢。”王崎要要有。二十三问何其可怕？就算在地球，这二十三个问题当中依旧有数问是悬而未决的。他就算有信心独立解决其中的一两问，也不敢说能够解决所有。
冯落衣摇摇头：“以后的事情，谁知道呢？五六年前吧，我就没看出来，你居然能够循着那个完备性，一举击穿第二问、第十问——唔，说不定还要再添上第一问。”
“不过……”冯落衣的眼神突然锐利起来：“你好像总是很喜欢走弯路。”
“弯路？”
王崎错愕。力迫法才是完美解决连续统假设问题的不二之选啊？为什么是弯路？
“我最近看到了一个思路，很奇特，很有趣。”冯落衣盯着王崎的眼睛，道：“将所有可建立集合同和成一个系统，在无限中比较无限的大小……”
王崎错愕：“有人想出来了？”
这就是当初哥德尔证明连续统假设的思路！
在ZF公理允许的范围之内作推到，证明，若是ZF公理系统具备一致性，则连续统假设为真。在ZF公理体系之内，连续统假设无法被证伪。
往生之摘星之旅 嫁给疯批太子冲喜后 修仙从神秘小鼎开始 斩气界 万春街 穿越荒年，我靠做二道贩子发家致富 橘子汽水 地狱诱宠：闪婚老公是冥王 离婚后诈死，傅总拿着孕检单疯了 神魂颠倒 重回八零：我靠练摊暴富了 凶奶奶是年代文真千金 重生之做个好军嫂 乱臣 修仙：我真没想当舔狗！ 让你透视鉴宝，你特么一直乱看 神敌 九天纹线 七零年代炮灰吃瓜日常 趁雪下
诸天带着随身空间到了四合院世界
关于诸天带着随身空间到了四合院世界陈琦莫名穿越，来到一片湖心岛，发现拥有空间之后，并感应到世界种子，按其要求吸收物质供给小世界之种，然后就被排斥到四合院世界，开局城门口，因为衣服新颖而被误认为富家公子而被放行，进入城内遇到还在卖包子的未成年何雨柱，阻止了他被人骗，改变了他获得外号的命运，从而改变了主角的命运从其身上获得了气运，得到了一定的庇护避免了被四合院世界排斥而赶出世界。之后陈琦靠着何雨柱的帮助进入了四合院租了院子安定下来，靠着小世界的养殖种植能力，通过何大清介绍给丰泽园供应食材，之后开肉铺，接手杂货铺，开商行，买地，生意越做越大，于是很多事情很多人也纷至沓来，蝴蝶效应直接造成何大清成了丰泽园二厨，并再娶了。而陈琦只想收集这个世界的各种动植物然后去诸天寻找永生。持续的获取气运使得小世界内开始出现了生成中的四合院世界的信标传送门，完成之后就可以在离开这个世界之后就可以随时回到四合院世界。现在开启了荒野大镖客2救赎的第一幕第一个世界，四合院，第1章124章第二世界，荒野西部大镖客2125章第三世界，港综第四个世界待定。...
仙道猎人
林风穿越到了一个诡异的世界，成了凌虚观的一名小道士。但这世界原本的规则早已破碎，破碎的仙道流落到各种生物手中，滋生出无数邪仙异教。林风在机缘巧合下，被疯子师父血肉附体，还换上了一颗恶鬼的心脏，变成一个半人半鬼的怪物。红月，血雨，尸林倒挂，白蜡油翻滚中人祭，万人朝拜的黄金树，连绵不断的尸垛，不死癫狂的难民，佛世净土中...
人在木叶：生性纯良的我被系统逼上了邪路
关于人在木叶生性纯良的我被系统逼上了邪路穿越火影世界，开局觉醒系统！呦，生性纯良的宿主呦！作为一个正常的男人，你怎么能眼睁睁的看着宇智波富岳那个混蛋老牛吃嫩草！一向宇智波美琴表白，俘获佳人芳心奖励S级忍术一门（随机）二生性纯良的宿主呦！只有愚蠢的人才会做选择，强夺一血奖励写轮眼三门忍术熟练度提升一级（随即）望着远处自己下属那纯真的神情，藤原哲也看着水中自己的倒影陷入了沉思。这一血，自己究竟是要，还是不要？...
异能学校之遇上恋爱脑大佬
关于异能学校之遇上恋爱脑大佬选修课总是遇到女主被迫恋爱脑的魔修大佬vs表面小白实则腹黑爱玩的欧皇新生！简介一高考后准备报考的褚星禾，某天突然接到电话请问是褚星禾同学吗？这里是关山岭职业技术专修学院考生你好，这里是玄天宗职业技法大学招生办褚同学你好，这里是魔神机械设计学院招生办这不妥妥的诈骗电话吗？什么妖魔鬼怪的野鸡学校都打电话过来招生。听听这名字，褚星禾能信吗？当然不能！！！然而她还是被迫入学了。没人告诉她还有入学考试，怎么还有人上学带刀枪剑炮水晶球啊？这都算了！为什么入学考试是闯鬼屋？躲丧尸？跳大神越来越离谱了，得亏褚星禾从小见惯妖魔鬼怪，不然真得被创飞。简介二通识实践课就跟着魔修大佬一起选！结课巨快！为什么？他每个副本都得杀妻证道，主打就是一个大道无情！你进去老公还没喊出来，人就噶掉了！嘎嘎快。还有这种好事？褚星禾第一个冲了！然而她遇到的怎么不太一样？谁能来告诉她，为什么这个魔修大佬只会哭唧唧找老婆，甩都甩不开？...
足坛之开局点满任意球
关于足坛之开局点满任意球什么？竟然把任意球点满了，我明明点的是传球呀！！！沦为皇马队饮水机管理员的江浩，在一场国家德比最后时刻登场，以两粒直接任意球破门方式开始传奇人生。弗洛伦蒂诺我这辈子最大的错误，便是把江浩卖给巴伦西亚。齐达内我很幸运，江浩没有出生在我们那个年代。C罗江浩是历史最佳，我不如他。贝尔难以想象，我竟然会在速度上被人碾压。拉莫斯这家伙不是惧怕对抗吗，怎么铲不动？梅西...
万里追狼
关于万里追狼白龙，它不是龙，也不是马，它是一条白色的狗，是60年代华北地区某村的一条狗王。在那个狼灾泛滥的时代，白龙在主人福哥的照料下，历经坎坷，从一条小狗崽成长为一条勇猛的狗王，并和村里的狗一起担负起守卫村庄的责任。由此与村庄周围的狼群结仇，几番恶战，斗智斗勇。。。...