吾道长不孤提示您:看后求收藏(阿里小说网novels.allcdn.vip),接着再看更方便。

说一个笑话吧,一个关于数学的笑话。

如果想要用“暴力破解”的办法证明哥德巴赫猜想,那应该怎么做呢?

很简单,首先我们推测哥德巴赫猜想的完美证明“最少”需要多少个数学符号,然后我们验证这个上限以内的全部数学符号的排列组合,那么哥德巴赫猜想的证明便得以完成。

就这么简单,就这么轻松,陈景润先生的悲愿就直接达成了。

是不是很轻松很写意很愉快?。

实际上呢,数学家甚至已经设计出了一种特殊的图灵机——海狸机。这种图灵机就可以用这种“暴力拆封”的办法,破解掉几乎所有数学问题。

而王崎让驴子背着的,就是一种“海狸机”。也就是所谓的“四色四态海狸机”。

如果将这种暴力穷尽的方法利用在哥德巴赫猜想的例子之上的情形时,比如说,我们可以简单地设计一个程序,它对每一个大于四的偶数都测试它是不是两个素数之和,如果它找到一个反例就输出,如果找不到,它就永远也不会停止。就这样,我们将哥德巴赫猜想转化为了某种低级的停机问题。现在我们将这个程序用两色海狸机来运行,如果这段程序使用了两色海狸机的五十种状态来编写,那么海狸机在运行了五十态的“海狸移动数”之后仍然不停止的话,那么我们就可以肯定,这个程序他永远都不会停止了——因为他已经将如果可以停止下来的话的全部的“符号的排列组合”都用光了。就这样,困扰陈景云多年的难题就会被五十态海狸机给轻易的强行碾碎。

虽然可以在海狸机内部构造各种指令让印刷头的移动步数变多,但是总的来说,只要镶嵌机可以停下来,那么纸带和海狸机的印刷部件、主部件联合的排列组合所能达到的,纸带上的文字种类总和是有限的。类似于段子里面的对所有数学符号的排列组合的暴力搜索,海狸机便是这样一个对图灵机,乃至于集合论本身的“表现真理的能力”暴力搜索的机器。

但是,为什么没有人用这种方式研究数学呢?

成本问题。

首先,这里必须解释一下,海狸机为什么叫“海狸机”。在西方国家,“海狸”这种小动物被视作“忙碌”和“勤劳”的象征。而“忙碌海狸”,则是“忙到死”的意思。

海狸机与其延伸的“忙碌海狸问题”,就带着这样黑色的隐喻——即使忙到死,也绝对不可能完成事情。

以“海狸机所能镶嵌完成的,纸带上面的有文字的块最大时的数量”的“海狸文字数”,以及“印刷头印刷的次数”的“海狸移动数”,就是王崎方才所问题目的终极答案。

如果是二态的海狸机,那么10的连续取幂于自己10次的态的海狸机所能镶嵌完成的,皮带上面的有颜色的块最大时的数量,这便是歌庭派的策梅洛-弗兰克尔集合论所能达到的证明力的极限。

10的连续取幂于自己10次,这已经是凡人所不能达到的数,如果某个基于策梅洛-弗兰克尔集合论的证明的复杂度,或者说,证明的长度,已经达到了这个常数的地步,那么它就会处于不可证的状态,因为它相当于将集合论所能用的全部的“符号的排列组合”都用光了。

当海狸机具有三态的时候,人类的数学便已经不能揣度最后的常数了——那个数已经大道无法表达。

二色六态的海狸机,其海狸文字数和海狸移动数已经是物理上的不可求解了——如果以人类现有的电子计算机的效率来计算,即使将地球所在的无灵气宇宙整个宇宙都化为能源,也没办法得出二色六态海狸机的海狸文字数与海狸移动数。

四色四态海狸机,同样属于“物理上的无法证明”。

“心想事成”老哥疑似具有许愿机的属性,那么,这个问题就是检测它本质的时候了。

而如果它仅仅是一个具备一点力量的AI,那么它就会开始计算,然后在转瞬之间被卡死。

当然,如果它是强人工智能,能够在卡死的瞬间觉察到这个问题的威能,它就会回答无法证明。

而如果它是直连“真理”本身的神谕机,那么,它或许会在人类数学的基础上重新定义符号系统,然后给出一个王崎需要学习数年、数十年才能理解的定义。

