手机浏览器扫描二维码访问
当王崎拿起笔的时候,整个世界都安静了下来。
刚开始的时候,他感到了些微的畅快。在他学习数学的年代里,地球的数学,尤其是运算这一块已经开始深度使用符号逻辑语言了——这正是算君所厌恶的部分。这也是他对算主这一边更有好感的原因。
希尔伯特死后,数学已经发生了翻天覆地的变化,称得上“革命”的变革都不止一次。
一加一等于二没有改变,但是诠释这个“最初等式”的基础却几度变更。或许对于普通人来说,这没有任何意义。他们一辈子需要用到的数学也就是三位数的加减法、二位数的乘除法,以及不超过三维的欧式几何。
但是在更基础的以及更高深的领域里,这决定着很多东西。
王崎在一步步将神州的算学引导到自己更熟悉的领域里。
只是,这般畅快却很快就被越来越明显的艰深感淹没了。
体验过10m宽带的人肯定不会喜欢2m的小水管。二十一世纪的数学和二十世纪初的数学相比多少有这样的味道。王崎在神州学习了许多年,差不多也该习惯2小水管了。但是,当他下载大文件的时候,他还是会忍不住怀念10m的网速。
算术系统的相容性,就是这么个“大文件”。站在哥德尔等诸多巨人的肩膀上,王崎可以很快的理解这个问题,但要他自己不用那些大能开发的数学工具,自己一步一个脚印证出来……
“实在是太困难了。”王崎叹了口气。
这是一座大山,千仞孤峰,他曾经依靠别人的力量站立在这里,然后很快就向更高的地方移动过去。但现在,他需要自己攀爬一遍,而且还不许用前人留下的全套登山工具。
接下来就是一场孤者的独舞。
由于看不到进度,他开始有些烦闷。他觉得,有个人来和自己讨论一下说不定会好很多。
“难怪学神们总是喜欢凑在一起工作,就连爱因斯坦也会规规矩矩上班”他这么想着,忍不住怀念起陈由嘉来。
虽然这个幼女说话非常讨厌,但很聪明,水平足够,是个可谈论的对象。
不过不知为何,陈由嘉好像非常厌恶纯碎数学,这种厌恶已经超过应用数学家该有的程度了。王崎清楚这一点,所以特地到陈由嘉看不到的地方做这件事。
工作进行到后面的时候愈发艰难了,枯燥感滋生。王崎放下笔,开始有些后悔了。
哥德尔完备性定理属于推理过程简单的工作,不完备定理更是简单到不可思议。这是属于那位大数学家智慧的辉煌,可一旦点破,其实不复杂。
而王崎现在做的,却是一个复杂的工作。
他再次认识到自己的自大。同辈之中,无论是苏君宇还是陈由嘉,在理论层面都弱他一筹。两世的积累、地球更先进的数学加上修炼带来的聪敏大脑造就了他的强大。
但是,和历史上最顶尖的人比起来,他还差了些。
“浪了一波就被就被现实赤裸裸的打脸……”王崎自嘲的低语到,然后抱着脑袋在卓死伤小憩一会。
他开始觉得自己的工作没有什么意义了。他很清楚,在被不完备定理击垮之前,算主极度乐观的思考方式是不会接受用超限归纳法绕过完备性、相容性的证明过程的。而算君……这玩意在算君眼里根本就不是算学。
他没有自己说得那样喜欢数学,他上辈子更倾向于应用数学,他还是个物理学家。
我是狠人大帝的同乡 赌妃在上,王爷在下 废材重生:邪王独宠悍王妃 神偷长公主 最强除妖师 大明孤狼 直播和男神同居的日子 一爱到底之顾少毒妻 系统之娇宠孕妻 时光请善待我的她 烈火燃情:高冷总裁滚远点 扛着boss拼下限(末世) 断神 眼镜兄撞上恶魔王子 捡到病娇太子之后(重生) 天黑请开眼 天地炼成 穿越之弃子国师 娱乐超级奶爸 悍妻[医道]
插画设计师VS民宿老板娘外表温柔似水内心有点小傲娇的青年插画设计师vs外表高冷睿智内在幼稚不靠谱老板娘江畔第一次见初见月时初见月跟她的发小哥们刚们打了一夜的麻将。也是江畔第一次觉得一个女生可以活的爷们。江畔第二次见初见月时,恰巧遇见一个男人对她拉拉扯扯正想怎么拯救一下她的时候就见她一脚踹到那男人然后扬长而去。这更加深了江畔对初见月爷们的定义。江畔第三次见初见月,初见月就对她说江老师,你看着就好温柔。在以后的一次次接触中江见月才知道,每次她能轻而易举的他的世界里肆意奔走,都是因为他早已经满心欢喜的将他世界的大门打开。哪有什么女追男隔层纱,不过是他对她也早有预谋。如果您喜欢我的幼稚老板娘,别忘记分享给朋友...
穷游主播刘辨在直播中穿越到汉末三国,成为汉少帝刘辩。时值刘辩被废的第三天,永安宫中鸩杀何太后的日子。刘辩身旁没有军队没有亲信没有势力,四周全都是敌人的眼线,在这噩梦级难度的开局下,看刘辩如何在千万网友的帮助下逃出生天?PS这是一个背靠亿万网友在汉末挣扎奋斗的故事。如果您喜欢大军师联盟,别忘记分享给朋友...
本书又名我在帝丹高中当体育老师那些事系统强迫我和柯南做朋友的日子我成了小哀义兄的生活琐事与贝尔摩德背后的情感牵扯酒厂灭我全家的仇恨。宫野羽志看着不远处缓缓走来的柯南,顿时扭头就走,我真的不想和这个死神在一起了。系统不,你想。请在以下选项中做出你的选择。一扭头就跑,只要死神追不上我,我就不会有事情。完成任务奖励柯南超级足力健。二正所谓我不入地狱谁入地狱,直接将柯南打晕,还米花一个平静。完成任务奖励自由变声能力。三亲切的和柯南交谈,真心才能换来真心,未来一片美好。完成任务奖励随即技能点1。宫野羽志看着眼前的三个选项,这都什么玩意,你就是想要我死是吧?还需要我选择?我肯定选三啊,我要打造美好未来。如果您喜欢柯南之我真不想靠近死神,别忘记分享给朋友...
一场突如其来的车祸,是灾难?亦或是幸运呢?得到随身的仙园空间,这一切是偶然还是另有安排?主角能够发家致富还是堕落沉沦?让我们拭目以待吧。...
刚穿越就发现自己怀孕,孩子他爹还是已故的战神冥王。沐芸婳说流掉!初夜没有,落红可丢,拖油瓶不能留!随身戴个麝香荷包,转眼就跑到了白莲花大姐房里,搞得大姐绝育熬个藏红花,又被庶母误食,同父异母的小弟弟化成一滩血水想杀掉本王的孩子?死鬼王爷捏着她的下巴问,可以!杀了一个,再造一双!如果您喜欢绝色狂妃冥王的天才宠妃,别忘记分享给朋友...
双洁!双强!宠文爽文大豪门景家,好不容易找回失散多年的外孙女,外祖父母和五个哥哥都想把她宠上天。以为她生活穷困潦倒,直到景家遇到经济危机,才发现给景家注入巨额资金的人,就是他们以为生活困难的妹妹!这样还不算完,他们无意中又发现,传说中那个一诊难求的神医,竟然也是他们的妹妹眼看着封家那个不受重视的少爷一步步接近景冬,众人冷笑,也不看看你什么身份!封时薄唇轻笑,身份这种东西,想要就有。于是,卸去伪装,他一跃成了站在巅峰的世界级大佬!!直到他露出狼尾巴,景冬愕然,这不是上辈子被她同归于尽的反派大佬吗封时嘴角噙着凉薄的笑意,如果您喜欢我和反派大佬同归于尽后,别忘记分享给朋友...