手机浏览器扫描二维码访问
第三百八十二章 神谕机 其一（第1页）
说一个笑话吧，一个关于数学的笑话。
如果想要用“暴力破解”的办法证明哥德巴赫猜想，那应该怎么做呢？
很简单，首先我们推测哥德巴赫猜想的完美证明“最少”需要多少个数学符号，然后我们验证这个上限以内的全部数学符号的排列组合，那么哥德巴赫猜想的证明便得以完成。
就这么简单，就这么轻松，陈景润先生的悲愿就直接达成了。
是不是很轻松很写意很愉快？。
实际上呢，数学家甚至已经设计出了一种特殊的图灵机――海狸机。这种图灵机就可以用这种“暴力拆封”的办法，破解掉几乎所有数学问题。
而王崎让驴子背着的，就是一种“海狸机”。也就是所谓的“四色四态海狸机”。
如果将这种暴力穷尽的方法利用在哥德巴赫猜想的例子之上的情形时，比如说，我们可以简单地设计一个程序，它对每一个大于四的偶数都测试它是不是两个素数之和，如果它找到一个反例就输出，如果找不到，它就永远也不会停止。就这样，我们将哥德巴赫猜想转化为了某种低级的停机问题。现在我们将这个程序用两色海狸机来运行，如果这段程序使用了两色海狸机的五十种状态来编写，那么海狸机在运行了五十态的“海狸移动数”之后仍然不停止的话，那么我们就可以肯定，这个程序他永远都不会停止了――因为他已经将如果可以停止下来的话的全部的“符号的排列组合”都用光了。就这样，困扰陈景云多年的难题就会被五十态海狸机给轻易的强行碾碎。
虽然可以在海狸机内部构造各种指令让印刷头的移动步数变多，但是总的来说，只要镶嵌机可以停下来，那么纸带和海狸机的印刷部件、主部件联合的排列组合所能达到的，纸带上的文字种类总和是有限的。类似于段子里面的对所有数学符号的排列组合的暴力搜索，海狸机便是这样一个对图灵机，乃至于集合论本身的“表现真理的能力”暴力搜索的机器。
但是，为什么没有人用这种方式研究数学呢？
成本问题。
首先，这里必须解释一下，海狸机为什么叫“海狸机”。在西方国家，“海狸”这种小动物被视作“忙碌”和“勤劳”的象征。而“忙碌海狸”，则是“忙到死”的意思。
海狸机与其延伸的“忙碌海狸问题”，就带着这样黑色的隐喻――即使忙到死，也绝对不可能完成事情。
以“海狸机所能镶嵌完成的，纸带上面的有文字的块最大时的数量”的“海狸文字数”，以及“印刷头印刷的次数”的“海狸移动数”，就是王崎方才所问题目的终极答案。
如果是二态的海狸机，那么10的连续取幂于自己10次的态的海狸机所能镶嵌完成的，皮带上面的有颜色的块最大时的数量，这便是歌庭派的策梅洛-弗兰克尔集合论所能达到的证明力的极限。
10的连续取幂于自己10次，这已经是凡人所不能达到的数，如果某个基于策梅洛-弗兰克尔集合论的证明的复杂度，或者说，证明的长度，已经达到了这个常数的地步，那么它就会处于不可证的状态，因为它相当于将集合论所能用的全部的“符号的排列组合”都用光了。
当海狸机具有三态的时候，人类的数学便已经不能揣度最后的常数了――那个数已经大道无法表达。
二色六态的海狸机，其海狸文字数和海狸移动数已经是物理上的不可求解了――如果以人类现有的电子计算机的效率来计算，即使将地球所在的无灵气宇宙整个宇宙都化为能源，也没办法得出二色六态海狸机的海狸文字数与海狸移动数。
四色四态海狸机，同样属于“物理上的无法证明”。
“心想事成”老哥疑似具有许愿机的属性，那么，这个问题就是检测它本质的时候了。
而如果它仅仅是一个具备一点力量的ai，那么它就会开始计算，然后在转瞬之间被卡死。
当然，如果它是强人工智能，能够在卡死的瞬间觉察到这个问题的威能，它就会回答无法证明。
而如果它是直连“真理”本身的神谕机，那么，它或许会在人类数学的基础上重新定义符号系统，然后给出一个王崎需要学习数年、数十年才能理解的定义。
当然，还有一种极端微小的可能，虽然渺小，但是也不能说不存在――心想老哥是一个威能巨大的伪许愿机。如果是这样，那么在这个瞬间，这个宇宙的灵力都会被剧烈的消耗。
不过，如果能够窥得这个问题的终极答案，那么……
“死也值啦！心想老哥！”王崎盯着空处，大声呐喊：“来啊！感受得到吧！我有多害怕你能够告诉我答案！”
“你告诉我这个答案，就证明你真的不可战胜！那对我来说就是最深的绝望！”
“那么，老哥，说吧！来啊！”
这一瞬间，墙壁里弹出的锥子的声音，奔跑带起的强音，隧道破裂的声音，似乎都在渐渐远离。
只剩下这个人的嘶吼。
灵异直播，女主她不想吓人 运河之韵 我，地球唯一超能力者 道化九界 谭笑风声里，灼灼桃之夭 建立帝国从骑士次子开始 西游：六岁熊孩子，开局怒怼观世音 穿进语文书，从刺猹开始 巫妖生存指南 什么？奥特曼是终身制的？ 先婚后爱：娇妻拒婚101次 巨树领主 盛世花都 敛财心 月薪十万，女总裁她果然不只是让我当司机 万苍天穹 我的修真小米三 舌尖天下 大明：开局剧透崇祯，重振河山 网游航海之王
洪荒：拜师太一，继承大笔遗产
洪荒生就葫芦仙，根脚从来不自谦。一朝登临云霄殿，神玄只是若等闲。三花聚顶朝北海，胸中五气透南冥。混元一气成道果，四象八卦掌中盘。...
草根穿越：灼灼风流之异世星主
高星辰，一个来自地球的草根少年，意外穿越到了神秘的九星界域。在这里，他凭借着自己的勇气和智慧，不断地挑战自我，突破极限。在他的成长过程中，他结识了许多志同道合的朋友，也遇到了许多强大的敌人，通过自己的努力以及挚友与爱人的帮助，将其一一化解。最终，他成为了星域之主，实现事业爱情双丰收，开创了属于自己的传奇人生。...
七零，我成了年代文里的恶毒女配
穿越重生七零，我成了年代文里的恶毒女配作者二肥2完结 简介 沈梦是个大厂社畜，在去给合作商送合同的时候，遭遇车祸。 就在她瘫在床上独自难受的时候，突然觉醒了空间。 还不等她高兴两天，空间的後遗症也来了，她几乎每天晚上都会做一些奇奇怪怪的梦。 这让她很快警觉了起来，沈梦赶紧的卖房卖车，开始疯狂...
被战神宠成宝的小王妃是玄学大佬
关于被战神宠成宝的小王妃是玄学大佬传闻大景战神王爷晏玄翊身负七杀，煞气缠身，恐活不过而立之年。国师批命，他须娶天命贵女苍妍玲，才能破除命中死劫，化解七杀。大婚当日，嫁入王府的却是被拴在家畜棚子里与家畜一起养，又疯又傻，还克死全家的煞星苍云烟。七杀碰上煞星，都以为翊王夫妇不出几日就会命丧黄泉。殊不知一场替嫁，小可怜苍云烟豆芽菜身体里的神魂，成了意外魂穿至此，来自现代硕博连读考古系学霸云烟。她不仅拥有自带小世界的神秘珠子，还掌握捉鬼斗邪的高深玄术，懂得极为厉害的修炼之法。翊王把她当闺女养，去哪都带着她。想不到她扮猪吃虎，以自身高超的玄术，帮着翊王解决身边各种诡异事件，抽丝剥茧地弄清楚自己与翊王的命数真相。捉鬼斗邪，斩妖除魔，破除七杀，携手扭转命运。...
我的疯子爱人
本书简介朝殊跟陈柘野纠缠了一辈子。上辈子朝殊第一次见到男人，是在开学典礼，对方温文尔雅的走过来向他打招呼。那时候朝殊知道他叫陈柘野，相貌顶尖，是圈里有名的太子爷。可是他没想到自己会跟陈柘野纠缠一辈子。以至于被束缚一生，最后陈柘野为了让他记住他。当着自己的面自杀。朝殊彻底崩溃。然后他重生了，重生到他们认识的第一天。同学，你好，我叫陈柘野，能认识你吗？文质彬彬的青年向他打招呼。而这次，精神崩溃的朝殊对他说。对不起，我不想认识你。陈柘野的眼神一下子阴郁下来。陈柘野觉得自己病了，从见到那个低着头，黑头发的青年开始。他的心脏剧烈跳动起来，控制不了地走上前，伸出手打招呼。出乎意料的拒绝了。他不气馁，反而斗志昂扬，像斗兽场里的狮子，不停地围在他身边，伺机撕烂他脆弱的一面，再狠狠咀嚼。我只想跟你认识一下。可是对方并不想，甚至想要躲避自己。陈柘野弯唇一笑，没关系的。内心阴暗杂草丛生。不就是，需要多点时间，还有其他手段。这世间有千万种爱恋人的方式。我选择了无数方法，激烈温和撕碎。最后。请看看我，我的恋人。我的疯子爱人全文免费阅读，如果您喜欢我的疯子爱人灯火明亮最新章节，请分享给您的好友一起来免费阅读。魔蝎小说...
名柯：我在酒厂爆瓜，真真假假
关于名柯我在酒厂爆瓜，真真假假被炸死的宾加重生回到应聘太平洋浮标工程师之前，誓死不去卧底，还去酒吧打了刚拿到代号的威士忌三人组，把朗姆气的将人打包送给了琴酒…组织瓜王！酒厂厂花！实际上就是满嘴喷粪，精神状态极其不稳定的一奇葩！和伏特加关系好，和琴酒生死冤家！琴酒嘲笑我睫毛，我对朗姆螺纹钢式硬夸！下班遇到工藤新一，梆梆就是两脚丫！看到叛徒雪莉酒，上去一个大嘴巴！骂朗姆就像回家。把贝尔摩德尊严按在地上摩擦！碰到波本，基尔就是一记大列巴，还把锅甩给伏特加。连Boss我都敢骂！开二十几个小号故意网恋男同事…就是我宾加！小剧场1朗姆让宾加游说刚拿下代号的成员站队，宾加抡着高跟鞋梆梆给他们脑壳开花，被琴酒当成神经病和被打残的三瓶威士忌一起关到审讯室，让朗姆来捞人2跟踪工藤新一遇到正在做任务的琴酒和伏特加，捡到变小的工藤新一团成球塞到衣服里装孕妇将人偷走，不慎被琴酒抓到，衣服里的柯南掉出来伏特加大，大哥，宾加生了！琴酒注不救济，对荭方不友好，自行避雷。「第一卷无CP篇，第二卷CP琴酒篇」...