当然,还有一种极端微小的可能,虽然渺小,但是也不能说不存在——心想老哥是一个威能巨大的伪许愿机。如果是这样,那么在这个瞬间,这个宇宙的灵力都会被剧烈的消耗。

不过,如果能够窥得这个问题的终极答案,那么……

“死也值啦!心想老哥!”王崎盯着空处,大声呐喊:“来啊!感受得到吧!我有多害怕你能够告诉我答案!”

“你告诉我这个答案,就证明你真的不可战胜!那对我来说就是最深的绝望!”

“那么,老哥,说吧!来啊!”

这一瞬间,墙壁里弹出的锥子的声音,奔跑带起的强音,隧道破裂的声音,似乎都在渐渐远离。

只剩下这个人的嘶吼。

“回答吧!”

这次,气味消失了很久。王崎不禁有一种全力一拳打在空出的感觉。有那么一瞬间,他开始怀疑“心想老哥”已经宕机了,只是身后的锥子依旧在不断的弹出,如同索命的厉鬼一般。

——不,不能这样想……

——就算是宕机,也没有这么快的……如果他真的会实现我的猜想,那么这里的物质应该会极短的时间内被剧烈消耗,最终崩溃掉……

——不,难道说,这家伙的性能真的如此糟糕,以至于这么快就宕机了?

——可身后的这些机关……难道说就算他已经消失了,这些变化依旧存在吗……

就在王崎心中绝望之色越发浓重时,某个神秘的气味再次出现在它的鼻腔之中。

【哈哈哈哈哈哈哈哈哈哈哈哈哈哈!】

气味之中的欢乐之意已经满溢出来了。心想老哥十分开心。

【真是有趣,真是有趣啊!我从来没有这么困难的接受这样的概念。只可惜的是啊,我无法给你答案?】

王崎眉头一皱:“你算不出来?”

【不,不不不不,你可以想象一下,我背后是一个巨大的钱袋,里面藏满了宝物,但是,这个钱袋上的口子——也就是你们的恐惧赋予我的人格,实在是太小了。我没办法透过我的主观意志,将这个概念转达给你。而如果这东西直接进入了你的脑海——呵呵呵呵呵,我不想想象会发生什么。将一颗恒星强行塞入一颗海洋的当中,会发生什么事呢?哈哈哈哈,我也好想知道啊!可惜,我居然想象不到应该用什么规则之内允许的法术手段告诉你】

王崎心头一沉。

第一,心想老哥是疯的,而且疯的超厉害。

第二,心想老哥恐怕是真·神谕机。即使不是,它背后恐怕也是天人大圣的数据库。、

而在王崎所能理解的范围之内,心想老哥这种层次的伪神谕机恐怕也和真神谕机没区别了。

第三,天人大圣的数学水平,或许真的……和整个宇宙的画风都不太一样。

毫无预兆的,王崎突然飞起一掌,拍向自己脑门。他用的力量是如此之大,以至于所有人都听到了颅骨碎裂的清脆响声。与此同时,雷霆炸响。王崎居然在自己掌心藏了第三枚心魔大咒记忆体。这一门记忆体,被他直接拍碎在自己的脑门上。至纯的愤怒化为雷光,焚烧男人的理性。

头部的重击加上心魔大咒,甚至还有一道藏在掌心的神瘟咒法——王崎居然在一瞬间对自己使用了不可饶恕的绝杀。就算是他,也在是瞬间陷入眩晕当中,身体一软,向着背后不断刺出的机关倒去。

谁也没有料到这一瞬间的变化。所有人都愣住了。

关键时刻,路小茜冲了出来。她拦腰抱住王崎,袖袍一荡,大象相波功运转,物质波性显现。她周围的一切细长锥子都如同画面失真一般扭曲起来。更多的机关弹出,想要叫啥二人。大象相波功终究因为无法回气,后力不济,很快便败下阵来。

地面弹出的刀刃,就要讲二人碎尸万段。

………………………………………………………………………………………………………………………………………………………………………………………………………………

“啊!”梅歌牧惨叫一声,没有继续看下去。

不是因为不忍心,而是画面在这一瞬间中断了。王崎突然挥掌自残的瞬间,他也愣住了。但是在反应过来之后,他瞬间抠出了自己的左眼眼球。

