不像很多意义重大的数学证明比如孪生🎯素数猜想的证🁂🂿明,不完备和不可判定的证👟🎬明其实相当简单。
参加🜳这次集训的诸多万法门弟子,三观已经经过了多次洗礼,心中早就🃉🕺🎨对算学的完备性、一致性和可判定性生出了一丝怀疑。
现在,阻碍他们继续深入下去的,除了长期以来的👛🈥主观经验之外,还有来自经典的解读。
那些“经典”,多半多是算主书写的。
与算主同为歌庭派当世之代表人物的冯落衣给了“完备性”最后一击,众🝁人观念之中的知见🌱障便开始破碎。
而不可判定性的证明,也一并教给了他们
冯🝌落衣最后对所有人说道🀝:“现在,我们🕖也只公开了第一阶段的论文,《试论万法算藏>卷一算术篇中形式上不可判定之陈述及相关系统》。众人只知完备性的丧失。有些修士,甚至还对此一无所知。
而很🜳快,我们还要公布第二阶段的论🔛🁔🅢文🎯《论可计算数及其在判定定理上的应用》。那将会引发更加巨大的冲击。
现在,☌你们就要发挥出你们这几个月集训的成果,用尽一些办法,温和的告诉你们认识📹☈♂的万法门弟子,完备性和可判定性都已经成为了历史。这就是你们现在的任务。”
“去吧!”
短短片刻之内,整个集训地中的诸多修士就如星流👛🈥云散。只有陈由嘉等极少数几个人不徐不疾的在往🗋🚈外🞧🖞走。
陈由嘉还在踟蹰,心中反复:“要不要给那个家伙发个讯息问一下呢……这一🍜🄃次对离宗冲击最大。他是🞧🖞数论领域的大宗师,偏向离宗……可是,他是万法门现任的门主啊?他肯定已经知道了吧……他也不需要我关心吧……”
“哟!”突然,她的肩膀被人拍了一下……唔,按灵识的感觉,是一📟🜅⛛个灵体。
陈由嘉转身,就看到王崎那一张笑脸。
“果然,是你。”陈由嘉深吸一口气:“这一次的事情,都是你惹🀰的祸。对吧?虽然冯先生没有直接说那🜖个论文的作者,但我知道,就是你……”
王崎拉着陈由嘉往僻静处走。,一边笑道:“那当然。除了我这个天才,谁能够做出如此巨大的突破?”
陈由嘉很想向以前一样讥讽几句。但是不知为何,👛🈥她没有说出🍷口。🀰