手机浏览器扫描二维码访问
第七十章 11（第2页）
我咋就记得这么熟了，稍微提到就想了起来。
突然，王崎脑海当中灵光一闪。
“这个……似乎是和那个大事件有关啊。”
希尔伯特计划，二十世纪最大最出名的数学研究。
0世纪初，悖论尤其是罗素悖论的出现，引起了当时数学界和逻辑界的极大震动。它直接冲击了以严谨著称的数学和逻辑学科，动摇了传统的数学概念、数学命题和数学方法的可信性标准，也就是悖论的出现关系到整个数学的奠基问题，从而引起所谓第三次数学基础危机。数学界的领袖人物希尔伯特为了解决这次危机，更为了一劳永逸的解决所有数学危机，发起了希尔伯特计划。这个计划的主要目标，是为全部的数学提供一个安全的理论基础。其主体部分，就是完备性、相容性、可判定性的证明。
然后，在这个计划当中，哥德尔意外的证明了不完备性。
图灵沿着哥德尔的思路完成的判定性的证明，并根据这次在数学逻辑上的突破，完善了计算机理论。
王崎突然跳了起来，从储物袋当中取出苏君宇送的“上网本”，进入仙盟论文库开始查询。
“关键词，证明论……果然有！然后是，天生数【自然数】，算术体系……”
随着关键词的追加，论文库里显示出来的论文学来越少，最后，王崎终于发现了自己想要的内容。
《论希氏所谓之证明》，者，冯落衣。
时间是五年前。
灵气存在使神州“科技黑箱”很大，科技树和地球并不一样。与计算机对应的算器普及很多年、人工智能都提上日程了，可是为计算机前置理论的数学逻辑反而不如地球。
王崎毫不犹豫的将今天从悲风哪里领到的功值划出，兑换了这篇论文，跳过过程，只看结论。
“在这个子系统当中，严格的有限性证明是可行的……这就是冯诺依曼《关于希尔伯特证明论》的翻版。”王崎闭上眼睛，开始思考。
这个宇宙，没有哥德尔的存在，所以数学逻辑走上了一条与地球不同的道路……
王崎振奋道：“这还真是一条好道路。”
欢迎广大书友光临阅读，最新、最快、最火的连载品尽在！
（大雁文学WwW.XiaoYanWenXue.CoM）
沈听雪容战
沈家小九前世错信奸人，致使沈家灭门，挚爱之人横死。重活一世，眼睛亮了，脑子清楚了，身后还有八个哥哥撑腰。大哥温润如玉少将军，二哥暗器夺命少谷主三哥毒术超群，谈笑间取人性命四哥侠义心肠...
山水密码
想知道吗？那些隐藏千年的宝藏，背后的秘密。这是一个由博物馆中的藏品引发的故事，何漫舟管理着父亲留下的私人博物馆，自从一年前父亲离奇失踪，何漫舟始终在调查那些古物留下的证据。这些事情原本没有任何线索，直到老何当年不翼而飞的手札突然出现，考察小队的名单上多了一位不应该出现的人，谜团才终于有了线索。为了知晓真相，她不得不和白亦从联手，调查宝藏背后的秘密。而这迷雾重重的背后，还牵扯着更大的阴谋何漫舟白亦从，你能不能有一点古玩城老板的样子？白亦从好我有门恋爱生意...
荣耀魔徒
叶欢真的不情愿，不管多大的事情他都必须插上一脚，不论多牛x的人物，他也必须硬着头皮拼一拼，而且打赢之后还得牛气哄哄地说一句皈依吧，我是你的信仰可是没办法，这就是旦哥的要求，荣耀，传教，出风头这年头，给人打工不容易！...
幻心域
梦魔是什么？为什么拯世三侠当年拼力封印后，却有人要解印？当年的师兄弟却反目拼命这是一个男人的成长传奇故事。世界如此渺小微尘，上古梦魇是粘稠的黑雾，遮蔽天日徘徊在哭墙的灵魂伴着血色的新月，圣墓前的花瓶中玫瑰盛开已久。邪恶在维多利亚的月光下，血色的开场。穿越时空，远古的气息如同黑夜潜行的魅影，破碎新光穿过光阴。命轮已经开启，残酷的梦幻之城伴丧钟降临，敲响轮回无奈的觉悟只能更残酷一切都为了通往圣堂的路吹不散的雾隐没了意图谁轻柔踱步停住那无色失乐神魔之墓，溃散的神魂会被唤醒背影飞向阴霾苍穹，鲜血流散黑色银河就像边笑边掉泪凝视着完全的黑无法阻挡悲剧蔓延的悲剧会让我沉醉晃晃忽忽，谁的脚步？...
幸孕宠妻：傅爷晚安！
书海阁小说网免费提供作者不想跳舞的经典小说幸孕宠妻傅爷晚安！最新章节全文阅读服务本站更新及时无弹窗广告欢迎光临wwwshgtw观看小说五年前她被陷害出轨，身负骂名，被迫远走他国。五年后，她化身间谍携子归来，巧合之后，却发现身边的孩子变了性格。某天，萌宝尿急，滋了总裁家小少爷一身，抬头惊道雾草！居然有人照着我的脸整容？傅希睿黑脸低吼我是原装的！看着一模一样的俩宝，简晴初懵逼。小少爷吧唧一手按住萌宝的脸妈咪，我是你失散多年的儿子，快把我领回家！母子三人脚底开溜当某总裁黑着脸在机场抓住出逃的母子三人，简晴初，偷了我...
阴阳天师
最火爆灵异茅山道术有玄秘，上请三清诛邪祟！少年天师李飞，下山救人，浪迹都市，灭千年僵尸，除东瀛鬼王，斗无常，杀鬼差，保护大校花，清除茅山叛徒，十八层地狱任我游，以道术度一切邪恶，终功德圆满。...