手机浏览器扫描二维码访问
当王崎拿起笔的时候,整个世界都安静了下来。
刚开始的时候,他感到了些微的畅快。在他学习数学的年代里,地球的数学,尤其是运算这一块已经开始深度使用符号逻辑语言了——这正是算君所厌恶的部分。这也是他对算主这一边更有好感的原因。
希尔伯特死后,数学已经发生了翻天覆地的变化,称得上“革命”的变革都不止一次。
一加一等于二没有改变,但是诠释这个“最初等式”的基础却几度变更。或许对于普通人来说,这没有任何意义。他们一辈子需要用到的数学也就是三位数的加减法、二位数的乘除法,以及不超过三维的欧式几何。
但是在更基础的以及更高深的领域里,这决定着很多东西。
王崎在一步步将神州的算学引导到自己更熟悉的领域里。
只是,这般畅快却很快就被越来越明显的艰深感淹没了。
体验过10m宽带的人肯定不会喜欢2m的小水管。二十一世纪的数学和二十世纪初的数学相比多少有这样的味道。王崎在神州学习了许多年,差不多也该习惯2小水管了。但是,当他下载大文件的时候,他还是会忍不住怀念10m的网速。
算术系统的相容性,就是这么个“大文件”。站在哥德尔等诸多巨人的肩膀上,王崎可以很快的理解这个问题,但要他自己不用那些大能开发的数学工具,自己一步一个脚印证出来……
“实在是太困难了。”王崎叹了口气。
这是一座大山,千仞孤峰,他曾经依靠别人的力量站立在这里,然后很快就向更高的地方移动过去。但现在,他需要自己攀爬一遍,而且还不许用前人留下的全套登山工具。
接下来就是一场孤者的独舞。
由于看不到进度,他开始有些烦闷。他觉得,有个人来和自己讨论一下说不定会好很多。
“难怪学神们总是喜欢凑在一起工作,就连爱因斯坦也会规规矩矩上班”他这么想着,忍不住怀念起陈由嘉来。
虽然这个幼女说话非常讨厌,但很聪明,水平足够,是个可谈论的对象。
不过不知为何,陈由嘉好像非常厌恶纯碎数学,这种厌恶已经超过应用数学家该有的程度了。王崎清楚这一点,所以特地到陈由嘉看不到的地方做这件事。
工作进行到后面的时候愈发艰难了,枯燥感滋生。王崎放下笔,开始有些后悔了。
哥德尔完备性定理属于推理过程简单的工作,不完备定理更是简单到不可思议。这是属于那位大数学家智慧的辉煌,可一旦点破,其实不复杂。
而王崎现在做的,却是一个复杂的工作。
他再次认识到自己的自大。同辈之中,无论是苏君宇还是陈由嘉,在理论层面都弱他一筹。两世的积累、地球更先进的数学加上修炼带来的聪敏大脑造就了他的强大。
但是,和历史上最顶尖的人比起来,他还差了些。
“浪了一波就被就被现实赤裸裸的打脸……”王崎自嘲的低语到,然后抱着脑袋在卓死伤小憩一会。
他开始觉得自己的工作没有什么意义了。他很清楚,在被不完备定理击垮之前,算主极度乐观的思考方式是不会接受用超限归纳法绕过完备性、相容性的证明过程的。而算君……这玩意在算君眼里根本就不是算学。
他没有自己说得那样喜欢数学,他上辈子更倾向于应用数学,他还是个物理学家。
时光请善待我的她 一爱到底之顾少毒妻 系统之娇宠孕妻 扛着boss拼下限(末世) 神偷长公主 直播和男神同居的日子 天黑请开眼 眼镜兄撞上恶魔王子 穿越之弃子国师 天地炼成 娱乐超级奶爸 废材重生:邪王独宠悍王妃 赌妃在上,王爷在下 捡到病娇太子之后(重生) 烈火燃情:高冷总裁滚远点 最强除妖师 大明孤狼 断神 我是狠人大帝的同乡 悍妻[医道]
关于至尊神帝萧凌,因偶然机遇,得上古神鼎,从此扶摇而上,逆天改命,成就至尊神帝!...
司凌,刻板严格霸道。宋意,小医生一枚,养母不疼,姐妹不爱。初见时,他抓着她的手腕,他为了他的兵,威吓她,目光凌厉救他的命,你输不起。再见时,因为算命先生的鬼扯,司家千万聘礼,家人逼她嫁给司凌,他看着她哭,声音柔了很多给你一个礼拜的时间,做好准备,嫁进司家。...
关于病态情深阮爷,又凶又猛!别动,替我生个孩子!宋晚薇被继母算计却送错了房间,她无力反抗,只好顺便坑了男人一千万。六年后,她带着小萌包归来复仇,却被当初的男人强势缠上了。阮先生,虽然我们...
她一个万众瞩目的歌坛巨星,竟然穿越到这妖魔横生的异世,季绯儿无语凝噎。成为魔界帝君的三千小妾之一,她认了!夫君竟然把她当做别的女人的替身,她也忍了!只因画面太美,她忍不住,美男花下死,做鬼也风流,还是放下矜持直接扑倒吧!但是这一切只是表象啊有木有!谁能给她解释一下,她那美到惊天地泣鬼神的夫君,竟然是一条蛇妖,她最...
我愿为你屈膝,成为你生生世世的不二臣。任慈。星际第七区。夏氏二小姐夏莫颜第一次回乡,便遭遇了离奇灭门爆炸惨案。系统想要查清真相和救回姐姐,需要先集满最强星际指挥官R的十二块灵魂碎片。然而第一块碎片的现主人,就让她皱了眉,是她的‘克星’任慈哥哥。任慈薄情入骨,孤傲成瘾,对世上任何美色都毫无兴趣。直到夏莫颜以妻子身份,闯进他无趣的生活。任慈夏莫颜就是我的命。可当偏执贵公子以为,枕边人留在他身边,似乎只是想偷他东西时,他发了疯。匕首架在她脖子上。任慈我的心被你视如草芥,那我现在就掏出你的心看看。她反抗,利刃划破他的手,她冲出豪宅。夏莫颜我自以为,动心的不止我一个,是我错了。任慈发现自己误会了夏莫颜后,开启了疯狂追妻模式,行迹遍布大大小小各个星区。卑微任慈还在生我的气吗,为什么这么久都不给我打电话。夏莫颜浪费钱。任慈你想不想我?夏莫颜来姨妈了。某天。某年轻指挥官任慈前辈大你六岁,不如我更适合你。夏莫颜老是老了点,好用。任慈我就当她是在夸我了?好的。(1V1双洁甜文治愈系。)如果您喜欢任先生非要和我谈恋爱,别忘记分享给朋友...
易兮纯作为一个精神穿越体验者,和其余十一人参加了蓝星科技的快慢穿实验。易兮纯开始在012号指引下,进入到不同世界完成快穿实验,百变人生就此开始。易兮纯开始了角色扮演,农女灭族少将军乱世中的乞丐生活在魔法世界的女警卧底一只努力的虫子奈何桥灵每一个世界扮演着不同名字性格命运的人,命运扭转成功还是失败?为何不论到那个世界都能遇到同一个人?原来还是神助攻是抱大腿呢?还是抱大腿呢?还是抱大腿。如果您喜欢快慢穿百变人生,别忘记分享给朋友...