手机浏览器扫描二维码访问
第七十章 11（第2页）
我咋就记得这么熟了，稍微提到就想了起来。
突然，王崎脑海当中灵光一闪。
“这个……似乎是和那个大事件有关啊。”
希尔伯特计划，二十世纪最大最出名的数学研究。
0世纪初，悖论尤其是罗素悖论的出现，引起了当时数学界和逻辑界的极大震动。它直接冲击了以严谨著称的数学和逻辑学科，动摇了传统的数学概念、数学命题和数学方法的可信性标准，也就是悖论的出现关系到整个数学的奠基问题，从而引起所谓第三次数学基础危机。数学界的领袖人物希尔伯特为了解决这次危机，更为了一劳永逸的解决所有数学危机，发起了希尔伯特计划。这个计划的主要目标，是为全部的数学提供一个安全的理论基础。其主体部分，就是完备性、相容性、可判定性的证明。
然后，在这个计划当中，哥德尔意外的证明了不完备性。
图灵沿着哥德尔的思路完成的判定性的证明，并根据这次在数学逻辑上的突破，完善了计算机理论。
王崎突然跳了起来，从储物袋当中取出苏君宇送的“上网本”，进入仙盟论文库开始查询。
“关键词，证明论……果然有！然后是，天生数【自然数】，算术体系……”
随着关键词的追加，论文库里显示出来的论文学来越少，最后，王崎终于发现了自己想要的内容。
《论希氏所谓之证明》，者，冯落衣。
时间是五年前。
灵气存在使神州“科技黑箱”很大，科技树和地球并不一样。与计算机对应的算器普及很多年、人工智能都提上日程了，可是为计算机前置理论的数学逻辑反而不如地球。
王崎毫不犹豫的将今天从悲风哪里领到的功值划出，兑换了这篇论文，跳过过程，只看结论。
“在这个子系统当中，严格的有限性证明是可行的……这就是冯诺依曼《关于希尔伯特证明论》的翻版。”王崎闭上眼睛，开始思考。
这个宇宙，没有哥德尔的存在，所以数学逻辑走上了一条与地球不同的道路……
王崎振奋道：“这还真是一条好道路。”
欢迎广大书友光临阅读，最新、最快、最火的连载品尽在！
（大雁文学WwW.XiaoYanWenXue.CoM）
权柄大明 霸隋 玄玑图 重生之天生我才 醉卧九天 网游之零纪元 美女教师的鬼医高手 纸醉江山 我叫布里茨 死亡神座 美女总裁老婆 与女精灵的地球生活 舞吧，傀儡 苍天霸业 鼎天武帝 神捕乱宋 兽王三国 黑暗剑圣 超级特警综合系统 道梦之轮回
情深不负：欧少宠妻有点甜
她阴差阳错和他发生关系，错位的感情让人心力交瘁说好的没有未来的关系呢？？？这突如其来的甜蜜惊喜是怎么回事？？？欧总，我觉得我们还是保持距离吧，别人误会我们是一对，你不就找不到女朋友了吗？！加油，我看好你鸭！霍思琪承受不住糖衣炮弹了啊！再这么下去一失足成千古恨！呵女人，得了便宜还卖乖？他将她禁锢，拒绝了女人的犹豫，道听说民政局只要九块九，你敢开么？展开收起...
我在天庭有人
苏凌叶睡了一觉，就去了传说中的天庭，在那里她见到了百花仙子，嫦娥，孙悟空，哪吒，二郎神想要辣条？蟠桃来换吧。想喝酸奶？来几套保命护身符！想看甄嬛传啊，这个工程可大了，没有九转金丹可是换不了哦！等等哮天犬，放下我的狗粮！...
深情缓爱，向暖花开
搜小说免费提供作者庄妮的经典小说深情缓爱，向暖花开最新章节全文阅读服务本站更新及时无弹窗广告欢迎光临观看小说没有任何预兆，失联六年的初恋，突然以公司总裁的身份出现在面前，够惊喜，也足够烦恼。她爱他有多深，她和他之间这天与地的距离就有多远！她困于不能忘，他却以爱为饵，以婚做钩，诱她入局。她有什么啊？我喜欢你，还不是因为你长得好看！他俯身靠近，低头闻她脖颈处的馨香，沉声说我比你高尚很多，我爱你，是因为你吃起来可口世间食色男女，耽于色，误于爱，陷于婚，最后造出一只粉团团的小包子之后，就再也分不开了...
都市修仙狂婿
受妻子冷落，被岳母看不起，遭情敌嘲讽身为毫无地位的上门女婿，陈峰受尽欺辱，他忍辱负重，终于在五年后的今天，获得无上传承，从此一朝化龙。...
薄总，夫人又想开溜了！
帝都出了名的商业鬼才竟是个爱妻狂魔！他的爱情宣言是孩子只是意外，她才是我的真爱！...
上门为婿（神级狂婿）（宋齐程雪）
为了父亲三十万的救命钱而替小舅子顶包三年，出狱之后却发现美丽又冷艳的老婆竟然这是一个上门女婿的崛起之途！...