手机浏览器扫描二维码访问
泊松大数定律的证明过程相对而言并不复杂,写成论文的话,一篇大论文足够了。但是王崎强忍着写完的冲动,只在这片论文的提纲里写下一些讨论性的内容。
“毕竟要留位置请那个一根筋加入来着。”王崎如此道。
不过,与神州只注重论文内容的风气不同,地球学界评判一个研究者的标准也挺注重论文数目的。把一片论文破开变成两篇完整论文、前一篇结论是后一篇论据的技术,王崎多少还是会一。
写了大本页之后,王崎把这一盘放下,准备找薄筱雅讨论之后再完成。
“好了,接下来搞什么呢?”
见王崎冥思苦想,真阐子好心的提到:“我似乎记得,你们今法修里研究一加一等于二的算题挺火的?似乎是叫明珠算?你为何不试试?”
“明珠算是数论领域,和我八字不合――尤其是想起这个算题就忍不住想起陈景云,然后就有‘劳资呆在神京这鬼地方全是那混蛋的错’的想法”王崎咧着嘴:“再者,明珠算可不是一加一等于二,是一个质数加一个质数等于一个偶数,写作(1+1),不是1+1.”
明珠之算,地球称之为哥德巴赫猜想。而且有趣的是,这个算题在神州是“挖出来”的,而且也与薄家有关。薄雅歌、薄月翰这一代还有一个兄弟,此人在数学上的造诣不强,却有一个好儿子,即薄家第四位逍遥修士薄离诂。薄离诂和其弟薄离尔一样好游历。一日,他游历至一处遗迹时,竟无意中打通了一处前古算家修士的洞府。洞府当中传承、宝物、丹药皆不值一晒,但是有一颗珠子却特别有意思,因为这颗珠子上刻着一道在前古并不出名的算题。
试问,任一大于二的偶数,是否都可写作两指数之和?
这道算题粗粗看来似乎很简单,凭直觉判断,大多数人都会觉得它是对的。但是若是要证明开去,却又无比艰深。
正是因为刻在一颗明珠之上,是以所有人都称其为“算理冠冕上的明珠”,明珠之算。
【注:在地球的历史上,哥德巴赫猜想被哥德巴赫写在一封信上,这封信是寄给欧拉的。然后,欧拉是约翰?伯努利的学生,和丹尼尔?伯努利是情同手足的同门,和尼古拉斯?伯努利也私交甚笃。而哥德巴赫又与尼古拉斯?伯努利是笔友加驴友。这哥几个是最早研究哥德巴赫猜想的一群人。只不过哥德巴赫不是数学家,只留下一个猜想,所以本书换了一种方式让他存在】
“搞不懂啊……”
王崎叹道:“你仔细想一想也应该知道吧,陈景云他闲的蛋疼去研究一加一等于二啊……啊,不对,好像真的有算家前列腺健康堪忧……”
研究一加一等于二的数学家不是没有。
越是理所当然的事情就越是让人觉得没法个所以然,一加一等于二就是最典型的例子。是个人都知道一加一等于二,但是,有几个人能够出一加一为什么等于二吗?
如果一般的难题是大多数数学家都看不懂,那么这个领域就是大家都看得懂,但是想要推进一步却无从下手。
毫无疑问,能出把“一加一为什么等于二”出个所以然的,都是能够在这个最基础领域披荆斩棘的尖算家。
“只可惜这个世界早就有皮诺亚公理了。”王崎摇摇头,觉得不去碰这一块比较好。这个题目艰深不,而且并不热门,就算拉上薄筱雅也不会有几个人关注,划不来,划不来。皮亚诺公理明明是和欧几里得公理拥有同等地位的重要公理,但名气却差了欧几里得公理不止一条街。
这时,王崎又想起另一个问题:“话,这个领域基础过头了,一般不知道也不影响什么……我为什么对这个记得这么牢呢?”
知识不经常用的话,会渐渐遗忘。皮亚诺公理虽然是有关于一加一为什么等于二的,但是不知道这个也不影响计算一加一等于二。
我咋就记得这么熟了,稍微提到就想了起来。
突然,王崎脑海当中灵光一闪。
“这个……似乎是和那个大事件有关啊。”
希尔伯特计划,二十世纪最大最出名的数学研究。
0世纪初,悖论尤其是罗素悖论的出现,引起了当时数学界和逻辑界的极大震动。它直接冲击了以严谨著称的数学和逻辑学科,动摇了传统的数学概念、数学命题和数学方法的可信性标准,也就是悖论的出现关系到整个数学的奠基问题,从而引起所谓第三次数学基础危机。数学界的领袖人物希尔伯特为了解决这次危机,更为了一劳永逸的解决所有数学危机,发起了希尔伯特计划。这个计划的主要目标,是为全部的数学提供一个安全的理论基础。其主体部分,就是完备性、相容性、可判定性的证明。
然后,在这个计划当中,哥德尔意外的证明了不完备性。
图灵沿着哥德尔的思路完成的判定性的证明,并根据这次在数学逻辑上的突破,完善了计算机理论。
王崎突然跳了起来,从储物袋当中取出苏君宇送的“上网本”,进入仙盟论文库开始查询。
“关键词,证明论……果然有!然后是,天生数【自然数】,算术体系……”
随着关键词的追加,论文库里显示出来的论文学来越少,最后,王崎终于发现了自己想要的内容。
《论希氏所谓之证明》,作者,冯落衣。
时间是五年前。
灵气存在使神州“科技黑箱”很大,科技树和地球并不一样。与计算机对应的算器普及很多年、人工智能都提上日程了,可是作为计算机前置理论的数学逻辑反而不如地球。
王崎毫不犹豫的将今天从悲风哪里领到的功值划出,兑换了这篇论文,跳过过程,只看结论。
“在这个子系统当中,严格的有限性证明是可行的……这就是冯诺依曼《关于希尔伯特证明论》的翻版。”王崎闭上眼睛,开始思考。
这个宇宙,没有哥德尔的存在,所以数学逻辑走上了一条与地球不同的道路……
王崎振奋道:“这还真是一条好道路。”
欢迎广大书友光临阅读,最新、最快、最火的连载作品尽在!
穿进语文书,从刺猹开始 巨树领主 西游:六岁熊孩子,开局怒怼观世音 舌尖天下 道化九界 什么?奥特曼是终身制的? 月薪十万,女总裁她果然不只是让我当司机 建立帝国从骑士次子开始 先婚后爱:娇妻拒婚101次 谭笑风声里,灼灼桃之夭 盛世花都 我的修真小米三 我,地球唯一超能力者 大明:开局剧透崇祯,重振河山 敛财心 万苍天穹 灵异直播,女主她不想吓人 巫妖生存指南 网游航海之王 运河之韵
关于综影视之青漓世界一九叔世界(原创女主,cp九叔)完结世界二仙剑三(原创女主魅魔cp重楼)完结世界三妖狐仆xSS(魂穿凛凛蝶cp双炽)完结世界四神话完结世界五微微一笑已完结世界六莲花楼已完结世界七梁祝已完结世界八白蛇传已完结世界九三生三世已完结云之羽连载中。...
刘嫚从古代穿越到现代,穿前身无分文,穿后依然为钱所困,为了生计,她从网红做起,倒卖商品晒晒猫咪秀秀自己的小才艺,一不留神,成为全能巨星。新书穿越全能学霸同步连载中...
矢目久司自认为是个在乌丸集团资助下顺利毕业的酒厂优秀员工,于是兢兢业业出任务码代码,力图跟组织知名劳模琴酒争夺年度酒厂销冠。直到有一天某穿着土黄风衣戴着小圆帽的警官先生疑惑脸这位先生我好像在哪里见过。某半长发下垂眼的警官先生笑眼弯弯小矢目啊,是个非常可靠的人呢某卷墨镜是本体毛警官毫不犹豫他是个好人。某绷带精猫猫薄绿君记得藏好自己的秘密哦?鸟儿染黑的羽毛,要特别小心褪色呢~某师德欠费咒术师哦?你就是惠说的新朋友?这样的话你们就是同辈了。来,盆栽君,叫一声老师我听听!矢目久司笑容逐渐扭曲jpg然而,一切平静(?)止步于一则电视新闻。据悉,某位不愿意透露姓名的米花市优秀市民矢目先生,已协助警方破获多起命案,在稳定社会治安方面做出巨大贡献。经过讨论,现授予矢目先生感动米花十大杰出人物称号电视前的矢目久司他看了看原本坐在不远处吧台边喝酒的琴酒,坚强微笑我说这个矢目指的不是我,你信吗?伏特加默默指了一下电视。矢目久司一回头,跟电视上循环播放的某位不愿意透露姓名的矢目先生看了个对眼。矢目久司毁灭吧,累了)魔蝎小说...
她要悄悄的攒钱,然后惊艳所有人。郑小姐是个颇有气节的花瓶精,初立人世就深知钱财傍身的重要性,立志成为三流富婆。目前暂时可怜巴巴的过日子呢。冯先生看着她活蹦乱跳的下班,跟他前后左右的人花蝴蝶一样的打一遍招呼,一如既往地好似没看见他,骑着车瞥着她走了,八成又是相亲去了,据说前一个刚分没多久。是夜,月明星稀正值推杯换盏之际,冯先生听热闹正起劲,就听电话里面郑小姐体面而带一点小心翼翼的声音,有没有钱呐,借一千,转账现在要呢。冯先生笑了笑,好一个太平盛世呀,一千够不够,两千吧,微信转你。好好好,发工资就给你。行,不着急,你到时候请吃饭就行。郑小姐随口糊弄,好好好,快点哦,现在就要。心想你得多大脸才吃的下去,自然是彼此体面的客气一下罢了。后来郑小姐精辟的一句话总结开端我俩本无缘,全靠你有钱。魔蝎小说...
关于傻了吧,红黑双方都是我马甲相逢意气为君饮他是令警校组五人敬仰钦佩的病弱老师,以此消瘦身躯撑起指路明灯。这话说的,咳,我可还活着呢。此恨绵绵无绝期那一天,身浸黑暗的正义之手于淤泥深处触碰到了不可思议的无暇并蒂之花。苏格兰离开组织。就拜托你了,波本先生。希君生羽翼,一化北溟鱼战力爆棚却又怂又怕死的天才少年很想把自我介绍语里的是个侦探改成是个废物,奈何家教过严,背负厚望的他必须成为侦探。我就是个连名字都普普通通的刚成年的兔崽子啊啊啊啊啊这种重任我担当不起啦呜成仁取义,黎明将临血与仇恨划破黑夜,爱与正义铸就黎明。一切都结束了。–没错上面相爱相杀的全都是他的马甲。柯学同人,男主但马甲有男有女,可以各自当成独立角色欣赏,且全部无CP。本文又名。最后叠个甲正文存在某些设定变更的可能性。...
关于生灵祭台我张斌只是一介凡人,我只想活下去,只想更好的活下去,只想随心所欲的活下去,可这贼老天,为何偏偏如此捉弄与我,邪恶属性的天赋就都是恶人么?难道我就该死?都是第一次做人,天下兴亡与我何干?本文属于慢节奏,前情交代比较仔细。...