连带炼化入体的神灵权柄一齐抠出来了。

“呵,怎么了?”无名谪仙有些惊讶。

“快……带人……不,你不要进去。让所有能进入的人都进去,讲王崎杀了。”梅歌牧冷汗岑岑,身体颤抖不已:“快去啊!快!”

都市言情推荐阅读 More+
培养万千神邸,动物园成生命禁区

培养万千神邸,动物园成生命禁区

桃李斩春风
世人:请世人高呼白玉京及青山禁区神灵的名字。方觉夏:追随我者,赐你成神之资。……郁郁而终的方觉夏回到灵气复苏前夕,知道未来走向的他第一时间买下来一座处于灵脉之上的动物园。因此觉醒造神系统,动物园的动物纷纷开启进化模版。柳树小柳开启吞噬模版,吸食血肉就变强,进化目标柳神。中华田园狗黑豹开启修炼变强模版,修炼进度翻倍,最终进化绝世大妖。断臂金丝猴孙悟空开启机械飞升模版,血肉苦弱机械飞升,改造就变强,最
都市 连载 128万字
欧阳先生请饶了我吧

欧阳先生请饶了我吧

青金金
前世为了抢回女儿抚养权,她深夜前往前夫的办公室找寻机会,却没有想到被渣男渣女害死了。重生归来,她一心两用,仇要报,爱要谈,她要渣男渣女活着比死了还痛苦,自己还要好好活一回。
都市 完结 54万字
穿进最穷村,她靠经商风生水起

穿进最穷村,她靠经商风生水起

白老阿姨
唐晓溪穿越了!一睁眼,她重新家徒四壁。孤儿唐晓溪,十六岁从福利院出来,在社会上摸爬滚打十几年,好不容易实现了有房有车,竟然一觉回到解放前的解放前。什么,这个残疾暴戾男是自己相公?还是她为了十两银子,主动把自己卖给他的?拒绝内耗,唐晓溪撸起袖子加油干。她就不信,在日益发达的现代她都能拼出个财富自由,回到这落后古代自己还不能出人头地!当她坐拥万贯家财时,某男贴了上来。晓溪~你不是说过要养我一辈子的么~
都市 连载 54万字
傲娇总裁,追妻忙

傲娇总裁,追妻忙

苑九英
她——一个贫穷家庭长大的女孩儿,因为从小被人欺凌,暗中学习散打,努力学习,考上了工大。他——唐氏集团准接班人,工大的男神,虽然成绩骄人,却厌倦读书。从小继承唐家拳术,精通各种驾驶本领。自己研制了高科技手表。他,十年前救了一个卑微的女孩儿,把自己的唐氏指环送给她做纪念。她,十年前卖糖葫芦被人欺凌,被一个男孩儿相救,把祖传玉佩送给男孩儿。他们相约,十年后,同一个地方相见,一同去海鑫国际,一同去迪拜。唐
都市 完结 239万字
总裁夫人她又又又开挂

总裁夫人她又又又开挂

十二三四五
【沙雕文,不喜慎入】当红流量小花黑料绯闻一卡车,实力影帝演技流量双起飞。奈何粉丝无珠嗑CP,蒸煮下场举大旗。影帝粉丝愤慨,那个女人什么都不会,为什么有戏可演,有钱可赚,有男人对她青眼有加,就连微博抽奖都跟她家开得似的!凭什么!她何德何能!余晚晚大手一挥,来,我帮你们微博抽奖以作弥补!粉丝:谁稀罕!开奖后……厉战最大的粉丝站:请你们早日完婚!我们跳墙头了!
都市 连载 75万字
我的CV

我的CV

连丛树蕙
已完结,新书《长极》已上线!优优说,作为一名合格的声控,不光要会听,还得会说!优优说,虽然先天条件不够,但咱还能后期努力呀!优优说,听我的,保准你成为大佬!配音圈可没那么简单!那是自然,这里不仅有专业的知识点,还有甜甜的恋爱呢!这是一个讲述声优的故事。聚焦配音圈的台前幕后。还原真实的声优生活!想了解配音相关知识,直接跳转第74章!配音的相关专业知识点会随着女主角的成长而逐渐深入!开头会比较小白!看
都市 连载 75万字