手机浏览器扫描二维码访问
第七十章 11（第2页）
我咋就记得这么熟了，稍微提到就想了起来。
突然，王崎脑海当中灵光一闪。
“这个……似乎是和那个大事件有关啊。”
希尔伯特计划，二十世纪最大最出名的数学研究。
0世纪初，悖论尤其是罗素悖论的出现，引起了当时数学界和逻辑界的极大震动。它直接冲击了以严谨著称的数学和逻辑学科，动摇了传统的数学概念、数学命题和数学方法的可信性标准，也就是悖论的出现关系到整个数学的奠基问题，从而引起所谓第三次数学基础危机。数学界的领袖人物希尔伯特为了解决这次危机，更为了一劳永逸的解决所有数学危机，发起了希尔伯特计划。这个计划的主要目标，是为全部的数学提供一个安全的理论基础。其主体部分，就是完备性、相容性、可判定性的证明。
然后，在这个计划当中，哥德尔意外的证明了不完备性。
图灵沿着哥德尔的思路完成的判定性的证明，并根据这次在数学逻辑上的突破，完善了计算机理论。
王崎突然跳了起来，从储物袋当中取出苏君宇送的“上网本”，进入仙盟论文库开始查询。
“关键词，证明论……果然有！然后是，天生数【自然数】，算术体系……”
随着关键词的追加，论文库里显示出来的论文学来越少，最后，王崎终于发现了自己想要的内容。
《论希氏所谓之证明》，者，冯落衣。
时间是五年前。
灵气存在使神州“科技黑箱”很大，科技树和地球并不一样。与计算机对应的算器普及很多年、人工智能都提上日程了，可是为计算机前置理论的数学逻辑反而不如地球。
王崎毫不犹豫的将今天从悲风哪里领到的功值划出，兑换了这篇论文，跳过过程，只看结论。
“在这个子系统当中，严格的有限性证明是可行的……这就是冯诺依曼《关于希尔伯特证明论》的翻版。”王崎闭上眼睛，开始思考。
这个宇宙，没有哥德尔的存在，所以数学逻辑走上了一条与地球不同的道路……
王崎振奋道：“这还真是一条好道路。”
欢迎广大书友光临阅读，最新、最快、最火的连载品尽在！
（大雁文学WwW.XiaoYanWenXue.CoM）
九婴邪仙
故老相传，超脱于修真界之外，有一个浩瀚的仙界，百族林立，有莫大的机遇，有无尽的天材地宝，更有无尽的修炼福地。龙颜，身怀九个元婴的怪才，一步步踏上修仙之路，他该如何求仙证道，斩尽九天十地，成就无上仙路。...
末世之无限兑换
陈锐在末世挣扎了十年，一生不如意的他竟然在睡梦中被一枚外星芯片砸到了脑袋，莫名奇妙的重生到十年前。...
大宋高手在都市
宋朝徽宗年间，一代高手林惊宝因不慎卷入皇家恩怨，被数位大内供奉围攻跳崖自尽，灵魂穿越至现代。林惊宝一代奇人高手，武功已是世间有数的高手，琴棋书画医卜相武，无所不精，且看他如何在现在都市中笑傲江湖，游戏风尘，尽在大宋高手在都市牛头马面来相唤，送君落碧照乡忘。盼得来世多积善，莫等崔判早下断。－－－林惊宝...
团宠世子妃又翻墙啦
作者水韵涧的经典小说团宠世子妃又翻墙啦最新章节全文阅读服务本站更新及时无弹窗广告小说前世，她以孤女身份入住淮远候府，仗着姑祖母对自己的宠爱和世子表哥的婚约，作天作地，惹人厌烦，最后落得个被杖八十，扔到乱葬岗的下场。重来一世，辛黛幡然醒悟，什么老太君最宠爱的表小姐，什么未来的世子夫人，统统都是虚的。老太君不能护她一辈子，淮远候府也不会长久风光的唯有兜里头的银子才是真真实实的！于是，那个总爱缠着世子的表小姐突然变了！变得吝啬，精明，斤斤计较，还一言不合就偷跑出去买铺子某个...
太子殿下总想契约我
作者岁月同欢的经典小说太子殿下总想契约我最新章节全文阅读服务本站更新及时无弹窗广告小说重活一世，墨云绯只想要安安静静的当一个美少女。每天品品茶嗮嗮太阳，如此岁月静好便好。哪曾想每天都有人对她评头论足。墨云绯，你就是一个灾星，你根本配不上太子殿下。墨云绯，你一个不能修炼的废物，站在天才一般的太子殿下身边不觉得可耻吗？墨云绯，你靠太子殿下的关系进入学院，你不觉得丢人吗？墨云绯，求你放过神邸一般的太子殿下吧！我给你烧香了。太子殿下绯绯是世界上最好的人，是我此生的执念，...
明朝第一权臣
魂穿明朝正统年间的一个惹了一身风流债的官二代，其时奸宦当道，北虏窥伺，土木堡之变旋即爆发前世默默无闻，今生又怎肯碌碌无为？何以立足？一腔热血，一口不平气，和那颗二世为人不甘平庸的心。大丈夫不可一日无权也！（注既有轻松搞笑，又有激情热血）...