手机浏览器扫描二维码访问
说一个笑话吧,一个关于数学的笑话。
如果想要用“暴力破解”的办法证明哥德巴赫猜想,那应该怎么做呢?
很简单,首先我们推测哥德巴赫猜想的完美证明“最少”需要多少个数学符号,然后我们验证这个上限以内的全部数学符号的排列组合,那么哥德巴赫猜想的证明便得以完成。
就这么简单,就这么轻松,陈景润先生的悲愿就直接达成了。
是不是很轻松很写意很愉快?。
实际上呢,数学家甚至已经设计出了一种特殊的图灵机――海狸机。这种图灵机就可以用这种“暴力拆封”的办法,破解掉几乎所有数学问题。
而王崎让驴子背着的,就是一种“海狸机”。也就是所谓的“四色四态海狸机”。
如果将这种暴力穷尽的方法利用在哥德巴赫猜想的例子之上的情形时,比如说,我们可以简单地设计一个程序,它对每一个大于四的偶数都测试它是不是两个素数之和,如果它找到一个反例就输出,如果找不到,它就永远也不会停止。就这样,我们将哥德巴赫猜想转化为了某种低级的停机问题。现在我们将这个程序用两色海狸机来运行,如果这段程序使用了两色海狸机的五十种状态来编写,那么海狸机在运行了五十态的“海狸移动数”之后仍然不停止的话,那么我们就可以肯定,这个程序他永远都不会停止了――因为他已经将如果可以停止下来的话的全部的“符号的排列组合”都用光了。就这样,困扰陈景云多年的难题就会被五十态海狸机给轻易的强行碾碎。
虽然可以在海狸机内部构造各种指令让印刷头的移动步数变多,但是总的来说,只要镶嵌机可以停下来,那么纸带和海狸机的印刷部件、主部件联合的排列组合所能达到的,纸带上的文字种类总和是有限的。类似于段子里面的对所有数学符号的排列组合的暴力搜索,海狸机便是这样一个对图灵机,乃至于集合论本身的“表现真理的能力”暴力搜索的机器。
但是,为什么没有人用这种方式研究数学呢?
成本问题。
首先,这里必须解释一下,海狸机为什么叫“海狸机”。在西方国家,“海狸”这种小动物被视作“忙碌”和“勤劳”的象征。而“忙碌海狸”,则是“忙到死”的意思。
海狸机与其延伸的“忙碌海狸问题”,就带着这样黑色的隐喻――即使忙到死,也绝对不可能完成事情。
以“海狸机所能镶嵌完成的,纸带上面的有文字的块最大时的数量”的“海狸文字数”,以及“印刷头印刷的次数”的“海狸移动数”,就是王崎方才所问题目的终极答案。
如果是二态的海狸机,那么10的连续取幂于自己10次的态的海狸机所能镶嵌完成的,皮带上面的有颜色的块最大时的数量,这便是歌庭派的策梅洛-弗兰克尔集合论所能达到的证明力的极限。
10的连续取幂于自己10次,这已经是凡人所不能达到的数,如果某个基于策梅洛-弗兰克尔集合论的证明的复杂度,或者说,证明的长度,已经达到了这个常数的地步,那么它就会处于不可证的状态,因为它相当于将集合论所能用的全部的“符号的排列组合”都用光了。
当海狸机具有三态的时候,人类的数学便已经不能揣度最后的常数了――那个数已经大道无法表达。
二色六态的海狸机,其海狸文字数和海狸移动数已经是物理上的不可求解了――如果以人类现有的电子计算机的效率来计算,即使将地球所在的无灵气宇宙整个宇宙都化为能源,也没办法得出二色六态海狸机的海狸文字数与海狸移动数。
四色四态海狸机,同样属于“物理上的无法证明”。
“心想事成”老哥疑似具有许愿机的属性,那么,这个问题就是检测它本质的时候了。
而如果它仅仅是一个具备一点力量的ai,那么它就会开始计算,然后在转瞬之间被卡死。
当然,如果它是强人工智能,能够在卡死的瞬间觉察到这个问题的威能,它就会回答无法证明。
而如果它是直连“真理”本身的神谕机,那么,它或许会在人类数学的基础上重新定义符号系统,然后给出一个王崎需要学习数年、数十年才能理解的定义。
当然,还有一种极端微小的可能,虽然渺小,但是也不能说不存在――心想老哥是一个威能巨大的伪许愿机。如果是这样,那么在这个瞬间,这个宇宙的灵力都会被剧烈的消耗。
不过,如果能够窥得这个问题的终极答案,那么……
“死也值啦!心想老哥!”王崎盯着空处,大声呐喊:“来啊!感受得到吧!我有多害怕你能够告诉我答案!”
“你告诉我这个答案,就证明你真的不可战胜!那对我来说就是最深的绝望!”
“那么,老哥,说吧!来啊!”
这一瞬间,墙壁里弹出的锥子的声音,奔跑带起的强音,隧道破裂的声音,似乎都在渐渐远离。
只剩下这个人的嘶吼。
灵异直播,女主她不想吓人 大明:开局剧透崇祯,重振河山 运河之韵 网游航海之王 巨树领主 谭笑风声里,灼灼桃之夭 万苍天穹 什么?奥特曼是终身制的? 建立帝国从骑士次子开始 我的修真小米三 巫妖生存指南 敛财心 舌尖天下 穿进语文书,从刺猹开始 盛世花都 道化九界 西游:六岁熊孩子,开局怒怼观世音 我,地球唯一超能力者 月薪十万,女总裁她果然不只是让我当司机 先婚后爱:娇妻拒婚101次
关于综影视之青漓世界一九叔世界(原创女主,cp九叔)完结世界二仙剑三(原创女主魅魔cp重楼)完结世界三妖狐仆xSS(魂穿凛凛蝶cp双炽)完结世界四神话完结世界五微微一笑已完结世界六莲花楼已完结世界七梁祝已完结世界八白蛇传已完结世界九三生三世已完结云之羽连载中。...
刘嫚从古代穿越到现代,穿前身无分文,穿后依然为钱所困,为了生计,她从网红做起,倒卖商品晒晒猫咪秀秀自己的小才艺,一不留神,成为全能巨星。新书穿越全能学霸同步连载中...
矢目久司自认为是个在乌丸集团资助下顺利毕业的酒厂优秀员工,于是兢兢业业出任务码代码,力图跟组织知名劳模琴酒争夺年度酒厂销冠。直到有一天某穿着土黄风衣戴着小圆帽的警官先生疑惑脸这位先生我好像在哪里见过。某半长发下垂眼的警官先生笑眼弯弯小矢目啊,是个非常可靠的人呢某卷墨镜是本体毛警官毫不犹豫他是个好人。某绷带精猫猫薄绿君记得藏好自己的秘密哦?鸟儿染黑的羽毛,要特别小心褪色呢~某师德欠费咒术师哦?你就是惠说的新朋友?这样的话你们就是同辈了。来,盆栽君,叫一声老师我听听!矢目久司笑容逐渐扭曲jpg然而,一切平静(?)止步于一则电视新闻。据悉,某位不愿意透露姓名的米花市优秀市民矢目先生,已协助警方破获多起命案,在稳定社会治安方面做出巨大贡献。经过讨论,现授予矢目先生感动米花十大杰出人物称号电视前的矢目久司他看了看原本坐在不远处吧台边喝酒的琴酒,坚强微笑我说这个矢目指的不是我,你信吗?伏特加默默指了一下电视。矢目久司一回头,跟电视上循环播放的某位不愿意透露姓名的矢目先生看了个对眼。矢目久司毁灭吧,累了)魔蝎小说...
她要悄悄的攒钱,然后惊艳所有人。郑小姐是个颇有气节的花瓶精,初立人世就深知钱财傍身的重要性,立志成为三流富婆。目前暂时可怜巴巴的过日子呢。冯先生看着她活蹦乱跳的下班,跟他前后左右的人花蝴蝶一样的打一遍招呼,一如既往地好似没看见他,骑着车瞥着她走了,八成又是相亲去了,据说前一个刚分没多久。是夜,月明星稀正值推杯换盏之际,冯先生听热闹正起劲,就听电话里面郑小姐体面而带一点小心翼翼的声音,有没有钱呐,借一千,转账现在要呢。冯先生笑了笑,好一个太平盛世呀,一千够不够,两千吧,微信转你。好好好,发工资就给你。行,不着急,你到时候请吃饭就行。郑小姐随口糊弄,好好好,快点哦,现在就要。心想你得多大脸才吃的下去,自然是彼此体面的客气一下罢了。后来郑小姐精辟的一句话总结开端我俩本无缘,全靠你有钱。魔蝎小说...
关于傻了吧,红黑双方都是我马甲相逢意气为君饮他是令警校组五人敬仰钦佩的病弱老师,以此消瘦身躯撑起指路明灯。这话说的,咳,我可还活着呢。此恨绵绵无绝期那一天,身浸黑暗的正义之手于淤泥深处触碰到了不可思议的无暇并蒂之花。苏格兰离开组织。就拜托你了,波本先生。希君生羽翼,一化北溟鱼战力爆棚却又怂又怕死的天才少年很想把自我介绍语里的是个侦探改成是个废物,奈何家教过严,背负厚望的他必须成为侦探。我就是个连名字都普普通通的刚成年的兔崽子啊啊啊啊啊这种重任我担当不起啦呜成仁取义,黎明将临血与仇恨划破黑夜,爱与正义铸就黎明。一切都结束了。–没错上面相爱相杀的全都是他的马甲。柯学同人,男主但马甲有男有女,可以各自当成独立角色欣赏,且全部无CP。本文又名。最后叠个甲正文存在某些设定变更的可能性。...
关于生灵祭台我张斌只是一介凡人,我只想活下去,只想更好的活下去,只想随心所欲的活下去,可这贼老天,为何偏偏如此捉弄与我,邪恶属性的天赋就都是恶人么?难道我就该死?都是第一次做人,天下兴亡与我何干?本文属于慢节奏,前情交代比较仔细。...