手机浏览器扫描二维码访问
第489章（第1页）
“还记得老夫极盛之时，是如何被人描述的吗？”
——自下而上地构筑了完美的算学天地，其中任何想当然的、未经证明的东西没有立足之地。
“隐约感觉到了吗？这一篇论文，这一篇《试论卷一算术篇中形式上不可判定之陈述及相关系统》并不是全部，它肯定还有后续。”
“而那个后续，或许就是我理念破碎的时候。”
——“不可判定”与“不完备”当中，“真”和“可证明”不是一个概念。
——有些真理，无法证明。
女子咬牙，以她逍遥境界都差点没抑制住眼泪：“该死的……该死的王崎……还有冯落衣……”
“他们对了，我错了，这难道还要怪他们吗？以前被我扇过耳光的，又该上哪儿说理？”
无机质一般的声音当中，透着一丝坦然。
……
集训之地里，所有修士都被集中了起来。他们被隔绝内外消息已久，尚不知道将要发生什么。
直到神色悲戚的冯落衣站到了他们跟前。
苍生国手开口道：“诸位，我这次找你们来，便是要结束这一场集训。
“你们当中，或许有些人已经自证了‘那个理论’，可能有些人还在怀疑。现在我便来给你们皆晓最终的答案。”
“接下来，我先给诸位讲一个故事。这个故事，曾经以蜃戏的形式播放给你们所有人看过。但现在，我要从一个算家的视角，来给你们讲一讲这个故事。”
冯落衣对着众人说了一个故事。
一个傀儡审官的故事。
一个有穷壁垒的故事。
第二百三十四章英才迟暮
不像很多意义重大的数学证明——比如孪生素数猜想的证明，不完备和不可判定的证明其实相当简单。
参加这次集训的诸多万法门弟子，三观已经经过了多次洗礼，心中早就对算学的完备性、一致性和可判定性生出了一丝怀疑。
现在，阻碍他们继续深入下去的，除了长期以来的主观经验之外，还有来自经典的解读。
那些“经典”，多半多是算主书写的。
与算主同为歌庭派当世之代表人物的冯落衣给了“完备性”最后一击，众人观念之中的知见障便开始破碎。
而不可判定性的证明，也一并教给了他们。
冯落衣最后对所有人说道：“现在，我们也只公开了第一阶段的论文，《试论卷一算术篇中形式上不可判定之陈述及相关系统》。众人只知完备性的丧失。有些修士，甚至还对此一无所知。
而很快，我们还要公布第二阶段的论文《论可计算数及其在判定定理上的应用》。那将会引发更加巨大的冲击。
现在，你们就要发挥出你们这几个月集训的成果，用尽一些办法，温和的告诉你们认识的万法门弟子，完备性和可判定性都已经成为了历史。这就是你们现在的任务。”
“去吧！”
短短片刻之内，整个集训地中的诸多修士就如星流云散。只有陈由嘉等极少数几个人不徐不疾的在往外走。
陈由嘉还在踟蹰，心中反复：“要不要给那个家伙发个讯息问一下呢……这一次对离宗冲击最大。他是数论领域的大宗师，偏向离宗……可是，他是万法门现任的门主啊？他肯定已经知道了吧……他也不需要我关心吧……”
“哟！”突然，她的肩膀被人拍了一下……唔，按灵识的感觉，是一个灵体。
陈由嘉转身，就看到王崎那一张笑脸。
天才高手 人人都爱马文才 替嫁给病弱佛修太子后他破戒了姜南枝容司璟更新 就想和你在一起 一觉醒来怀了崽 武裂苍穹秦天青儿百度云 替嫁给病弱佛修太子后他破戒了姜南枝容司璟番外 武裂苍穹秦天青儿全集免费阅读 七零空间小娇女 替嫁给病弱佛修太子后他破戒了姜南枝容司璟后续 穿成大佬假妹妹 周一见 九子登云的作品武裂苍穹 神道丹帝叶尘苏傲雪全本免费阅读 替嫁给病弱佛修太子后他破戒了姜南枝容司璟全文免费完结版 穿书之末世娇宠 唐老太的种田生活 封先生的宠爱 玄学大佬在现代 贵门妾
蜜宠娇妻：试婚三个月
遇到她之前，他不相信命运，遇到她之后，他开始相信命中注定。他说你出现在合适的时间就要做合适的事。他说如果你愿意，我们可以谈，如果你不愿意，条件你开，但证是要领的。他说婉婉，你是我的婉婉，只是我的婉婉。一个潜伏多年的恩怨情仇，一次偶然的邂逅，一场刻骨铭心的爱恋。她说喜欢是君谦牧，爱是君谦牧，君先生，婉婉有约，余生可否一起走？回应她的是男人缠绵悱恻的吻和一个从骨子里发出的好。如果您喜欢蜜宠娇妻试婚三个月，别忘记分享给朋友...
一万种清除玩家的方法
我穿越的世界遍布玩家，生存本就不易，而我更是被系统缠身，成了NPC中最耀眼的那个土著看我不顺眼，玩家视我为眼中钉。为了在异世界美好的生活，为了不被玩家欺辱，我只能竭尽全力，把所经历的苦厄变成别人的苦厄，把所有的收获留给自己，茁壮成长，成为一个永远无法被玩家打败的BOSS这是一本第四天灾被天灾的故事。已完结万订作品万界圆梦师，人品保证，请放心入坑。如果您喜欢一万种清除玩家的方法，别忘记分享给朋友...
快穿之爱你不珍惜，变心了你哭啥
简介滴！您触发了009系统，请开始您的虐渣（攻略）之旅！于是，姜淼遇到各种背着半部刑法的渣男，以及批量生产的小莲花小绿茶。她叹了一口气，抡起在末世敲丧尸的棒槌，这位面能不能多些真善美？这个替身要被男主买去洛阳做外室了！您怎么跑去撩摄政王？哦，当然是套路他，让快穿之爱你不珍惜，变心了你哭啥推荐地址...
网游之永恒神界
网游之永恒神界简介emspemsp网游之永恒神界是一念红尘的经典网游动漫类作品，网游之永恒神界主要讲述了最火爆网游身材矮小体质单薄的莫唯，从来都是一个不起眼的一念红尘最新鼎力大作，年度必看网游动漫。海棠屋（haitangshuwucom）提供网游之永恒神界最新章节全文免费阅读！。...
别打了再打要废了
我爱你你打死我都愿意，我失去你了，没有你我活着有什么意思，老天眷顾，又一次相见，再一次失去。又一次相见，我此生只剩下赎罪了，求你，别不要我，怎么样都行，跪起我，打死我，虐死我都行，只求你给我一个赎罪的机会，我不能没有你...
开局系统噶了！噶了！噶了！
修仙无CP女强真实温馨有系统无系统成长流，前期女主会比较苟，不是那种穿来就作天作地的性格，内容真实，介意者渗入陆茉雪罔顾人伦，勾引师尊，按照宗规，即刻将其废除修为逐出宗门，你可有不服？就问，谁特么的开局是这样的。但这还不是关键，关键是刚带她穿过来的系统就这么噶了。没错，一点儿都不经造的噶了，就没...