手机浏览器扫描二维码访问
第728章 不可知不可论（第3页）
“但是，就像数理逻辑中那些不可证明的问题可以在更高阶的系统中解决一样，停机问题并非是绝对不可解决的问题。”
“能够解决一切图灵机的停机问题的计算机器，就被称为超图灵机。”
李恒指了指桌上的那台芝诺机道：
“有没有觉得和集合论里从自然数到全体自然数集合的情况很相似？”
阿基里斯点了点头，两者的情况的确很像，明显有着紧密的联系。
“计算，本质上就是一系列的是、否判定过程。”
“哥德尔不完备定理的证明方法就是如此，通过将形式符号转化成对应的哥德尔数，把推理证明变成机械的计算过程。”
“图灵的做法也很类似，他将图灵机标准化到可以用一个整数来唯一确定一台机器，这一整数将机器的所有状态进行了编码。”
“每一个整数都是有限的，它们是由一连串的判定得到的有限序列，属于图灵机的能力范围。”
“所有图灵机构成的集合就是全体整数的集合，也就是可数无限?0。”
“每一台图灵机都能执行一个特定的算法，但所有图灵机构成的集合与不可数无限?1无法形成一一对应。”
“因此，被人类称为实数集的集合中，显然存在着不可数无限个不能用图灵机通过有限次计算写下的数。”
“将那些可以被图灵机计算的序列称作可计算序列，这些序列构成的数就是可计算数。”
“自然数，整数，有理数，代数数，以及圆周率π、自然常数e等等超越数，它们都属于可计算数。”
“人类所知的无理数，虽然它们都是无限不循环小数，但它们的算法复杂度却很低。”
“一个很简单的算法就能生成一个确定的无理数，它们属于可以被压缩简化的简单实无限。”
“描述这些可计算的无理数就像是人类总结无限宇宙的物理规律一样，可以将无限的信息压缩成短短的一个数学公式而不损失任何信息。”
李恒用食指在报纸上划了一条线，分割开了上下两个世界。
在这条线的上方是一大堆紧紧地挤在一起、密不可分的微小字符，在这张报纸上占据了极为可怜的篇幅，不用显微镜都看不清具体细节。
它们是从生命1.0～生命5.0的不同战斗力等级。
战斗力等级9级的一级文明，18级的二级文明，30级的三级文明，大于10^40级的黑洞生命体，以及战斗力等级潜无限的信息生命体，全都在这条线的上方挤作一团。
在这条线的下方，就放着那枚粉白色螺旋状吊坠，一台芝诺机。
“不可计算数不是简单的实无限，它们是不可被压缩简化的。”
“每一个不可计算数的算法复杂度都是无限。”
“万物源自量子比特，物理宇宙的客观存在就等价于信息计算，有限的人类的智慧就等价于只能进行有限次计算的图灵机。”
“不能被图灵机写下的不可计算数，同样也不可能被人类的大脑计算。”
“无论这个人是地球上的普通碳基生物，还是超越可观测宇宙边界，以亿万星辰为细胞的文明级生命体。”
知识就是力量，全知即是全能。
有些知识太过沉重，必须要无穷的信息和能量才能承载。
这些沉重的知识位于一切有限领域生灵的认知范围之外。
那里是一个明知存在，但却永远不可知晓具体形貌的未知黑暗领域。
开局人间体 游历万界的永生者 摘星手记 奥特曼之黑暗星纹 狙击战神 殡葬异事录 五浔之外 七零之重组家庭的小女儿 分开后偏执大佬缠上我了 山村大闲人 重生我的老婆是天后 恶魔天使 穿越之直上青云 我真不想修行啊 大梦王 我的室友不对劲 我媳妇是医圣传人 诡秘世界我能逢凶化吉 大乾佛主 特种兵：我成了全球特战教父
六零俏佳人
新书我家夫人又败家了已发求收藏，古代美食文，么么哒前世，盛夏怨恨家人的无情抛弃，为贺家人那群白眼狼付出所有，最后却落了个草席一裹，抛尸荒山的下场！重生回到悲剧尚未开始，盛夏发誓今生不会再将真心错付！哪怕吃树皮啃草根，她也要留在家人身边，同甘共苦！改写命运！一家人同心协力，走上致富的康庄大道！携手冷面男神...
开挂
不牛逼不拉风的低端业余玩家甄浪，被班花拒绝后，偶然得到一块来历神秘的智能芯片。从此，一个游戏界的传奇诞生了。那神一样的操作妖一样的走位魔一样的意识，令无数高端玩家失声惊呼挂了吧？事实证明，甄浪注定是泡不到班花的男人。因为，千姿百态的系花院花校花，风情各异的美女老师女神主播，纷纷闯进了他的生活火爆...
新风领地
...
快穿：炮灰打脸攻略
炮灰是什么？雪兰告诉你，炮灰是用来打别人脸的。凭什么炮灰就要为男女主的感情添砖加瓦，凭什么炮灰就要任人践踏？凭什么炮灰就要为男女主献上膝盖？凭什么炮灰就要成为垫脚石？炮灰不哭，站起来撸！本文男女主身心干净，秉持着宠宠宠的打脸原则，男主始终是一个人哦！...
修罗天帝
八年前，雷霆古城一夜惊变，少城主秦命押入青云宗为仆，二十万民众赶进大青山为奴。八年后，淬灵入武，修罗觉醒，不屈少年逆天崛起。给我一柄刀，可破苍穹，给我一柄剑，可指霄汉。金麟岂是池中物，一遇风云便化龙。当修罗子不死王雷霆战尊古海蛮皇等等一个个封号落在秦命身上，这个一身傲骨的少年踏天而行，带领一众挚友红颜，傲战八...
真香实录
作为一个无节操无底线无尺度的三无大龄少女，男人于她而言不过是解决生理需求的生活用品，所以她并不在意他们视她如玩物，将她介绍给别人，搂着名门千金假装不认识她，故意贬低她否认与她的情史，利用她欺骗她甚至当众羞辱她。她很懒，懒得跟无所谓的人计较太多。但，等她识趣地走人了还指望她乖乖躺回他们身下？他们以为全世界的男人只有他们才长了根能用的东西？她只想说，呵呵。Nph文，6个男主，有处有非处，伪骨科。已完结～感谢所有妹子们！...