新浪中文网

手机浏览器扫描二维码访问

第489章（第1页）

“还记得老夫极盛之时，是如何被人描述的吗？”

——自下而上地构筑了完美的算学天地，其中任何想当然的、未经证明的东西没有立足之地。

“隐约感觉到了吗？这一篇论文，这一篇《试论卷一算术篇中形式上不可判定之陈述及相关系统》并不是全部，它肯定还有后续。”

“而那个后续，或许就是我理念破碎的时候。”

——“不可判定”与“不完备”当中，“真”和“可证明”不是一个概念。

——有些真理，无法证明。

女子咬牙，以她逍遥境界都差点没抑制住眼泪：“该死的……该死的王崎……还有冯落衣……”

“他们对了，我错了，这难道还要怪他们吗？以前被我扇过耳光的，又该上哪儿说理？”

无机质一般的声音当中，透着一丝坦然。

……

集训之地里，所有修士都被集中了起来。他们被隔绝内外消息已久，尚不知道将要发生什么。

直到神色悲戚的冯落衣站到了他们跟前。

苍生国手开口道：“诸位，我这次找你们来，便是要结束这一场集训。

“你们当中，或许有些人已经自证了‘那个理论’，可能有些人还在怀疑。现在我便来给你们皆晓最终的答案。”

“接下来，我先给诸位讲一个故事。这个故事，曾经以蜃戏的形式播放给你们所有人看过。但现在，我要从一个算家的视角，来给你们讲一讲这个故事。”

冯落衣对着众人说了一个故事。

一个傀儡审官的故事。

一个有穷壁垒的故事。

第二百三十四章英才迟暮

不像很多意义重大的数学证明——比如孪生素数猜想的证明，不完备和不可判定的证明其实相当简单。

参加这次集训的诸多万法门弟子，三观已经经过了多次洗礼，心中早就对算学的完备性、一致性和可判定性生出了一丝怀疑。

现在，阻碍他们继续深入下去的，除了长期以来的主观经验之外，还有来自经典的解读。

那些“经典”，多半多是算主书写的。

与算主同为歌庭派当世之代表人物的冯落衣给了“完备性”最后一击，众人观念之中的知见障便开始破碎。

而不可判定性的证明，也一并教给了他们。

冯落衣最后对所有人说道：“现在，我们也只公开了第一阶段的论文，《试论卷一算术篇中形式上不可判定之陈述及相关系统》。众人只知完备性的丧失。有些修士，甚至还对此一无所知。

而很快，我们还要公布第二阶段的论文《论可计算数及其在判定定理上的应用》。那将会引发更加巨大的冲击。

现在，你们就要发挥出你们这几个月集训的成果，用尽一些办法，温和的告诉你们认识的万法门弟子，完备性和可判定性都已经成为了历史。这就是你们现在的任务。”

“去吧！”

短短片刻之内，整个集训地中的诸多修士就如星流云散。只有陈由嘉等极少数几个人不徐不疾的在往外走。

陈由嘉还在踟蹰，心中反复：“要不要给那个家伙发个讯息问一下呢……这一次对离宗冲击最大。他是数论领域的大宗师，偏向离宗……可是，他是万法门现任的门主啊？他肯定已经知道了吧……他也不需要我关心吧……”

“哟！”突然，她的肩膀被人拍了一下……唔，按灵识的感觉，是一个灵体。

陈由嘉转身，就看到王崎那一张笑脸。

穿成流放文的极品小姑（穿书）  七零夜校女教师  再见，我亲爱的封先生  重回86：大哥死前托妻给我  是你攻略不下的女主  穿越千年，只为遇见你！  十二鬼月横滨结仇日常  我靠拾荒称霸三界  震惊！这个男人能点化智械  [原神]为了磕cp我连天理都能推翻  开局被女土匪看中，我占山为王  怪厨  妻调令  雄虫他只想苟命[虫族]  孤手握三十万重兵，你让孤自裁？  风刃之芒  穿成大佬假妹妹  富婆的快乐你不懂[神豪]  夫君热衷于给我捧场  魂穿七零，这个世界我要做大女主