手机浏览器扫描二维码访问
第七十章 11（第2页）
我咋就记得这么熟了，稍微提到就想了起来。
突然，王崎脑海当中灵光一闪。
“这个……似乎是和那个大事件有关啊。”
希尔伯特计划，二十世纪最大最出名的数学研究。
0世纪初，悖论尤其是罗素悖论的出现，引起了当时数学界和逻辑界的极大震动。它直接冲击了以严谨著称的数学和逻辑学科，动摇了传统的数学概念、数学命题和数学方法的可信性标准，也就是悖论的出现关系到整个数学的奠基问题，从而引起所谓第三次数学基础危机。数学界的领袖人物希尔伯特为了解决这次危机，更为了一劳永逸的解决所有数学危机，发起了希尔伯特计划。这个计划的主要目标，是为全部的数学提供一个安全的理论基础。其主体部分，就是完备性、相容性、可判定性的证明。
然后，在这个计划当中，哥德尔意外的证明了不完备性。
图灵沿着哥德尔的思路完成的判定性的证明，并根据这次在数学逻辑上的突破，完善了计算机理论。
王崎突然跳了起来，从储物袋当中取出苏君宇送的“上网本”，进入仙盟论文库开始查询。
“关键词，证明论……果然有！然后是，天生数【自然数】，算术体系……”
随着关键词的追加，论文库里显示出来的论文学来越少，最后，王崎终于发现了自己想要的内容。
《论希氏所谓之证明》，者，冯落衣。
时间是五年前。
灵气存在使神州“科技黑箱”很大，科技树和地球并不一样。与计算机对应的算器普及很多年、人工智能都提上日程了，可是为计算机前置理论的数学逻辑反而不如地球。
王崎毫不犹豫的将今天从悲风哪里领到的功值划出，兑换了这篇论文，跳过过程，只看结论。
“在这个子系统当中，严格的有限性证明是可行的……这就是冯诺依曼《关于希尔伯特证明论》的翻版。”王崎闭上眼睛，开始思考。
这个宇宙，没有哥德尔的存在，所以数学逻辑走上了一条与地球不同的道路……
王崎振奋道：“这还真是一条好道路。”
欢迎广大书友光临阅读，最新、最快、最火的连载品尽在！
（大雁文学WwW.XiaoYanWenXue.CoM）
超强赘婿
因为游戏轮盘，马云瑞失忆被拐成了上门女婿。也因为游戏轮盘，马云瑞逆袭反击，横扫一切叽叽歪歪。不服咱就淦，看我怕过谁！...
慕少家的小作精，超撩人！
作者小狗的目标的经典小说慕少家的小作精，超撩人！最新章节全文阅读服务本站更新及时无弹窗广告小说她鬼灵精怪变幻莫测，是驾驭不了的野驹，是无法驯服的妖精，奈何她七十二变都逃不出他的掌心，他一记媚眼就让她腿软心惊。她皮相脱俗魅惑入骨，招风惹草卖弄风骚，渣遍了整个云城，唯独对他千依百顺言听计从，他眉宇一敛她便锋芒尽收。暮希承丫头，你太耀眼了，你一发光，整个太阳系都围绕着你转。白予诺教授，我不敢了，以后我的光只照耀你一个人！腹黑科学家vs实力小作精，顶级大佬锁死小狐狸，女强男更强，...
美女的近身秘卫叶凡苏轻雪
什么？不找到九个老婆，马上就要死！叶凡很慌！被迫下山找老婆，谁知却成为了一名光荣的外卖小哥！老婆们每个月给你一个亿零花钱，别送外卖了！叶凡我热爱这门工作！...
欲望法则柳萱
妻子是个警花。可是同居三年，却什么都没发生。因为我只是个上门女婿。她们一家人都挤兑我。原本已经逆来顺受。可是没想到，一件事情，让她们一家...
挣脱迷茫
人生，生活，总是让我觉得艰难又迷茫，现实其实就是充满刺激的锥子，总是时不时地戳到到你的笑穴，让你又哭又笑！...
时爷的小祖宗又甜又野
简介C城云家那位从小养在乡下喂猪种田的大小姐云期被接了回来，每天吃喝玩耍追校草。突然有一天她不追校草了，开始养别的男人了。父亲我没有你这样你女儿！为了不回去种草费尽心思只会勾引男人！继母多学学你妹妹。众人云期就是云家的耻辱！然而人后，各个不同领域的顶尖大佬争相恐后的要做她的小弟。当她一层层掉马。众惊她到底是谁？！被云期养着的某位大佬平平无奇包养我的金主罢了。...