手机浏览器扫描二维码访问
紧接着,他又指出王崎的完备律最大的问题——一阶谓词逻辑无法准确定义任何算学上的概念,它太弱了。它的出现,反而是对离宗的抨击——他们的证明还无法证明自己弄出来的怪物,那名为“无量”【无限】的怪物。
无法用有限语句定义的东西,通通都没有意义,都应该切除。
“啧啧,这根本就是在宣战嘛!”王崎语气非常不爽:“这根本就是在,‘听你们这帮学会用石器的猴子因为一个有趣的逻辑把戏兴奋了,所以我回来踩一踩你们,让你们看清楚现实’。”
陈由嘉在王崎耳边轻哼:“你最近确实亢奋过头。”
王崎这才发现自己周围已经为了一圈人。陈由嘉和自己最近,两个人已经靠到了呼吸可闻的地步。陈由嘉是和自己一同看完的。外围的一拳就是以充分扶手黎正国为代表的围观群众。他们大多听过算君的大名。想看看被算君名批评的是什么人物。外围则还有人在问“算君是谁”。辰风干脆站到了远处,因为他明白自己看不懂。
“我猜师弟你可能很需要这个,所以就直接拿过来了。”皇甫涟摇头叹息:“那个,神京外门有些家伙已经炸开锅了。你的论文连续得到算君算主完全相反的评价,对于他们来有些刺激……还有最近不定会有人找你麻烦,你最好避一避然后一个人静一静,调整下心态。”
“调整心态?有必要?”王崎觉得很奇怪。
皇甫涟指指王崎的手指:“你……明明在发抖啊?”
王崎这才注意到,从刚才开始,自己的手指尖就一直在颤抖。
这家伙不会被来自前辈高人的压力吓到了吧?
周围的人们都是如此以为的。
只有辰风喝到:“你疯了?”
这里只有他会读别人的情绪,所以也只有他发现,王崎心中没有一丝恐惧,只有战意。
算君庞家莱期待的是一个封闭,自洽的数学体系,因此他非常排斥“无限”之类的概念……还是应该佩服他的直觉呢?这个概念最终还是会捣破他钟爱的那个圈子,让算学浴火重生。他是从一开始就靠直觉感到了这一切吗?
真是可怕的直觉啊……哈哈哈哈哈,但那又怎么样?
“我们必须知道,我们必将知道。”王崎喃喃着,然后收起论文,道:“东家,我要请几天假,最近的工钱你就看着扣吧?”
辰风忧心道:“别乱来!”
找一条这么好用的科研狗不容易,他还没使唤够呢?
王崎哈哈大笑,推门而出,准备去万法门驻地收拾一下东西。
就在这时,莫真真举着一叠纸从口跑了过来。他一片跑还一边喊道:“师兄你看这……”
“已阅,狗屁不通。”
王崎大手一挥,大步向前。
——————————————————————————————————
这一章写得有吃力,主要是算君那对于逻辑、直觉的阐释部分。这一部分主要借鉴了亨利·庞加莱的演讲稿以及《数学恩仇录》的部分orz,还请大神斧正
“运用逻辑,我们证明,运用直觉,我们创造”是庞加莱的名言,而王崎最后吟咏的“我们必须知道,我们必将知道”是希尔伯特的信念。最后王崎那句评价也不是个人的狂妄,而是两派数学家确实水火不容。庞加莱理想当中的数学是封闭的、有限的体系。他不容许“无限”这个概念进入数学——但王崎的时代,无限的研究就是数学的一部分。尽管涉及无限的逻辑好像净是在违背常识。
所以有人担心算君会在王崎前面证得哥德尔不完备定理——这是不可能的事情。迅速按住那一派的人还有希望,但是算君是没可能的。这个问题在他眼里根本就不是一个能够用来思考的数学问题。集合论的最大漏洞“罗素悖论”【白话一些的叫法是“理发师悖论”】是集合论的支持者罗素搞出来的,而不是亨利·庞加莱。后者数学上的水平远远胜过罗素,可他根本不屑于思考这类问题。
关于“猴子”的梗——根据亨利·庞加莱死后发现的日记、手稿,他确实是将不懂数学的人当猴子看的。我想,罗素在他眼里大概就是一直掌握了石器的高级猴子吧?
最后“已阅,狗屁不通”,三体梗,咳咳。
最后的最后……求个推荐票……真不好意思出来呀!
什么?奥特曼是终身制的? 月薪十万,女总裁她果然不只是让我当司机 敛财心 谭笑风声里,灼灼桃之夭 巫妖生存指南 舌尖天下 西游:六岁熊孩子,开局怒怼观世音 道化九界 建立帝国从骑士次子开始 我,地球唯一超能力者 我的修真小米三 巨树领主 运河之韵 穿进语文书,从刺猹开始 大明:开局剧透崇祯,重振河山 万苍天穹 网游航海之王 盛世花都 先婚后爱:娇妻拒婚101次 灵异直播,女主她不想吓人
关于折枝花满暄来阅文旗下网站阅读我的更多作品吧!...
「休闲」「日常」「多女主」「正宫哥伦比娅」。杨鸣穿越到了提瓦特,刚走出新手村的他,就被冒充愚人众的盗宝团打劫了。杨鸣混蛋,穷鬼都打架敢不敢报上名来!盗宝人行不改名坐不改姓,第三席少女手下!然后昏迷的杨鸣就被捡人…留云借风真君给捡了回去。但是修行虽然给了他强大的仙家法术武艺体魄,但是穿越之前...
关于星穹铁道我也是开拓者苏心穿越到未知世界,带着系统默默发展三年,都快称霸整颗星球了才发现这是崩铁宇宙。而自己的师傅竟然是其他列车的开拓者,在师傅的推荐下,苏心成为了星穹列车的开拓者。也许开拓之旅很有趣,但是了解这个宇宙的隐秘更为有趣。...
关于她发癫,他绿茶,恋综撒糖尊嘟甜因骂的太脏,穿成po文里和她同名同姓恶毒女配假千金苏夏。原主爱的死去活来的万人迷偏执霸总维护敌蜜。她在直播间哐哐一顿输出呦呦呦,哪里来的狗叫的这么欢我看你是眉毛下面挂俩蛋,光会眨眼不会看监控有吧请看VCR*参加恋综,节目组灵魂发问你的梦想是什么苏夏眼神流露出向往躺在一八五八块腹肌不爱穿衣服有钱的帅男人怀里哭。弹幕尖叫。*后来,一不小心颠成团宠。霸总大哥甩她无限额黑卡,影帝二哥给她开娱乐公司,歌手三哥为她作曲高冷真千金唯独跟她贴贴。*反派男配江羡天生凄惨,早死的妈,渣宰的爸,狠毒的哥和断了一条腿的他。江羡私生子身份曝光,被骂上热搜,全网群嘲,只有苏夏一人站在他身前维护。苏夏遇到危险,他奇迹般的站了起来。面对镜头质问他坦然一笑没错,我装的。爱她不是。我早就心动了,在你看向我的每一个眼神里,千千万万次。咸鱼烂虾是真的...
当地球文明陷落,人类被外星文明统治。根据资质被分为了上民公民和下民。谢如龙,下民区的一个普通晶卡师。意外发现十年前觉醒的精神力可以穿梭到修真世界。从此两个体系碰撞,且看主角如何带领地球突破文明封锁,进入到浩瀚的宇宙文明中!我们的征途,是星辰大海!宇宙中有着浩瀚不同的文明,主流科技文明晶卡文明幻兽文明神话文明...
关于西游旃檀大圣金蝉王有些人忘了,西游路上是非不分的和尚,曾经也是敢在雷音宝刹中,顶撞佛祖的金蝉子。有些人以为,五百年前大闹天宫的猴子,不过是一个神佛算计下,实力平平而不自知的棋子。有些人只记得,手执钉耙龙探爪的是个猪头,却忽略了,腰挎弯弓月半轮的天蓬究竟是谁。这是个,不一样的西游故事。你会看到六翅金蝉唐三藏心猿之身孙悟空弃耙挽弓的猪八戒还有,神秘莫测的心师须菩提。不黑道祖不黑六圣,没有绝对的反派。如果你也觉得,洪荒流就只有阴谋诡计杀人夺宝太过无趣。不妨来此一观且看那五行山下仙猿镇,高老庄中人与妖。天魔祸乱十洲岛,金身染血观音院。黄风岭上得神通,流沙河下取本源。五庄观内遁乾坤,白虎岭外圣人劫解构洪荒流,在充斥算计的洪荒世界里,讲一个不只有阴谋算计的西游故事...