桃子树小说

桃子树小说 > 其他类型 > 赛博英雄传 > 002

002(2)

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

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

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

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

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

养育从毕达哥拉斯到阿纳托利之间所有数学家的能量,都是太阳释放、植物固化、动物转化的小小一点能量。与宇宙相比,微不足道。

但是这一点微不足道的能量,却解决了许多烧掉宇宙都难以得到的答案。

约格莫夫点了点头。但旋即又想起了另一个问题。

——阿纳托利是在20……几几年完成……

……

“与‘穷举无限’相比,BB(4888)的效率高得可怕,不是吗?但更可怕的是,人类却能找出更加高效的路径,通向问题的答案。”向山举起了酒杯:“敬我们伟大的心智。”

约格莫夫点了点头。他还记得,自己这位挚友的夙愿,就是弄明白“智慧的力量为什么可以这么高效”。

智慧,对于这个宇宙来说,到底是什么?

约格莫夫感觉自己重新点燃了热情。他被挚友的话语所激励,再一次想起自己的梦想。

恍惚间,他就已经吃完了饭,重新走向自己的研究室。

“最近确实是有一点……”约格莫夫按着自己的脑袋。对他来说,“科研”是一种舒适区。他好像已经把自己封闭在这个区间很久了,每天都是处理各种生物学的研究,忙得什么都忘记了。这种事情对他的

点击读下一页,继续阅读 吾道长不孤 作品《赛博英雄传》002

其他人正在读: 养父 山海提灯 穿越星际妻荣夫贵 玩家请上车 青山 神话版三国 还不起学贷的我只好兼职猎魔 异度旅社 谍云重重 没钱上大学的我只能去屠龙了 太古龙象诀 夜无疆 以神通之名 在美漫当心灵导师的日子 1979黄金时代 天命之上 重建修仙家族 元始法则 多我一个后富怎么了 没钱修什么仙? 这个主角明明很强却异常谨慎 继室日常 从赘婿开始建立长生家族 阵问长生 荒沙主宰 小兵活下去 修真高手的田园生活 大理寺小饭堂 带着农场混异界 穿越东京泡沫时代
本周热门小说

养父 穿越星际妻荣夫贵 谍云重重 还不起学贷的我只好兼职猎魔 神话版三国 没钱修什么仙? 玩家请上车 夜无疆 异度旅社 三国神话世界 太古龙象诀 青山 多我一个后富怎么了 柯南里的捡尸人 山海提灯 九域剑帝 小兵活下去 天命之上 带着农场混异界 元始法则 诡异纪元:每月一个专属天赋 阵问长生 伊塔之柱 重建修仙家族 在美漫当心灵导师的日子 文明之万象王座 以神通之名 这个主角明明很强却异常谨慎 1979黄金时代 大理寺小饭堂

年度热门小说:

天人图谱 许盛邵湛 重回1982小渔村 招黑体质开局修行在废土 1979黄金时代 从水猴子开始成神 晋末长剑 谁让他玩游戏王的! 穿越星际妻荣夫贵 第五形态 限时占有 开局金风细雨楼主,一刀惊天下 仙人消失之后 天命之上 我有一个修仙世界 夜无疆 养父 在美漫当心灵导师的日子 谁让他修仙的! 深入浅出 宿命之环 失婚 提灯看刺刀 谍云重重 普罗之主 四合院里的读书人 大道之上 青山 整座大山都是我的猎场 重建修仙家族

最新更新小说:

我家小区宠物有个聊天群 寒渊帝途 魏晋不服周 重生的我做空半岛 我在美漫做惊奇蜘蛛侠 这个美食家以时间为食 逢灯纪 重生之时尚天王 天才之上 怕死抗什么日 仙道轮回劫 长明盛世 绝世武魂 从滴水境到主宰至尊 我的寒门赘婿 高门小婢 从美空私摄开始速通华娱 灌篮之木暮 无垢时馈 攀高枝 仙道尽头 领主:从每日占卜开始 何不同舟渡 谁教你这样做明星的 风起北美1625 我剑 这么可爱的我,怎么可能是魔头 从铬龙开始 综武:大雕杨过,狂灌力挺黄蓉 还不起学贷的我只好兼职猎魔