手机浏览器扫描二维码访问
当王崎拿起笔的时候,整个世界都安静了下来。
刚开始的时候,他感到了些微的畅快。在他学习数学的年代里,地球的数学,尤其是运算这一块已经开始深度使用符号逻辑语言了――这正是算君所厌恶的部分。这也是他对算主这一边更有好感的原因。
希尔伯特死后,数学已经发生了翻天覆地的变化,称得上“革命”的变革都不止一次。
一加一等于二没有改变,但是诠释这个“最初等式”的基础却几度变更。或许对于普通人来,这没有任何意义。他们一辈子需要用到的数学也就是三位数的加减法、二位数的乘除法,以及不超过三维的欧式几何。
但是在更基础的以及更高深的领域里,这决定着很多东西。
王崎在一步步将神州的算学引导到自己更熟悉的领域里。
只是,这般畅快却很快就被越来越明显的艰深感淹没了。
体验过10m宽带的人肯定不会喜欢m的水管。二十一世纪的数学和二十世纪初的数学相比多少有这样的味道。王崎在神州学习了许多年,差不多也该习惯m水管了。但是,当他下载大文件的时候,他还是会忍不住怀念10m的网速。
算术系统的相容性,就是这么个“大文件”。站在哥德尔等诸多巨人的肩膀上,王崎可以很快的理解这个问题,但要他自己不用那些大能开发的数学工具,自己一步一个脚印证出来……
“实在是太困难了。”王崎叹了口气。
这是一座大山,千仞孤峰,他曾经依靠别人的力量站立在这里,然后很快就向更高的地方移动过去。但现在,他需要自己攀爬一遍,而且还不许用前人留下的全套登山工具。
接下来就是一场孤者的独舞。
由于看不到进度,他开始有些烦闷。他觉得,有个人来和自己讨论一下不定会好很多。
“难怪学神们总是喜欢凑在一起工作,就连爱因斯坦也会规规矩矩上班”他这么想着,忍不住怀念起陈由嘉来。
虽然这个幼女话非常讨厌,但很聪明,水平足够,是个可谈论的对象。
不过不知为何,陈由嘉好像非常厌恶纯碎数学,这种厌恶已经超过应用数学家该有的程度了。王崎清楚这一,所以特地到陈由嘉看不到的地方做这件事。
工作进行到后面的时候愈发艰难了,枯燥感滋生。王崎放下笔,开始有些后悔了。
哥德尔完备性定理属于推理过程简单的工作,不完备定理更是简单到不可思议。这是属于那位大数学家智慧的辉煌,可一旦破,其实不复杂。
而王崎现在做的,却是一个复杂的工作。
他再次认识到自己的自大。同辈之中,无论是苏君宇还是陈由嘉,在理论层面都弱他一筹。两世的积累、地球更先进的数学加上修炼带来的聪敏大脑造就了他的强大。
但是,和历史上最尖的人比起来,他还差了些。
“浪了一波就被就被现实**裸的打脸……”王崎自嘲的低语到,然后抱着脑袋在卓死伤憩一会。
他开始觉得自己的工作没有什么意义了。他很清楚,在被不完备定理击垮之前,算主极度乐观的思考方式是不会接受用超限归纳法绕过完备性、相容性的证明过程的。而算君……这玩意在算君眼里根本就不是算学。
他没有自己得那样喜欢数学,他上辈子更倾向于应用数学,他还是个物理学家。
万苍天穹 道化九界 网游航海之王 巨树领主 穿进语文书,从刺猹开始 舌尖天下 谭笑风声里,灼灼桃之夭 大明:开局剧透崇祯,重振河山 先婚后爱:娇妻拒婚101次 建立帝国从骑士次子开始 什么?奥特曼是终身制的? 灵异直播,女主她不想吓人 运河之韵 巫妖生存指南 盛世花都 月薪十万,女总裁她果然不只是让我当司机 西游:六岁熊孩子,开局怒怼观世音 我的修真小米三 我,地球唯一超能力者 敛财心
关于我在永不磨灭的番号当政委徐岩大本事,快来!这儿有野鸡脖子!李大本事谁说县大队不是主力?九纵司令员李大本事,恭喜你最近发财啊?李大本事徐岩本事,快来!这儿有大炮!吸铁石打碉堡很难?那不是一炮一个吗?九纵司令员李大本事,恭喜你最近发财啊?李大本事徐岩本事,快来,一仓库的白面啊!丁大算盘来来来,都参加我们县大队了啊,顿顿白面,餐餐有肉啊!九纵司令员李大本事,恭喜你最近发财啊?李大本事徐岩暴怒你们能不能别显摆了?我攒点儿家当容易吗?...
无女主双洁1v1作为一个含着金汤匙出生的富二代,岑沐白觉得自己的一生也就这样了,别人眼里不学无术的纨绔,父亲眼里的一无是处的废物。除了郁天青自己,没人知道他之所以能够容忍岑沐白各种有理无理的要求和不断的骚扰挑衅,不是因为他脾气好,而是因为他是颜控,岑沐白连每一根眼睫毛都长在了他的审美上!郁天青你喜欢韩轻...
如果有一天,太阳消失了,人间一片黑暗,会是什么样的世界呢?巨变中的地球陷入了黑暗,从此没有了阳光,没有了星空,只有无尽的寒冷与黑夜,人类从此进入黑暗与血的时代黑血读者订阅群73628655...
ampgtpamplt一代药尊苏陌岚被人陷害,重生成为废材,脸有胎记,天生废材而且还身中剧毒,群狼虎视眈眈,她一人独战天下,为了自己也为了复仇情节虚构,请勿模仿ampgtpamplt魔蝎小说...
听说原配要小三不得好死。好的,我这就完成任务。燕宁是原配复仇系统的宿主,为被抢了男人的原配向小三复仇。刚开始燕宁无意间虐了男主,第二次刚见面燕宁把...
关于红楼争锋我叫贾珞,贾政之庶子,我的母亲姓周,人称周姨娘。今天是我十六周岁,被安排出府的日子,这一天恰巧林黛玉,进入了荣国府。...