手机浏览器扫描二维码访问
第160章（第3页）
【注：在地球的历史上，哥德巴赫猜想被哥德巴赫写在一封信上，这封信是寄给欧拉的。然后，欧拉是约翰·伯努利的学生，和丹尼尔·伯努利是情同手足的同门，和尼古拉斯·伯努利也私交甚笃。而哥德巴赫又与尼古拉斯·伯努利是笔友加驴友。这哥几个是最早研究哥德巴赫猜想的一群人。只不过哥德巴赫不是数学家，只留下一个猜想，所以本书换了一种方式让他存在】
“搞不懂啊……”
王崎叹道：“你仔细想一想也应该知道吧，陈景云他闲的蛋疼去研究一加一等于二啊……啊，不对，好像真的有算家前列腺健康堪忧……”
研究一加一等于二的数学家不是没有。
越是理所当然的事情就越是让人觉得没法说个所以然，一加一等于二就是最典型的例子。是个人都知道一加一等于二，但是，有几个人能够说出一加一为什么等于二吗？
如果说一般的难题是大多数数学家都看不懂，那么这个领域就是大家都看得懂，但是想要推进一步却无从下手。
毫无疑问，能说出把“一加一为什么等于二”说出个所以然的，都是能够在这个最基础领域披荆斩棘的顶尖算家。
“只可惜这个世界早就有皮诺亚公理了。”王崎摇摇头，觉得不去碰这一块比较好。这个题目艰深不说，而且并不热门，就算拉上薄筱雅也不会有几个人关注，划不来，划不来。皮亚诺公理明明是和欧几里得公理拥有同等地位的重要公理，但名气却差了欧几里得公理不止一条街。
这时，王崎又想起另一个问题：“话说，这个领域基础过头了，一般不知道也不影响什么……我为什么对这个记得这么牢呢？”
知识不经常用的话，会渐渐遗忘。皮亚诺公理虽然是有关于一加一为什么等于二的，但是不知道这个也不影响计算一加一等于二。
我咋就记得这么熟了，稍微提到就想了起来。
突然，王崎脑海当中灵光一闪。
“这个……似乎是和那个大事件有关啊。”
希尔伯特计划，二十世纪最大最出名的数学研究。
20世纪初，悖论尤其是罗素悖论的出现，引起了当时数学界和逻辑界的极大震动。它直接冲击了以严谨着称的数学和逻辑学科，动摇了传统的数学概念、数学命题和数学方法的可信性标准，也就是说悖论的出现关系到整个数学的奠基问题，从而引起所谓第三次数学基础危机。数学界的领袖人物希尔伯特为了解决这次危机，更为了一劳永逸的解决所有数学危机，发起了希尔伯特计划。这个计划的主要目标，是为全部的数学提供一个安全的理论基础。其主体部分，就是完备性、相容性、可判定性的证明。
然后，在这个计划当中，哥德尔意外的证明了不完备性。
图灵沿着哥德尔的思路完成的判定性的证明，并根据这次在数学逻辑上的突破，完善了计算机理论。
王崎突然跳了起来，从储物袋当中取出苏君宇送的“上网本”，进入仙盟论文库开始查询。
“关键词，证明论……果然有！然后是，天生数【自然数】，算术体系……”
随着关键词的追加，论文库里显示出来的论文学来越少，最后，王崎终于发现了自己想要的内容。
《论希氏所谓之证明》，作者，冯落衣。
时间是五年前。
灵气存在使神州“科技黑箱”很大，科技树和地球并不一样。与计算机对应的算器普及很多年、人工智能都提上日程了，可是作为计算机前置理论的数学逻辑反而不如地球。
王崎毫不犹豫的将今天从悲风哪里领到的功值划出，兑换了这篇论文，跳过过程，只看结论。
“在这个子系统当中，严格的有限性证明是可行的……这就是冯诺依曼《关于希尔伯特证明论》的翻版。”王崎闭上眼睛，开始思考。
这个宇宙，没有哥德尔的存在，所以数学逻辑走上了一条与地球不同的道路……
王崎振奋道：“这还真是一条好道路。”
第七十一章愤怒的辰风
辰风走进万法门驻地的时候看起来很不高兴。
因为王崎今天上午没有按时到他那里报到。
这本来也不是什么大事。毕竟辰风的实证部还没有正式投入运行，他还没到忙成狗的阶段。而王崎得到了一笔材料，回家钻研一下入了迷也是正常的。
神敌 重生之做个好军嫂 九天纹线 离婚后诈死，傅总拿着孕检单疯了 让你透视鉴宝，你特么一直乱看 地狱诱宠：闪婚老公是冥王 凶奶奶是年代文真千金 斩气界 嫁给疯批太子冲喜后 修仙从神秘小鼎开始 万春街 修仙：我真没想当舔狗！ 穿越荒年，我靠做二道贩子发家致富 往生之摘星之旅 神魂颠倒 乱臣 七零年代炮灰吃瓜日常 重回八零：我靠练摊暴富了 趁雪下 橘子汽水
林家有女整治家风
关于林家有女整治家风种田宅斗大女主无金手指无cp脾气暴躁一言不合就咬人村中有四霸恶狗公羊大鹅和林三丫林瑶睁开眼就目睹了家徒四壁，那叫一个寒酸。再睁眼又目睹了泼妇骂街，得不想动嘴打一顿就好了。从此林家三丫性情大变一言不合就开撕。重男轻女的偏心祖母，心思深沉祖父，独木难支的后娘，软弱无能的亲爹。上有两个任人欺辱的姐姐，下有两个后娘生的弟妹，更有恶毒叔伯一窝好吃懒做筛子精，真真是极品凑了一堆。从此...
万里追狼
关于万里追狼白龙，它不是龙，也不是马，它是一条白色的狗，是60年代华北地区某村的一条狗王。在那个狼灾泛滥的时代，白龙在主人福哥的照料下，历经坎坷，从一条小狗崽成长为一条勇猛的狗王，并和村里的狗一起担负起守卫村庄的责任。由此与村庄周围的狼群结仇，几番恶战，斗智斗勇。。。...
人在木叶：生性纯良的我被系统逼上了邪路
关于人在木叶生性纯良的我被系统逼上了邪路穿越火影世界，开局觉醒系统！呦，生性纯良的宿主呦！作为一个正常的男人，你怎么能眼睁睁的看着宇智波富岳那个混蛋老牛吃嫩草！一向宇智波美琴表白，俘获佳人芳心奖励S级忍术一门（随机）二生性纯良的宿主呦！只有愚蠢的人才会做选择，强夺一血奖励写轮眼三门忍术熟练度提升一级（随即）望着远处自己下属那纯真的神情，藤原哲也看着水中自己的倒影陷入了沉思。这一血，自己究竟是要，还是不要？...
足坛之开局点满任意球
关于足坛之开局点满任意球什么？竟然把任意球点满了，我明明点的是传球呀！！！沦为皇马队饮水机管理员的江浩，在一场国家德比最后时刻登场，以两粒直接任意球破门方式开始传奇人生。弗洛伦蒂诺我这辈子最大的错误，便是把江浩卖给巴伦西亚。齐达内我很幸运，江浩没有出生在我们那个年代。C罗江浩是历史最佳，我不如他。贝尔难以想象，我竟然会在速度上被人碾压。拉莫斯这家伙不是惧怕对抗吗，怎么铲不动？梅西...
诸天带着随身空间到了四合院世界
关于诸天带着随身空间到了四合院世界陈琦莫名穿越，来到一片湖心岛，发现拥有空间之后，并感应到世界种子，按其要求吸收物质供给小世界之种，然后就被排斥到四合院世界，开局城门口，因为衣服新颖而被误认为富家公子而被放行，进入城内遇到还在卖包子的未成年何雨柱，阻止了他被人骗，改变了他获得外号的命运，从而改变了主角的命运从其身上获得了气运，得到了一定的庇护避免了被四合院世界排斥而赶出世界。之后陈琦靠着何雨柱的帮助进入了四合院租了院子安定下来，靠着小世界的养殖种植能力，通过何大清介绍给丰泽园供应食材，之后开肉铺，接手杂货铺，开商行，买地，生意越做越大，于是很多事情很多人也纷至沓来，蝴蝶效应直接造成何大清成了丰泽园二厨，并再娶了。而陈琦只想收集这个世界的各种动植物然后去诸天寻找永生。持续的获取气运使得小世界内开始出现了生成中的四合院世界的信标传送门，完成之后就可以在离开这个世界之后就可以随时回到四合院世界。现在开启了荒野大镖客2救赎的第一幕第一个世界，四合院，第1章124章第二世界，荒野西部大镖客2125章第三世界，港综第四个世界待定。...
异能学校之遇上恋爱脑大佬
关于异能学校之遇上恋爱脑大佬选修课总是遇到女主被迫恋爱脑的魔修大佬vs表面小白实则腹黑爱玩的欧皇新生！简介一高考后准备报考的褚星禾，某天突然接到电话请问是褚星禾同学吗？这里是关山岭职业技术专修学院考生你好，这里是玄天宗职业技法大学招生办褚同学你好，这里是魔神机械设计学院招生办这不妥妥的诈骗电话吗？什么妖魔鬼怪的野鸡学校都打电话过来招生。听听这名字，褚星禾能信吗？当然不能！！！然而她还是被迫入学了。没人告诉她还有入学考试，怎么还有人上学带刀枪剑炮水晶球啊？这都算了！为什么入学考试是闯鬼屋？躲丧尸？跳大神越来越离谱了，得亏褚星禾从小见惯妖魔鬼怪，不然真得被创飞。简介二通识实践课就跟着魔修大佬一起选！结课巨快！为什么？他每个副本都得杀妻证道，主打就是一个大道无情！你进去老公还没喊出来，人就噶掉了！嘎嘎快。还有这种好事？褚星禾第一个冲了！然而她遇到的怎么不太一样？谁能来告诉她，为什么这个魔修大佬只会哭唧唧找老婆，甩都甩不开？...