头条屋小说网

手机浏览器扫描二维码访问

第728章 不可知不可论（第3页）

“但是，就像数理逻辑中那些不可证明的问题可以在更高阶的系统中解决一样，停机问题并非是绝对不可解决的问题。”

“能够解决一切图灵机的停机问题的计算机器，就被称为超图灵机。”

李恒指了指桌上的那台芝诺机道：

“有没有觉得和集合论里从自然数到全体自然数集合的情况很相似？”

阿基里斯点了点头，两者的情况的确很像，明显有着紧密的联系。

“计算，本质上就是一系列的是、否判定过程。”

“哥德尔不完备定理的证明方法就是如此，通过将形式符号转化成对应的哥德尔数，把推理证明变成机械的计算过程。”

“图灵的做法也很类似，他将图灵机标准化到可以用一个整数来唯一确定一台机器，这一整数将机器的所有状态进行了编码。”

“每一个整数都是有限的，它们是由一连串的判定得到的有限序列，属于图灵机的能力范围。”

“所有图灵机构成的集合就是全体整数的集合，也就是可数无限?0。”

“每一台图灵机都能执行一个特定的算法，但所有图灵机构成的集合与不可数无限?1无法形成一一对应。”

“因此，被人类称为实数集的集合中，显然存在着不可数无限个不能用图灵机通过有限次计算写下的数。”

“将那些可以被图灵机计算的序列称作可计算序列，这些序列构成的数就是可计算数。”

“自然数，整数，有理数，代数数，以及圆周率π、自然常数e等等超越数，它们都属于可计算数。”

“人类所知的无理数，虽然它们都是无限不循环小数，但它们的算法复杂度却很低。”

“一个很简单的算法就能生成一个确定的无理数，它们属于可以被压缩简化的简单实无限。”

“描述这些可计算的无理数就像是人类总结无限宇宙的物理规律一样，可以将无限的信息压缩成短短的一个数学公式而不损失任何信息。”

李恒用食指在报纸上划了一条线，分割开了上下两个世界。

在这条线的上方是一大堆紧紧地挤在一起、密不可分的微小字符，在这张报纸上占据了极为可怜的篇幅，不用显微镜都看不清具体细节。

它们是从生命1.0～生命5.0的不同战斗力等级。

战斗力等级9级的一级文明，18级的二级文明，30级的三级文明，大于10^40级的黑洞生命体，以及战斗力等级潜无限的信息生命体，全都在这条线的上方挤作一团。

在这条线的下方，就放着那枚粉白色螺旋状吊坠，一台芝诺机。

“不可计算数不是简单的实无限，它们是不可被压缩简化的。”

“每一个不可计算数的算法复杂度都是无限。”

“万物源自量子比特，物理宇宙的客观存在就等价于信息计算，有限的人类的智慧就等价于只能进行有限次计算的图灵机。”

“不能被图灵机写下的不可计算数，同样也不可能被人类的大脑计算。”

“无论这个人是地球上的普通碳基生物，还是超越可观测宇宙边界，以亿万星辰为细胞的文明级生命体。”

知识就是力量，全知即是全能。

有些知识太过沉重，必须要无穷的信息和能量才能承载。

这些沉重的知识位于一切有限领域生灵的认知范围之外。

那里是一个明知存在，但却永远不可知晓具体形貌的未知黑暗领域。

大梦王  奥特曼之黑暗星纹  开局人间体  分开后偏执大佬缠上我了  游历万界的永生者  重生我的老婆是天后  七零之重组家庭的小女儿  诡秘世界我能逢凶化吉  山村大闲人  狙击战神  恶魔天使  我真不想修行啊  我媳妇是医圣传人  五浔之外  我的室友不对劲  殡葬异事录  摘星手记  特种兵：我成了全球特战教父  穿越之直上青云  大乾佛主