吾道长不孤提示您:看后求收藏(千千小说www.qbtxts.net),接着再看更方便。

BB(n),BB意为“Busy Beaver”,忙碌的海狸。是一个在给定参数后,寻找可能产生的最大输出的可终止程序。最简单的二色二状态海狸机,只有“开和关”两种状态,并且只能输出“0或1”,且会在输出1的时候停止。二色二状态海狸机可以通过6次状态转换输出4个1,因此BB(2)=6。

BB(3)=21。

BB(4)=107。

然后,目前人类尚未枚举完所有5状态的海狸图灵机,只知道BB(5)要么就是47,176,870,要么就是大于10的十一次方。

BB(6)已经确定大于7.4*10^36537。

而在2016年,一名数学家将哥德巴赫猜想编码为有4888个状态的海狸机。编码逻辑很简单,就是从小到大验证每一个偶数。如果发现某个偶数可以表示成两个质数之和,则考察下一个偶数。只要这台图灵机跑完了BB(4888)步,且在跑完之前没有停机,那人类就可以断定它永远不会停机,所以哥德巴赫猜想为真。

但问题在于,宇宙只有不到10^80个原子。这个数量甚至远小于BB(6),更遑论BB(4888)。

约格莫夫惊叹于这个念头的离谱程度。整个宇宙的物质与能量,都支撑不了这种程度的计算。想要记录下这个数字的具体数值,就得在宇宙的每一个原子上记录下比宇宙原子数过多的数位。这是一个不可计算的数值。

“可即便如此,这仍旧是在‘有穷’的步骤里完成了对‘无穷’的追索。”向山却是这么介绍的,“如果我们用更加平庸的方式去穷举所有的偶数,那我们需要的物质与能量才是‘无穷’的。有理数是个无穷的概念。这种办法最多只能保证在哥德巴赫猜想为假的时候使用——即在无穷之中,找到了一个哥德巴赫猜想的反例。但是BB(4888),虽然它比宇宙更大,却是一个有穷的数字。海狸机是在有限时间内通过有限步骤,完成了对无限的探索。”

“但更妙的是,人类居然还能找出更妙的办法来证明哥德巴赫猜想——最后的证明法,只消耗了太阳流溢而出的一点点光热。你看,智慧的效果是多么可怕。”

科幻灵异推荐阅读 More+
迷雾末日!女神无限!物资无限!

迷雾末日!女神无限!物资无限!

森浓而慌
诡异的迷雾笼罩世界,动植物变异!!李峰意外获得无限物资系统!被选中成为火种计划的执行者.......系统将一天随机解锁一种无限物资!并且!只要收留符合标准的幸存者!就能额外获得一次解锁无限物资的机会!网红舞蹈老师、清纯的女同事、身怀仇恨的富家千金、御姐医生、美女辅导员!...........解锁:矿泉水,煲仔饭,烟...
科幻 连载 3万字
帝国从第四天灾开始

帝国从第四天灾开始

镜大人
接管一艘《家园》的母舰,然后穿越到《星球大战》世界?唐骁:“这个世界好危险啊,妈妈我要回家。”等一下,母舰数据库里面居然有《太阳帝国的原罪》、《光晕》、《EVE》、《星际争霸》、《群星》??而且冷冻舱里面居然还沉睡着吉姆-雷诺、士官长、阿塔尼斯大主教?唐骁:“哼!他们都将拜倒在我的脚下!!”第四天灾……啊不,第四帝国万岁!
科幻 连载 650万字
招黑体质开局修行在废土

招黑体质开局修行在废土

陈风笑
穿越到废土,惯例是孤儿,该怎么办? 首先要活下去,可是想做到这一点并不容易。 饱暖之后就该思……咳咳,就该考虑怎么变强了,这更不容易。 等曲涧磊开始逐渐变强,他意外地发现,这个废土……不是他想像的废土!
科幻 连载 759万字
撩倒五个兽夫后,恶毒雌性死遁了

撩倒五个兽夫后,恶毒雌性死遁了

桔子飞飞
死于尸群后,温纾穿进兽世文,成了兽城流落在外的恶毒真千金。作为女主的对照组,原主不仅是个脏兮兮的万人嫌,还到处强抢雄性,以折磨兽人为乐。一睁眼天崩开局,原主欺辱蛇兽,霸王硬上弓不成被毒死;对可怜的雪鸮非打即骂,在部落名声恶臭。温纾两眼一黑,为了扭转命运,决定治好被原主祸害的兽人,远离主角团苟到结局。然而,面对强大的...
科幻 连载 4万字
暗影熊提伯斯的位面之旅

暗影熊提伯斯的位面之旅

暗影熊
这是一本挂着小熊提伯斯的熊头,卖着小安妮的肉的书!哦,不对,说错了! 这其实是一本挂着提伯斯的熊头,卖着小安妮的多元世界旅行故事的书!没错了,就是酱紫的! 已过复联、哈利波特、艾泽拉斯、加勒比海盗、星际争霸、魔戒、神盾局、重返艾泽拉斯、暗黑II、fatezero、呆毛、质量效应、白蛇、权利的游戏、龙珠、DC世界、符文之地、MIB世界、高达、哪吒世界、某超电磁炮、星球大战、火焰杯、大世界、功夫猫熊、
科幻 连载 2303万字