手机浏览器扫描二维码访问
第七十章 11（第2页）
我咋就记得这么熟了，稍微提到就想了起来。
突然，王崎脑海当中灵光一闪。
“这个……似乎是和那个大事件有关啊。”
希尔伯特计划，二十世纪最大最出名的数学研究。
0世纪初，悖论尤其是罗素悖论的出现，引起了当时数学界和逻辑界的极大震动。它直接冲击了以严谨著称的数学和逻辑学科，动摇了传统的数学概念、数学命题和数学方法的可信性标准，也就是悖论的出现关系到整个数学的奠基问题，从而引起所谓第三次数学基础危机。数学界的领袖人物希尔伯特为了解决这次危机，更为了一劳永逸的解决所有数学危机，发起了希尔伯特计划。这个计划的主要目标，是为全部的数学提供一个安全的理论基础。其主体部分，就是完备性、相容性、可判定性的证明。
然后，在这个计划当中，哥德尔意外的证明了不完备性。
图灵沿着哥德尔的思路完成的判定性的证明，并根据这次在数学逻辑上的突破，完善了计算机理论。
王崎突然跳了起来，从储物袋当中取出苏君宇送的“上网本”，进入仙盟论文库开始查询。
“关键词，证明论……果然有！然后是，天生数【自然数】，算术体系……”
随着关键词的追加，论文库里显示出来的论文学来越少，最后，王崎终于发现了自己想要的内容。
《论希氏所谓之证明》，者，冯落衣。
时间是五年前。
灵气存在使神州“科技黑箱”很大，科技树和地球并不一样。与计算机对应的算器普及很多年、人工智能都提上日程了，可是为计算机前置理论的数学逻辑反而不如地球。
王崎毫不犹豫的将今天从悲风哪里领到的功值划出，兑换了这篇论文，跳过过程，只看结论。
“在这个子系统当中，严格的有限性证明是可行的……这就是冯诺依曼《关于希尔伯特证明论》的翻版。”王崎闭上眼睛，开始思考。
这个宇宙，没有哥德尔的存在，所以数学逻辑走上了一条与地球不同的道路……
王崎振奋道：“这还真是一条好道路。”
欢迎广大书友光临阅读，最新、最快、最火的连载品尽在！
（大雁文学WwW.XiaoYanWenXue.CoM）
都市绝症
身患艾滋病的陆天羽在难以续交昂贵的医疗费用打算结束人生时，在莫明其妙之下被闪电轰倒下的高压电线给电了个正着。也就是从这一瞬间起，他体内发生了异变，新陈代谢开始加速原本被破坏殆尽的免疫系统迅速恢复并且加强，而顽固难缠的HIV病毒也发生了异变，尤其是那双几乎失明的眼睛变得超乎想象。到底是命运的终结，还是奇迹的诞生？谁也不清楚。唯一知道的就是陆天羽的生活从此剧变，想要零距离的与他一同踏上奇异之旅，且尾随其后探个究竟吧！...
重生之最强高手.
他，三岁被拐卖，离开父母，五岁被迫加入杀手组织，没有名字，只有一个代号。二十岁那年，他协助警方剿灭整个组织后自杀，意外穿越，成为一代都市高手。...
家有萌宝：总裁爹地请签收 顾云夕萧景宸
原本是新婚之夜，她却被丈夫和妹妹无情算计，被扔在陌生男人的床上一夜激情，而后被扫地出门，落魄无助。六年后，她强势回归，身边还多了一只奶里奶气的漂亮宝宝，为了保护妈咪，小小白只能屁颠屁颠的去找总裁爹地的庇护。那神秘的，冰山一般的男人，终究要被这个孩子以及他的妈咪所融化总裁Daddy，我是超级无敌小小白，请签收哦！...
宠上心尖:拐个王妃回现代
女嫁二夫劈两半，她从没敢想结婚和恋爱，拒绝了一切追求者，却不成想，piapia打脸，爱上了一个小鲜肉。然而不等示爱，他遭人算计变异了！我真的变不回去了？这样好丑！他满眼委屈。不丑！可爱极了！她揉了揉他的狼头。真的？他眸中闪出星星来，可爱？你喜欢我这样子？一边说，他一边扑倒了她。顿时，画风有点不对劲了。她颤巍巍地问你你想干嘛？想！...
黄河捞尸人
...
穿成反派的短命白月光
书海阁小说网免费提供作者甜辣酱的经典小说穿成反派的短命白月光最新章节全文阅读服务本站更新及时无弹窗广告欢迎光临wwwshgtw观看小说裴烟穿进了一本校园文里。文中自己最后的结局是被反派关在身边，痛苦折磨。胆小怕死的裴烟哥哥我错了，我再也不作了。骆羿川重生了。身为全文最大的反派，他唯一的执念就是小时候跟在自己身后的小女孩。看着重生后的小女孩乖巧懂事，骆羿川笑着将她抱进怀中，低声道再敢看别的男人，哥哥打断你的腿。...