第一百二十章 宣战榜文?已阅,狗屁不通(2 / 2)

走进修仙 吾道长不孤 4502 字 9个月前

紧接着,他又指出王崎的完备律最大的问题——一阶谓词逻辑无法准确定义任何算学上的概念,它太弱了。它的出现,反而是对离宗的抨击——他们的证明还无法证明自己弄出来的怪物,那名为“无量”【无限】的怪物。

无法用有限语句定义的东西,通通都没有意义,都应该切除。

“啧啧,这根本就是在宣战嘛!”王崎语气非常不爽:“这根本就是在说,‘听说你们这帮学会用石器的猴子因为一个有趣的逻辑把戏兴奋了,所以我回来踩一踩你们,让你们看清楚现实’。”

陈由嘉在王崎耳边轻哼:“你最近确实亢奋过头。”

王崎这才发现自己周围已经为了一圈人。陈由嘉和自己最近,两个人已经靠到了呼吸可闻的地步。陈由嘉是和自己一同看完的。外围的一拳就是以充分扶手黎正国为代表的围观群众。他们大多听过算君的大名。想看看被算君点名批评的是什么人物。外围则还有人在问“算君是谁”。辰风干脆站到了远处,因为他明白自己看不懂。

“我猜师弟你可能很需要这个,所以就直接拿过来了。”皇甫涟摇头叹息:“那个,神京外门有些家伙已经炸开锅了。你的论文连续得到算君算主完全相反的评价,对于他们来说有些刺激……还有最近说不定会有人找你麻烦,你最好避一避然后一个人静一静,调整下心态。”

“调整心态?有必要?”王崎觉得很奇怪。

皇甫涟指指王崎的手指:“你……明明在发抖啊?”

王崎这才注意到,从刚才开始,自己的手指尖就一直在颤抖。

这家伙不会被来自前辈高人的压力吓到了吧?

周围的人们都是如此以为的。

只有辰风喝到:“你疯了?”

这里只有他会读别人的情绪,所以也只有他发现,王崎心中没有一丝恐惧,只有战意。

算君庞家莱期待的是一个封闭,自洽的数学体系,因此他非常排斥“无限”之类的概念……还是说应该佩服他的直觉呢?这个概念最终还是会捣破他钟爱的那个圈子,让算学浴火重生。他是从一开始就靠直觉感到了这一切吗?

真是可怕的直觉啊……哈哈哈哈哈,但那又怎么样?

“我们必须知道,我们必将知道。”王崎喃喃着,然后收起论文,说道:“东家,我要请几天假,最近的工钱你就看着扣吧?”

辰风忧心道:“别乱来!”

找一条这么好用的科研狗不容易,他还没使唤够呢?

王崎哈哈大笑,推门而出,准备去万法门驻地收拾一下东西。

就在这时,莫真真举着一叠纸从小口跑了过来。他一片跑还一边喊道:“师兄你看这……”

“已阅,狗屁不通。”

王崎大手一挥,大步向前。

……

这一章写得有点吃力,主要是算君那对于逻辑、直觉的阐释部分。这一部分主要借鉴了亨利·庞加莱的演讲稿以及《数学恩仇录》的部分ORZ,还请大神斧正。

“运用逻辑,我们证明,运用直觉,我们创造”是庞加莱的名言,而王崎最后吟咏的“我们必须知道,我们必将知道”是希尔伯特的信念。最后王崎那句评价也不是个人的狂妄,而是两派数学家确实水火不容。庞加莱理想当中的数学是封闭的、有限的体系。他不容许“无限”这个概念进入数学——但王崎的时代,无限的研究就是数学的一部分。尽管涉及无限的逻辑好像净是在违背常识。

所以有人担心算君会在王崎前面证得哥德尔不完备定理——这是不可能的事情。算主那一派的人还有希望,但是算君是没可能的。这个问题在他眼里根本就不是一个能够用来思考的数学问题。集合论的最大漏洞“罗素悖论”【白话一些的叫法是“理发师悖论”】是集合论的支持者罗素搞出来的,而不是亨利·庞加莱。后者数学上的水平远远胜过罗素,可他根本不屑于思考这类问题。

关于“猴子”的梗——根据亨利·庞加莱死后发现的日记、手稿,他确实是将不懂数学的人当猴子看的。我想,罗素在他眼里大概就是一直掌握了石器的高级猴子吧?

最后“已阅,狗屁不通”,三体梗,咳咳。