手机浏览器扫描二维码访问
当王崎拿起笔的时候,整个世界都安静了下来。
刚开始的时候,他感到了些微的畅快。在他学习数学的年代里,地球的数学,尤其是运算这一块已经开始深度使用符号逻辑语言了——这正是算君所厌恶的部分。这也是他对算主这一边更有好感的原因。
希尔伯特死后,数学已经发生了翻天覆地的变化,称得上“革命”的变革都不止一次。
一加一等于二没有改变,但是诠释这个“最初等式”的基础却几度变更。或许对于普通人来说,这没有任何意义。他们一辈子需要用到的数学也就是三位数的加减法、二位数的乘除法,以及不超过三维的欧式几何。
但是在更基础的以及更高深的领域里,这决定着很多东西。
王崎在一步步将神州的算学引导到自己更熟悉的领域里。
只是,这般畅快却很快就被越来越明显的艰深感淹没了。
体验过10m宽带的人肯定不会喜欢2m的小水管。二十一世纪的数学和二十世纪初的数学相比多少有这样的味道。王崎在神州学习了许多年,差不多也该习惯2小水管了。但是,当他下载大文件的时候,他还是会忍不住怀念10m的网速。
算术系统的相容性,就是这么个“大文件”。站在哥德尔等诸多巨人的肩膀上,王崎可以很快的理解这个问题,但要他自己不用那些大能开发的数学工具,自己一步一个脚印证出来……
“实在是太困难了。”王崎叹了口气。
这是一座大山,千仞孤峰,他曾经依靠别人的力量站立在这里,然后很快就向更高的地方移动过去。但现在,他需要自己攀爬一遍,而且还不许用前人留下的全套登山工具。
接下来就是一场孤者的独舞。
由于看不到进度,他开始有些烦闷。他觉得,有个人来和自己讨论一下说不定会好很多。
“难怪学神们总是喜欢凑在一起工作,就连爱因斯坦也会规规矩矩上班”他这么想着,忍不住怀念起陈由嘉来。
虽然这个幼女说话非常讨厌,但很聪明,水平足够,是个可谈论的对象。
不过不知为何,陈由嘉好像非常厌恶纯碎数学,这种厌恶已经超过应用数学家该有的程度了。王崎清楚这一点,所以特地到陈由嘉看不到的地方做这件事。
工作进行到后面的时候愈发艰难了,枯燥感滋生。王崎放下笔,开始有些后悔了。
哥德尔完备性定理属于推理过程简单的工作,不完备定理更是简单到不可思议。这是属于那位大数学家智慧的辉煌,可一旦点破,其实不复杂。
而王崎现在做的,却是一个复杂的工作。
他再次认识到自己的自大。同辈之中,无论是苏君宇还是陈由嘉,在理论层面都弱他一筹。两世的积累、地球更先进的数学加上修炼带来的聪敏大脑造就了他的强大。
但是,和历史上最顶尖的人比起来,他还差了些。
“浪了一波就被就被现实赤裸裸的打脸……”王崎自嘲的低语到,然后抱着脑袋在卓死伤小憩一会。
他开始觉得自己的工作没有什么意义了。他很清楚,在被不完备定理击垮之前,算主极度乐观的思考方式是不会接受用超限归纳法绕过完备性、相容性的证明过程的。而算君……这玩意在算君眼里根本就不是算学。
他没有自己说得那样喜欢数学,他上辈子更倾向于应用数学,他还是个物理学家。
神偷长公主 一爱到底之顾少毒妻 天地炼成 捡到病娇太子之后(重生) 悍妻[医道] 大明孤狼 最强除妖师 断神 穿越之弃子国师 系统之娇宠孕妻 时光请善待我的她 废材重生:邪王独宠悍王妃 我是狠人大帝的同乡 赌妃在上,王爷在下 眼镜兄撞上恶魔王子 娱乐超级奶爸 直播和男神同居的日子 烈火燃情:高冷总裁滚远点 天黑请开眼 扛着boss拼下限(末世)
宇宙爆炸之后,人类正式进入星际时代。而刚刚穿越过来的地球人周易却发现自己好像和别人不太一样自己居然能给机甲觉醒出星纹?只在星际传说中才能出现的纹星师大人竟是我自己??居然还有个高级位面的全能智脑系统赖上自己了???就在周易摩拳擦掌准备成为星际最伟大的纹星师时,身后慢慢多了道炙热的目光。喂!我真的不是你要找到的那个...
一觉醒来,世界变成了颜色,残破的出租屋和世界,山海经的种种妖魔一一现身。现实的商业街,实体是毕方巢穴。长江浮岛,实体是大江蛟龙。学校操场,实体是山海经神明尸首。出世则天下大乱的滑褢!啼哭如音波,大如轰炸机的人面鸮。高入云丛,一脚踢爆山峰的万里龙伯巨人。除了山海经怪物,还有一些与之关联的克苏鲁这里有克苏鲁对战长江蛟龙,有世界树和建木交融,当碰撞到了极限,被折叠的现实只能露出全貌。种种大恐怖浮出水面,好在自己可以为技能,神通加点,开局领先众人一步!这下,是做超人还是祖国人,自己选!韩景略一杆赤壁枪,腰引长弓,两刀傍身,且随我,杀穿山海!如果您喜欢神话复苏我在山海经斩神!,别忘记分享给朋友...
穿越回明朝洪武年,成了大明嫡长孙朱雄英。但他被蒙在鼓里,还有些迷茫。站在历史的十字路口,决定为未来谋划。选谁好呢。储君太子朱标。大明王爷朱棣。还是性格软弱,却爱搞事的朱允炆。想走科举,却是商户,那就待在家里等大官上门吧。他在应天街头,立下宏志,要轻松的奋斗在明朝洪武年。等他离成功不远,要步入朝堂时,干爷爷摊牌了不装了,其实咱是朱元璋。这才发现,奋斗了那么久,自己才是大明最牛的金大腿。如果您喜欢不装了,其实我是朱重八,别忘记分享给朋友...
关于恶魔盛宠甜心狠嚣张!你惹火我了,今晚独守空房!她嚣张的冲着他吼他是曾经的王者,可是,只有在她面前,分分秒秒怂成了狗。化身小奶狗的时候嗯老婆我错了,我再也不敢了,原谅我吧化身小狼狗的时候抱歉好像没有什么用,还是抱着你好了,我知道错了。小狼狗转换成老狗哔来,坐过来,我们好好谈谈,到底是谁错了!她忍无可忍,美目怒瞪他信不信我让你变单身狗!他立马不要脸的凑上去偷吻她老婆...
甜宠暧昧,1v1几年前,她心地善良,救了一个恶魔几年后,他终于找到她,她却忘了他!恶魔少爷很生气,后果很严重苏萌萌,谁准你穿这么短的裙子?苏萌萌,谁准你对别的男生笑?苏萌萌,谁准你离我这么远?苏萌萌,过来,亲一下!小丫头反抗失败,彻底沦为了恶魔的同桌跟班未婚妻这个混蛋,总是变着花样欺负她!可是,他也悉心百倍的疼爱她,给她世界上最甜蜜的糖果,和最美好的初恋。如果您喜欢恶魔校草宝贝,宠上天,别忘记分享给朋友...
关于云少宠妻有点甜颜暮怀了一个素昧平生的男人的孩子,被人害,被人踩。孩子他爹不干了,分分钟让颜暮把他娶回家。结果太意外,老公不仅是大佬,宠妻还有点甜。爱上了闪婚老公,求扑倒姿势在线等,挺着急!...