“我已经安排助理准时收看了。这一次是面向全神州的,咱们得去实证部用那个大型算器。”
算器的功能与其品阶直接挂钩。实证部用的大型算器在接驳万仙幻境的能力上总比小型的低阶算器要强很多。
辰风和艾轻兰两个人身形一闪,几个急掠,就到了实证部门口。当他们推开实证部大门的时候,发现自己实证部所有的研究员都围在大型算器哪里,叽叽喳喳的,围了个水泄不通。
“怎么了?”艾轻兰问了几声,没人回答。她用法力将毛梓淼摄过来。毛梓淼一个激灵,惊到:“艾师姐?那个……那个在算器里面讲道的家伙,是小崎吧?”
“王崎?”艾轻兰和辰风对视一眼,不明所以:“我让你们去看了是今天万法门的那一场讲道吧?”
“就是那一场啊!大姐!”另外一个修士指着算器大叫:“那个正在讲道的人,好像就是经常来帮忙的那位……师兄啊……”
幻影之中,王崎娓娓道来:“在康门主的诸多论证当中,对角线证法称得上天才一般的构思,他向我们表明了,可数无限都是相等的。而在可数无限之外,还有不可数无限……”
这些朗德的修士已经呆若木鸡了。
王崎经常帮辰风他们处理一些实验数据,所以这些人也都见过王崎。他们知道王崎是万法门真传,算学水平高得每边可这也太高了吧?
我们都是同辈啊?他都已经能够和逍遥修士讲道了吗?
辰风和艾轻兰两个人也愣住了。
那篇险些颠覆万法门的论文,就是……就是王崎的作品?
……
“而当康门主在道心沦丧之前,问出的最重要的问题,便是与这‘无限’有关。”
王崎说道这一局的时候,魏二先生神色一暗,似乎又想起了自己那个如有天妒之才的弟子。
“那就是所谓的连续统假设,也就是希门主提出希门二十三问的第一问连续统之问。”
“而在歌庭派的无数尝试之中,我们逐渐意识到了,二十三问之中,第一问与第二问都这非常紧密的联系算学的一致性。”
“这也是诞生自康门主集合论之中的巨大矛盾。它用一句话就可以概括‘此言非真’真耶?假耶?这个自中古就有的真假之辨,引发了算学体系的灾劫。”
当介绍到这里的时候,王崎停顿了一下,道:“我的思考,便是自这里起始的。”
……
“……不完备最核心的概念有两个。我首先要介绍的第一个,唤作自我指涉……”
路小茜看着王崎的讲演,一向清雅的脸上,也露出错愕的表情:“这……我有一种初闻缥缈之道的感觉……”
这不完备定理和不可测定理,同样都很洗人三观啊!
“哼,万法门的……”破理真人摇摇头。他也想起自己师弟不准道人当年震惊天下的情形了。
破理真人并不如何喜爱算学,尤其不喜欢这种纯粹算理,所以没有显身去听。
“我们越是往微观的层面走,算学就越显得重要。”路小茜已经开始沉思:“这个发现对我们有什么意义呢?”
“没有任何意义,也不会有任何意义的。”破理真人强调道:“或许他们会升华出更多的算法作为你我的求道之器,但是。这个发现本身没有任何意义。”
……
万仙幻境深处,王崎的讲演,也进入了一个新的阶段。
“傀儡审官”这一个故事,乃是不完备和不可判定都会涉及到的重要概念“自我指涉”。但是,不完备定理也不是纯粹由这一个概念支撑起来的。
“接下来,我要讲的,便是我从希门主、从歌庭派的工作当中学习道的最重要的概念!形式化。”
“在这里,这一个形式化便有一些特殊。”(未完待续。)
ps:求月票求月票!
请收藏:https://m.blsql.com
(温馨提示:请关闭畅读或阅读模式,否则内容无法正常显示)