手机浏览器扫描二维码访问
就在这时,王崎坐了回去。他身边的纸张纷纷飞向桌面,按顺序叠放好。接着,王崎开始奋笔疾书。
灵气的波动瞬间强了好几倍。这是破境的前兆。
——————————————————
对于普通人来说,1+1就是等于2,没有什么特殊的理由,也不需要理由。这是因为他们只是凭直觉来理解这个系统。数学家追求的是用逻辑的方法来定义它,思考1+1为什么要等于2。
而数学家用来研究这个问题的工具,就是皮亚诺公理。
一切几何的基础都在欧几里得公理之内。欧几里得公理就如同四大基本力一样,支撑起了整个几何。
而算术体系也有类似的东西。地球人称之为“皮亚诺公理”。皮亚诺公理将整个算术归结为一个有五条公理的系统,这五条公理支撑起了整个算术体系。
那么,这个公理体系完美吗?严格的自洽吗?无矛盾吗?
这些问题的答案都是打问号的。第三次数学危机是集合论的问题,越是基础的部分就越是危机的重灾区。这就是希尔伯特二十三个问题中的第二问:算术公理系统的无矛盾性——欧氏几何的无矛盾性可否归结为算术公理的无矛盾性?
希尔伯特本人希望用形式主义计划的证明论方法加以证明,冯诺依曼也也顺着这个角度做了下去。
王崎则是打算顺着冯诺依曼的路子接着走下去。
算术系统整个的推演、整理是一个大坑,但是如果只对其下面某一个子系统排除矛盾的证明,那便简单了许多。
当然,这也是相对而言的。有资格参与希尔伯特计划的,只有第一流的数学家。而王崎并没有背下这一篇论文,他只知道结论和大致思路。
这是一场艰难的思考。
世界在他眼中破碎了,无数数字化为星辰大海,在他眼前闪烁,却又遥不可及。
思考是信息的流动,而这场流动搅扰了魂魄。
王崎的魂魄当中也出现了一条星河,由数字与算符构成的天河。
消去全称量词……引入全称量词……消去存在量词……引入存在量词……
每一次推理都伴随这星河的一次涨落。
然后,一道法力的潮汐出现了。
王崎思考、计算的时候,总会运转爻定算经。法力经过穴窍之中的阴阳爻,就会进行一次二值判断,完成二进制的运算。这道随着魂魄而出现的法力潮汐也顺着爻定算经的行功路线浩浩汤汤的前行。
每当这块潮汐冲开一个穴窍,在里面盘旋一匝,就有一个新的阴阳爻产生。
然而,王崎的推演停滞了。
他感觉到了明显的瓶颈。有一个结论就在他手边,可怎么就是说不出呢?
就在这时,纷乱的灵力传来。王崎感到一阵厌烦他想要一剑斩灭这个让他厌烦的东西。
一剑斩灭……一剑斩灭……一剑……一……
王崎想到了什么。
灵感,如同洪流般涌现。
与灵感同时来到的还有……力量!
(大雁文学WwW.XiaoYanWenXue.CoM)
苍天霸业 醉卧九天 权柄大明 舞吧,傀儡 与女精灵的地球生活 死亡神座 兽王三国 道梦之轮回 神捕乱宋 美女总裁老婆 玄玑图 霸隋 重生之天生我才 纸醉江山 鼎天武帝 美女教师的鬼医高手 我叫布里茨 网游之零纪元 黑暗剑圣 超级特警综合系统
商战谍战不是宫斗那般缠绵千百年,他们胜负就在一瞬间。低廉的成本,遍地的猎物,丰厚的回报,商业间谍肆无忌惮的四处掠食。亦有专业人士组建护航团队对抗这些掠食者,尽管他们人数很少,尽管他们生存很困难,但是他们始终在坚持。没有硝烟的战火一触即发...
平凡了20年!刘海惊讶的发现,自己的真实身份是雪海市的首富。女友背叛,兄弟反目,阴谋陷阱只要是用钱能够摆平的事情,都不是事儿!谁让老子钱多呢。...
简介身份低微的四皇子沈宴北,偏执阴冷,日后是颠倒江山的疯子,人人畏惧。宋吟穿越而来,羞羞答答的江山和我,你选一个?沈宴北让开。见宋吟固执,他叹息拥住她你啊...
主角是唐笑笑姜闫的小说叫做霸道甜妻要独占,它的作者是揽月创作的婚恋生活类小说,文中的爱情故事凄美而纯洁,文笔极佳,实力推荐。小说精彩段落试读管家看着姜闫和唐笑笑,不由得直叹气,两人若是开诚布公的话,指不定现在有多琴瑟和谐。但是姜闫和唐笑笑的性格所有人都知道,看来这事儿也只能好事多磨。唐笑笑抱着睡衣来到了房间里。她看着这件精致复杂的刺绣性感...
她是女扮男装腹黑下流哦不,腹黑风流的小少爷,偶尔虐虐渣,手撕白莲花,撩拨女粉掰弯男粉做人生赢家。当身份被揭开,女粉丝们集体上吊了!而男粉丝不好了不好了,小少爷,咱家门槛又被踩破了!某男怒怼门前,左手掐桃花,右手虐渣渣,倚门邪笑,我给你做牛做马,你给我草!好不好?好!一夜之后,她揉着酸软的腰怒骂,...
谁说赘婿不如狗?李云东偏不信邪,三年隐忍,终于让他等到了岳父向他低头的那天...