第一百二十章 宣战榜文？已阅，狗屁不通（2/2）

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

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

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

陈由嘉在王崎耳边轻哼：「你最近确实亢奋过头。」

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

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

「调整心态？有必要？」王崎觉得很奇怪。

皇甫涟指指王崎的手指：「你……明明在发抖啊？」

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

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

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

只有辰风喝到：「你疯了？」

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

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

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

「我们必须知道，我们必将知道。」王崎喃喃着，然后收起论文，说道：「东家，我要请几天假，最近的工钱你就看着扣吧？」

辰风忧心道：「别乱来！」

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

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

就在这时，莫真真举着一叠纸从小口跑了过来。他一片跑还一边喊道：「师兄你看这……」

「已阅，狗屁不通。」

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

——————————————

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

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

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

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

最后「已阅，狗屁不通」，三体梗，咳咳。

最后的最后……求个推荐票……真不好意思说出来呀！