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

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

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

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

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

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

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

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

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

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

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

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

只有辰风喝到：“你疯了？”

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

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

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

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

辰风忧心道：“别乱来！”

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

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

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

“已阅，狗屁不通。”

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

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

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

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

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

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

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

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