手机浏览器扫描二维码访问
第七十章 11（第2页）
知识不经常用的话，会渐渐遗忘。皮亚诺公理虽然是有关于一加一为什么等于二的，但是不知道这个也不影响计算一加一等于二。
我咋就记得这么熟了，稍微提到就想了起来。
突然，王崎脑海当中灵光一闪。
“这个……似乎是和那个大事件有关啊。”
希尔伯特计划，二十世纪最大最出名的数学研究。
20世纪初，悖论尤其是罗素悖论的出现，引起了当时数学界和逻辑界的极大震动。它直接冲击了以严谨著称的数学和逻辑学科，动摇了传统的数学概念、数学命题和数学方法的可信性标准，也就是说悖论的出现关系到整个数学的奠基问题，从而引起所谓第三次数学基础危机。数学界的领袖人物希尔伯特为了解决这次危机，更为了一劳永逸的解决所有数学危机，发起了希尔伯特计划。这个计划的主要目标，是为全部的数学提供一个安全的理论基础。其主体部分，就是完备性、相容性、可判定性的证明。
然后，在这个计划当中，哥德尔意外的证明了不完备性。
图灵沿着哥德尔的思路完成的判定性的证明，并根据这次在数学逻辑上的突破，完善了计算机理论。
王崎突然跳了起来，从储物袋当中取出苏君宇送的“上网本”，进入仙盟论文库开始查询。
“关键词，证明论……果然有！然后是，天生数自然数，算术体系……”
随着关键词的追加，论文库里显示出来的论文学来越少，最后，王崎终于发现了自己想要的内容。
论希氏所谓之证明，作者，冯落衣。
时间是五年前。
灵气存在使神州“科技黑箱”很大，科技树和地球并不一样。与计算机对应的算器普及很多年、人工智能都提上日程了，可是作为计算机前置理论的数学逻辑反而不如地球。
王崎毫不犹豫的将今天从悲风哪里领到的功值划出，兑换了这篇论文，跳过过程，只看结论。
“在这个子系统当中，严格的有限性证明是可行的……这就是冯诺依曼关于希尔伯特证明论的翻版。”王崎闭上眼睛，开始思考。
这个宇宙，没有哥德尔的存在，所以数学逻辑走上了一条与地球不同的道路……
王崎振奋道：“这还真是一条好道路。”
欢迎广大书友光临阅读，最新、最快、最火的连载作品尽在！
手机用户请浏览阅读，更优质的阅读体验。
女主她不想吓人
南山每晚总有两个小时，灵魂会附到相识人的物品上。有一天晚上，她成了男友的手机。结果半个小时前对她道过晚安的人，正在和一个娇滴滴的女生聊天。在听清楚他们明天的约会时间地点后，她让手机强制关机了。南山呵呵，不想听你们谈情说爱。一年后，南山与某人确定了恋爱关系。某人兴致勃勃，诱哄道要不要先验货？南山不用。穿成他家花洒的时候，就把他有几块腹肌都数的清清楚楚这种事情她会说？...
综穿之拯救痴情女
本书简介亲，你看小说时，曾经为里面的某个阴险狠毒却可怜可悲的女人而遗憾吗？你看电视时，曾经为某个痴情无悔却最终独身的女人而心疼吗？如果有，那么请你不要走开，本文中，作者为这些痴情女子在二十一世纪精挑细选了多位精英男士，保证让这些痴情女子脱离曾经的苦恋，有个幸福美满的结局。本文不虐人（可能吧），不黑人（看我喜不喜欢），喜欢此类型的快到我的碗里来吧。不要客气的收藏一下吧O∩∩O。亲爱的们，刚刚编编下达通知，说周日入V入望大家能一如既往的支持我，谢谢！O∩∩O伯研的文。...
我有五个大佬爸爸
被师傅捡来的小和尚五岁了，该下山找爸爸了。小和尚软软抱着一只小狼崽，迈着小短腿儿冲过去就抱着自己爸爸的大长腿奶声奶气的喊道爸爸！一声爸爸，喊得五位大佬...
都市最佳女婿
何平凡冷婳祎全文免费阅读小说叫都市最佳女婿，都市最佳女婿作者是西楼月，何平凡冷婳祎是都市最佳女婿男女主角，都市最佳女婿主要讲述了最低等的贫困生竟然跟第一女神扯上了关系，一个地方首富家的千金，一个家族没落的颓废少年，两个完全不同世界的人究竟发生了什么？名动一时的玄术家族没落后，十八岁的颓废少年为自己的人生开启了一片全新的世界。...
鬼道传人
鬼道一术，与阴阳相通，百家术法皆为所用。林子衿天生短命命格，自小易惹鬼缠身，辛得高人所救，成为鬼道传人。学成归来，收厉鬼，灭邪祟。与美人相伴，纵横校园都市，横跨阴阳两界，只为逆天改命！...
小鲛人，掉珍珠！腹黑狼王他要疯
超甜超宠打怪升级。软糯哭包暴力小鲛人×腹黑占有欲强狼王俞瓷是鲛人一族里边儿，公认的最不值钱白色珠光鲛人。蓝星上级为了各族平衡，决定让鲛人族交出来一位小鲛人去陆地生活。蒋少戈一眼看上这条还没驯服自己四肢，连路都走不好的俞瓷。二话不说，捞回家！自此，开始了养鱼之路。俞瓷像是被大灰狼给装在蜜罐子里宠着，哄着。舍不...