手机浏览器扫描二维码访问
,
当王崎拿起笔的时候,整个世界都安静了下来。,
刚开始的时候,他感到了些微的畅快。在他学习数学的年代里,地球的数学,尤其是运算这一块已经开始深度使用符号逻辑语言了——这正是算君所厌恶的部分。这也是他对算主这一边更有好感的原因。
希尔伯特死后,数学已经发生了翻天覆地的变化,称得上“革命”的变革都不止一次。
一加一等于二没有改变,但是诠释这个“最初等式”的基础却几度变更。或许对于普通人来说,这没有任何意义。他们一辈子需要用到的数学也就是三位数的加减法、二位数的乘除法,以及不超过三维的欧式几何。
但是在更基础的以及更高深的领域里,这决定着很多东西。
王崎在一步步将神州的算学引导到自己更熟悉的领域里。
只是,这般畅快却很快就被越来越明显的艰深感淹没了。
体验过10m宽带的人肯定不会喜欢2m的小水管。二十一世纪的数学和二十世纪初的数学相比多少有这样的味道。王崎在神州学习了许多年,差不多也该习惯2m小水管了。但是,当他下载大文件的时候,他还是会忍不住怀念10m的网速。
算术系统的相容性,就是这么个“大文件”。站在哥德尔等诸多巨人的肩膀上,王崎可以很快的理解这个问题,但要他自己不用那些大能开发的数学工具,自己一步一个脚印证出来……
“实在是太困难了。”王崎叹了口气。
这是一座大山,千仞孤峰,他曾经依靠别人的力量站立在这里,然后很快就向更高的地方移动过去。但现在,他需要自己攀爬一遍,而且还不许用前人留下的全套登山工具。
接下来就是一场孤者的独舞。
由于看不到进度,他开始有些烦闷。他觉得,有个人来和自己讨论一下说不定会好很多。
“难怪学神们总是喜欢凑在一起工作,就连爱因斯坦也会规规矩矩上班”他这么想着,忍不住怀念起陈由嘉来。
虽然这个幼女说话非常讨厌,但很聪明,水平足够,是个可谈论的对象。
不过不知为何,陈由嘉好像非常厌恶纯碎数学,这种厌恶已经超过应用数学家该有的程度了。王崎清楚这一点,所以特地到陈由嘉看不到的地方做这件事。
工作进行到后面的时候愈发艰难了,枯燥感滋生。王崎放下笔,开始有些后悔了。
哥德尔完备性定理属于推理过程简单的工作,不完备定理更是简单到不可思议。这是属于那位大数学家智慧的辉煌,可一旦点破,其实不复杂。
而王崎现在做的,却是一个复杂的工作。
他再次认识到自己的自大。同辈之中,无论是苏君宇还是陈由嘉,在理论层面都弱他一筹。两世的积累、地球更先进的数学加上修炼带来的聪敏大脑造就了他的强大。
但是,和历史上最顶尖的人比起来,他还差了些。
“浪了一波就被就被现实裸的打脸……”王崎自嘲的低语到,然后抱着脑袋在卓死伤小憩一会。
他开始觉得自己的工作没有什么意义了。他很清楚,在被不完备定理击垮之前,算主极度乐观的思考方式是不会接受用超限归纳法绕过完备性、相容性的证明过程的。而算君……这玩意在算君眼里根本就不是算学。
他没有自己说得那样喜欢数学,他上辈子更倾向于应用数学,他还是个物理学家。
萧家少主,和武二郎同生共死斗权贵行镖四海,带兄弟结识八方绿林好汉东京梦华,携燕青在汴梁城浅酌小饮北地风云,向完颜阿骨打再去讨酒吃西夏狼烟,与吴玠和西夏军浴血奋战江南烟雨,同方腊教主还要计较一番宋江哥哥,有无数好汉见了你纳拜,可我也有谪仙布衣剑卿铁狮子青鹘子一阵风旱天雷绵里针小白龙等一票兄弟帮衬。你孝义黑三郎天魁星主的及时雨宋江既然要招安,那梁山便由我燕云十八骑面涅郎君的任侠萧唐接手了罢,替天行道那面大旗,我会替你扛下去的。(水浒任侠书友群277318413)...
东宫来了一位身娇体弱的下堂妇,刚开始东宫储美没把这位弃妇放在眼里。谁知她今日偶感风寒,明日抱恙在身,引得太子殿下日夜照顾。这照顾着照顾着,还把人照顾到榻上去了,气得众美大骂她是臭不要脸的白莲花。太子萧策清心寡欲半辈子,直到遇上秦昭。他以为秦昭可怜,离了他活不下去,于是让她暂住东宫,日日夜夜娇养着,这娇着养着,后来就把人占为己有,食髓知味。后来他登基,每次上朝看到秦昭前夫那张脸,都要对秦昭来次灵魂拷问朕可还让昭昭满意?穿书,双洁,甜宠...
来自现代的小萌新谢轻婉,一不小心掉在了威风凛凛的古代帅王爷面前。王爷冷着一张脸,救她小命一条,谢轻婉毫不犹豫抱住这只粗大腿,从此成为人形挂件,被随身携带宠入骨。女人,本王还缺个王妃。王爷扛了人就往房里走,就你了!诶,等等,说好了要想办法帮她回家的呢?王爷嘴一撇,翻脸不认账,居然还说回什么家?我在哪儿哪儿就是你家!喂喂,说好了只是做个样子的,你不可以对我动手动脚!!别动,耽误了洞房花烛,让你明天出不了门!...
一座古老神秘的灵术学院,一次密谋无情的审判,连接了平凡与神圣,审判使开始食尽人间烟火,而他开始对抗命运之轮开始转动,一个在寻找罪的救赎,一在寻找爱的归属不可思议的旅途,收集七件圣物,英灵殿,黑白国度,雪域谜城魔族,吸血鬼,影子王国,狼王难以置信的身世,不停的追念,寻找的大哥竟是魔族之人,以男人身份活到至今却发现是女人惊天现世的谎言,她不再是原先那个他接二连三的审判,高冷的审判使竟然是两个!红色的那位貌似很...
许容容的母亲去世不过三个月,继母就被迎进家门,甚至还带来了一个心机婊妹妹。父亲骗她,继母欺她,妹妹各种算计她。为了摆脱困境,她孤注一掷,用一纸契约将自己卖了出去。却没料到,买主竟然是最负盛名的商界传奇人物裴墨衍。原以为这只是一场公正平等的交易而已,可后来才发现,他早有预谋,一步一步将她宠坏,让她再也离不开他。*遇到了裴墨衍,许容容觉得很憋屈,明明结婚的时候说好只是走个形式而已,可为什么婚后,他总是能用各种冠冕堂皇的理由,一次又一次的压倒她,然后在床上各种花样的折腾她。说好的S市最冷酷的商界精英呢,说好的只是契约婚姻呢,这个总裁,貌似和外面那些妖艳贱货很不一样不知不觉,她已沉沦,再无翻身的可能。...
刚搬来的女租户总听见卧室内有异响,向我求助,我一看监控就让她立刻搬家...