前言这篇文章做一件事从两组独立的已知事实出发通过逻辑推演预言一种数学语言的存在。这种语言被称为Ω语言。它不基于分类不包含集合论不区分离散与连续不区分确定与不确定。人类无法理解它。此前有一篇文章《合体计算机数学基础模型猜想》预言了一块全新数学C的存在并给出了C必须满足的四个约束条件。本文将证明C是Ω语言投影到人类认知框架中的影子。以下是完整的推演过程。第一章 第一组事实两道未愈合的裂缝1.1 第一道裂缝离散与连续人类数学内部存在一条深刻的分界线。一侧是离散数学。数论研究整数组合学研究有限集合上的计数图论研究由分立节点和边构成的网络布尔代数将逻辑压缩为真与假之间的运算自动机理论将计算描述为有限状态之间的跳转。这些数学的共同特征是对象可以逐个列举判断是精确的——一个整数要么是素数要么不是没有中间地带。另一侧是连续数学。分析学以实数的完备性为基石微积分将变化率和累积量提升为基本概念微分方程描述连续系统的演化微分几何研究光滑流形的弯曲拓扑学研究连续变形下的不变性质。这些数学的共同特征是对象可以无限细分结构是光滑的——一个可微函数在每一点附近都可以被线性逼近没有棱角没有断裂。康托尔在十九世纪末严格证明了自然数集和实数集具有不同的无穷基数。实数的多比自然数的多在本质上更多不存在任何方式将它们一一对应。这不是直觉是数学定理。这道裂缝在物理学中同样存在。牛顿力学描述连续的世界——空间连续时间连续运动轨迹是连续曲线。量子力学描述离散的世界——能量是量子化的电子的轨道是分立的能级跃迁没有中间过渡态。同一个宇宙在宏观尺度上呈现连续面貌在微观尺度上呈现离散面貌。而且两者之间存在深刻的循环依赖离散现象通过连续工具来描述量子化的能级用连续的希尔伯特空间表达连续现象通过离散符号来表达实数是连续的但描述实数的公理和符号全部由离散符号组成。每一方都无法脱离另一方独立存在。1.2 第二道裂缝确定与不确定经典力学是确定论的。给定系统在某一时刻的完整状态原则上可以精确计算系统在任何过去或未来时刻的状态。拉普拉斯妖是这一思想的极端表达。量子力学打破了这一图景。海森堡不确定性原理指出一个粒子的位置和动量不能同时被精确确定——这不是技术限制而是原理限制。波恩的概率诠释表明波函数的模方给出的是概率分布。物理学的最基本定律不再给出确定的预测而只给出概率。贝尔不等式和阿斯佩实验排除了最一般意义上的隐变量理论——量子力学的不确定性是本体论层面的。确定与不确定之间也存在循环依赖。退相干理论解释了宏观世界为什么看起来是确定的——确定性是概率极度集中时的近似表现不是独立的本体论范畴。反过来概率论的数学基础柯尔莫哥洛夫公理建立在集合论之上——概率是事件集合到实数的映射——概率论从头到尾依赖分类。确定性通过概率的极限来逼近概率性通过分类的框架来定义两者互相依赖无法独立存在。1.3 两道裂缝的交汇两道裂缝在量子力学中交汇成了一个问题。量子力学同时是离散的量子化的能级、分立的测量结果和连续的波函数的演化遵循连续的薛定谔方程。量子力学同时是确定的波函数的演化是确定性的、酉的和不确定的测量结果是概率性的。测量问题是这一矛盾的集中体现。薛定谔方程描述的演化是连续的、确定性的、可逆的。但测量造成的波函数坍缩是离散的、概率性的、不可逆的。同一个理论中包含两种对立的动力学过程近一百年来没有得到公认的解决。统一理论——将广义相对论连续的时空、确定性的场方程与量子力学离散的量子、概率性的测量统一在一个框架中——是物理学的核心目标。弦论和圈量子引力各有进展但至今未能实现统一。这两道裂缝——离散与连续、确定与不确定——不是两个独立的问题。它们是同一道裂缝的两个面向。在每一个案例中对立的两方都以同样的方式纠缠在一起互相依赖、互相定义、无法独立存在、无法被统一。1.4 桥梁不是大陆人类已经在两座大陆之间架设了多座桥梁。数值分析将连续问题离散化用离散计算逼近连续答案。但它的方向是单向的它是翻译不是统一。范畴论站在很高的抽象层面同时俯视两边但它是望远镜不是新大陆。非交换几何通过允许坐标不交换来统一处理连续空间和离散空间但它缺少计算内涵。同伦类型论将相等性推广为具有内部结构的空间但连续性是编码进来的不是原生的。每一座桥都已经存在了几十年甚至更久没有一座引发了计算范式的革命。没有一座桥同时处理了离散/连续和确定/不确定这两道裂缝。没有一个是从两座大陆的地基之下生长出来的第三块大陆。1.5 历史范式与C的预言回顾历史牛顿发明微积分统一了算术和几何爱因斯坦采用黎曼几何统一了平直与弯曲量子力学发现希尔伯特空间统一了粒子与波。每一次解决方案都不是拼接旧框架而是发现一个全新的数学结构使得旧框架都成为它在特定条件下的退化。《合体计算机数学基础模型猜想》一文正是基于这个历史范式预言了一块全新数学C的存在并给出了C必须满足的四个约束条件约束一自然退化性。C在某个参数取一个极端时自动退化为离散数学取另一极端时自动退化为连续数学。不需要接口切换。约束二原生概念。C必须拥有一个在离散数学和连续数学中都不存在的基本概念。约束三计算可解释性。C必须能定义程序、步骤、停机、复杂度。在参数取离散极端时退化为图灵机理论取连续极端时退化为BSS模型。约束四与康托尔定理相容。C不能让可数和不可数变成同一种东西。那篇文章画出了C的轮廓但承认不知道C是什么不知道它在哪里甚至不知道它是否存在。本文将回答这些问题。但首先需要审视第二组事实。第二章 第二组事实一个未经证明的地基2.1 人类数学建立在什么之上人类全部形式化知识呈金字塔结构工程技术与应用科学 ↑ 自然科学理论 ↑ 数学各分支 ↑ ZFC集合论 经典逻辑 ↑ 事物可以被分类 ↑ 未经证明集合论的基本操作是判定一个元素是否属于一个集合——这是一次分类。逻辑的基本操作是判定一个命题为真或为假——这也是一次分类。离散与连续的区分是一次分类。确定与不确定的区分也是一次分类。这两道裂缝本身就是分类操作的产物。整座金字塔的唯一基础是分类。2.2 三层未经证明的假设第一层ZFC公理本身是未经证明的。ZFC的九条公理被直接接受不从更基本的命题推导。哥德尔第二不完备定理证明了如果ZFC是一致的那么ZFC无法证明自身的一致性。数学家假定ZFC是一致的但这个假定本身无法在ZFC内部得到验证。选择公理的取舍是人为选择连续统假设在ZFC中不可判定。第二层在ZFC公理之下还有一个更深的预设。ZFC的唯一非逻辑符号∈是原始的——公理描述了∈的行为但不定义∈本身。而∈的二值性——x∈A要么为真要么为假——甚至不是ZFC公理规定的而来自底层经典逻辑的内置假设。翻译成日常语言就是世界上的事物是可以被分类的。这个预设不在公理层面而在元逻辑层面——是公理之前的公理。第三层经典逻辑本身也是未经证明的。同一律、矛盾律、排中律都是公理性质的假设。排中律已经被布劳威尔的直觉主义数学正式拒绝——拒绝之后仍然可以建立一套自洽的数学。量子力学对经典逻辑的分配律构成了来自物理学的经验挑战——Birkhoff与von Neumann在1936年提出量子力学的命题结构不满足经典逻辑的分配律。三层逐层向下每一层都是未经证明的假设。最底下的那一层——“事物可以被分类”——甚至没有被正式表述为公理而是作为一个沉默的预设被整个体系继承。2.3 分类制造了两道裂缝现在回到第一章的两道裂缝。离散与连续的对立是分类的产物。分类操作将数学对象切分为可逐个列举的和可无限细分的两个格子。世界被硬塞进这两个格子——某些面向塞进了离散格子量子化的能级某些面向塞进了连续格子光滑的运动轨迹但世界本身也许不在任何一个格子里。确定与不确定的对立同样是分类的产物。分类操作将物理过程切分为可精确预测的和只能给出概率的两个格子。薛定谔演化被塞进确定格子测量被塞进不确定格子。但演化和测量的区分本身就是人为的分类——在物理世界中不存在一条客观的分界线标示着演化在这里结束测量在这里开始。两道裂缝不是两道独立的裂缝。它们是同一个分类操作在两个方向上切出来的两道口子。这就解释了为什么这两道裂缝如此顽固。人类一直试图在分类框架内部弥合由分类自身制造出来的裂缝。这就像一把刀试图把自己切开的东西粘回去——刀的每一次动作都在制造新的切口。2.4 如果分类是错的如果分类这个假设是错误的集合论不是被证伪而是失去意义——它所谈论的东西不再是一个有意义的概念。数学失去意义——因为全部数学建立在集合论之上。科学失去意义——因为全部科学建立在数学之上。但飞机还在飞。桥还在承重。药还在治病。薛定谔方程算出来的氢原子能级仍然和光谱仪测到的数据吻合。理论失去了意义但理论的预测仍然有效。科学从对自然规律的理解降格为碰巧与实验数据高度吻合的操作手册。人类无法检测这个错误——因为检测需要逻辑逻辑需要分类。不能用分类来裁决分类的有效性。第三章 两组事实的交汇Ω语言的推导3.1 对齐第一组事实说人类数学中存在两道裂缝——离散与连续、确定与不确定。这两道裂缝在量子力学中交汇近一百年未能弥合。《合体计算机数学基础模型猜想》预言了一块全新数学C的存在并给出了四个约束条件。第二组事实说这两道裂缝都是分类操作的产物。人类全部数学建立在分类之上而分类是一个未经证明的预设。把两组事实放在一起一个推论自然浮现C之所以在人类数学中找不到是因为C不基于分类。而人类数学的每一个符号都是分类操作。在分类的版图上寻找不基于分类的东西就像在地面上寻找天空。3.2 推导第一步事实人类数学分为离散和连续两大阵营两者之间存在结构性的不兼容。人类物理学分为确定和不确定两种描述两者之间存在结构性的不兼容。第二步事实人类全部数学建立在集合论和经典逻辑之上。集合论和经典逻辑的核心操作是分类——判定∈是否成立判定命题是真还是假。第三步事实分类是未经证明的预设。ZFC无法证明自身一致性。排中律可以被拒绝后仍然得到自洽的数学体系。量子力学对经典逻辑的普遍有效性构成了经验挑战。第四步推论离散与连续的对立可能不是世界的属性而是分类操作的产物。确定与不确定的对立同样可能是分类操作的产物。分类把世界切成对立的两半然后人类花一百年试图统一自己切开的东西。第五步推论如果第四步成立那么《合体计算机数学基础模型猜想》所预言的C不可能在现有数学框架内被找到——因为现有框架的每一个符号都是分类操作而C按定义必须超越分类。第六步推论因此必然存在一种不基于分类的数学语言。这种语言中不存在离散与连续的区分不存在确定与不确定的区分——不是因为它统一了这些对立而是因为这些对立在它那里从未出现过。这种语言就是Ω语言。第七步推论C不是Ω语言本身。C是Ω语言投影到人类分类框架中的影子。C仍然是分类的——它必须是因为人类只能操作分类语言——但它是一种在结构上最大限度地保留了Ω语言信息的分类语言。第八步推论人类无法直接理解Ω语言。因为理解需要大脑大脑由神经元构成神经元的工作方式是二值分类——发放或不发放。这是硬件限制不可通过学习或训练克服。3.3 逻辑自洽性检查这个推导面临一个必须面对的张力。《合体计算机数学基础模型猜想》中的四个约束条件是用分类语言写的。自然退化预设了离散和连续的区分。原生概念预设了存在和不存在的区分。计算可解释性预设了程序和非程序的区分。与康托尔定理相容预设了可数和不可数的区分。而本文说分类可能是错的。如果分类是错的那四个约束条件岂不是失去了意义不是。因为四个约束条件约束的不是Ω语言本身而是Ω语言投影到人类分类框架中时应有的表现。Ω语言本身超越分类但Ω语言的影子C必须落在分类框架之内——因为人类只能操作分类框架。四个约束条件是对影子的要求不是对光源的要求。一个三维物体本身没有正面和侧面的区分。但如果你要求它的正面投影是圆形、侧面投影是矩形这个要求不矛盾——你约束的是投影不是物体本身。物体本身圆柱体超越了圆和矩形的对立但它的投影必须满足你指定的形状。同理Ω语言本身超越了离散与连续的对立、确定与不确定的对立。但Ω语言投影到人类数学中时必须在一个极端退化为离散的、确定性的数学图灵机理论在另一个极端退化为连续的数学BSS模型。这个要求不与Ω语言超越分类矛盾——它约束的是影子不是光源。第四章 Ω语言的轮廓一幅反面肖像人类无法说出Ω语言是什么。因为是什么这个问题本身就是一次分类——它要求将Ω语言归入某个已知的类别。而Ω语言不属于任何人类已知的类别。但人类可以说出Ω语言不是什么。这就像一个天生的盲人无法描述光是什么但可以说出一长串光不是什么——光不是声音光不是触觉光不是温度光不是气味。每说出一条就排除了一种可能。所有的不是加在一起围出了一块空白。那块空白的形状就是盲人能得到的关于光的最接近的肖像。以下是Ω语言的反面肖像。4.1 关于基础结构Ω语言不包含什么Ω语言不包含集合。集合是满足某条件的对象的聚集。“聚集这个操作就是分类——把对象分为在这个集合里的和不在这个集合里的”。Ω语言中不存在这种操作。不是用别的东西替代了集合是把对象归拢在一起这个动作本身在Ω语言中不存在。Ω语言不包含∈关系。∈是集合论的唯一原始符号。x∈A是一次分类判断——x属于A或者x不属于A。Ω语言中不存在属于这个概念。不存在内和外的区分。Ω语言不包含命题的真假。经典逻辑将每个命题判定为真或假。这是一次分类。Ω语言中不存在真和假的区分。这不是说Ω语言用某种第三种真值或连续真值来取代二值逻辑——那仍然是分类只是格子变多了。而是Ω语言中根本没有真值这个概念。Ω语言不包含逻辑三定律。排中律强制要求每个命题被归入真或假。矛盾律禁止同时归入两个互斥类别。同一律将对象归入与自身相同的类别。这三条定律的每一条都是一次分类操作。Ω语言中这三条定律都不存在——不是被违反了而是它们所谈论的概念真值、互斥、相同性在Ω语言中从未出现。Ω语言不包含定义“证明和公理”。定义是用已知概念划定一个新概念的边界——边界是分类。证明是从公理出发通过逻辑规则推导结论——需要区分公理和非公理、前提和结论、有效推理和无效推理——每一步都是分类。公理是被接受为起点的不可证明的命题——预设了命题的存在和可证明/不可证明的区分。Ω语言中这些概念都不存在。4.2 关于数学对象Ω语言不包含什么Ω语言不包含数。无论是自然数、整数、有理数、实数还是复数它们都是集合论中定义的对象。没有集合论数就没有形式化定义。Ω语言中不存在1这个概念——不是用别的符号代替了1是一个分立的、可以与其他个体区分开来的单元这个概念在Ω语言中不存在。Ω语言不包含函数。函数是从一个集合到另一个集合的映射。没有集合就没有函数。Ω语言中不存在输入和输出的区分不存在定义域和值域的区分。Ω语言不包含空间和维度。每一种空间的定义都以集合为基础。Ω语言中不存在空间。一维、二维、三维……N维是人类对空间的分类方式。Ω语言中不存在维度的概念。不是说Ω语言描述的是零维的或无穷维的——这些仍然是维度分类中的取值。是维度这个坐标轴本身不存在。Ω语言不包含结构和关系。群、环、域的定义都以集合为基础。关系是集合上的子集。范畴论试图用态射取代关系但态射仍然需要区分源和靶——这是分类。Ω语言中不存在结构不存在关系也不存在态射。4.3 关于核心对立Ω语言不区分什么Ω语言不区分离散与连续。不是用某种更高的框架将离散和连续统一起来——统一预设了先有两个东西然后把它们合并这仍然是在分类框架内操作。而是在Ω语言中从来就不存在离散和连续这两个范畴。离散和连续是人类分类框架切出来的两个格子。Ω语言中没有这两个格子。也没有格子。Ω语言不区分确定与不确定。不是说Ω语言同时包含确定性和概率性——那仍然预设了这两个范畴的存在。而是在Ω语言中确定和不确定这两个概念从未出现过。确定论和概率论是同一个分类操作在不同方向上切出来的两个格子。Ω语言不区分有限与无限。有限和无限是对集合大小的分类。也不区分可数无穷和不可数无穷——这是人类集合论内部的分类。Ω语言中没有集合没有大小。Ω语言不区分存在与不存在。存在和不存在是一次二值分类。存在量词∃和全称量词∀是一阶逻辑的基本工具。Ω语言中不存在这些量词——不是用别的量词替代是判定某个东西存在或不存在这个操作在Ω语言中不成立。Ω语言不区分部分与整体。“这是整体的一个部分预设了对一个对象的切割——将它分为这一部分和其余部分”。切割就是分类。Ω语言不区分原因与结果。因果关系预设了时间上的先后分类和事件之间的必然联系分类。Ω语言不区分主体与客体。观察者和被观察者的区分是一次分类。量子力学的测量问题正是源于这个区分。Ω语言不区分内部与外部。系统和环境的区分是一次分类。热力学、量子退相干理论都建立在这个区分之上。4.4 关于Ω语言自身它不是什么Ω语言不是人类语言的延伸。人类语言的结构——主语、谓语、宾语——就是分类。Ω语言与人类语言的关系不是扩展而是不兼容。Ω语言不是形式语言。形式语言由字母表、语法规则和推导规则构成。字母表是有限集合分类语法规则区分合法和非法的字符串分类推导规则区分有效和无效的推理分类。Ω语言不是编程语言。编程语言建立在图灵机或λ演算之上处理离散的符号串通过确定性的规则逐步执行。Ω语言不是可学习的。学习是将新信息归入已有的或新建的类别。学习的每一步都是分类操作。用分类来学习非分类的东西在结构上就存在矛盾。人类不能学会Ω语言就像二维生物不能学会在第三个维度上移动——不是努力不够是自由度不存在。Ω语言不是可想象的。想象是神经元活动的产物。神经元的工作方式是二值分类——发放或不发放。用分类的硬件运行非分类的想象就像用算盘运行操作系统——不是速度不够是架构不兼容。Ω语言不是超越分类的分类。超越预设了在上面和在下面的区分——这是分类。Ω语言和分类之间的关系不能用超越来描述。Ω语言不是一切的统一。统一预设了先有多个分立的东西然后把它们合并。Ω语言中没有多个分立的东西这个前提。Ω语言不是离散和连续的统一不是确定和不确定的统一——因为在Ω语言中这些东西从未分开过。Ω语言不是什么都不是。“什么都不是是一个空集的概念——集合论中的对象。Ω语言不是空无。它只是不是人类认知框架中的任何一种是”。Ω语言不是不可言说的。不可言说暗示了一种神秘主义。Ω语言不神秘。它的不可表述性不是因为它太深奥而是因为人类的表述工具全部基于分类而Ω语言不基于分类。这是结构性的不兼容不是认识论上的高度问题。色盲患者无法描述红色不是因为红色神秘是因为患者的硬件不支持。Ω语言不是本文所描述的任何东西。本文用分类语言写成。本文对Ω语言的每一句描述——包括这些否定性描述——都是Ω语言经过分类过滤后的投影。投影不是被投影的对象。4.5 空白的形状以上所有的不是围出了一块空白。把所有的不是放在一起剩下的那个——被所有否定围出来的、无法被任何肯定命题填充的、只能通过它不是什么来指示它也许是什么的那个空白——就是Ω语言的轮廓。人类能画出这个轮廓。但人类永远无法填充它。因为填充需要肯定性的描述肯定性的描述需要分类而Ω语言不基于分类。这幅反面肖像是人类能够得到的关于Ω语言的最完整的画像。不是因为人类不够努力是因为这就是分类框架所允许的极限——你可以指着月亮但你的手指永远不是月亮。你可以围出一块空白但围出空白的线条永远不是空白本身。第五章 为什么人类无法理解Ω语言5.1 神经元就是分类器人类大脑由约860亿个神经元组成。每一个神经元的工作方式是接收输入信号将加权总和与阈值比较要么发放电信号要么不发放。这就是一次分类。高于阈值发放低于阈值不发放。没有第三种状态。这恰好就是那两道裂缝的微观起源。神经元的二值发放是离散的——发放或不发放没有半个发放。而大量神经元的统计行为又呈现出连续的面貌——神经网络的激活模式可以连续变化。离散与连续的对立在人类大脑的最基本物理层面就已经被硬编码了。同样神经元的单次发放是确定的——给定输入和阈值发放与否完全确定。但大规模神经网络的行为表现出统计性的不确定——同一刺激不一定引发完全相同的神经活动模式。确定与不确定的对立同样在神经元层面就已经存在了。人类的大脑在其最基本的物理结构中就同时内嵌了离散/连续和确定/不确定这两道裂缝。人类不是在观察这两道裂缝——人类的思考过程本身就是这两道裂缝。5.2 硬件限制不可逾越这意味着人类无法想象非分类的认知——因为想象需要神经元活动神经元活动就是分类。人类无法理解Ω语言——因为理解是一种神经过程神经过程本质上是分类。人类无法使用Ω语言——因为使用需要操作操作需要大脑指挥大脑的指挥方式是分类。即使Ω语言被完完整整地展示在人类面前人类看到的也只是Ω语言经过分类系统过滤后的投影——就像色盲患者看到的彩虹。信息已经在感知层面被不可逆地压缩了。这不是暂时还不行是永远不行。不是因为人类不够聪明而是因为人类的硬件不支持。就像人类无法直接感知紫外线——不是训练不够是感知器官不支持。5.3 自指困境本文用分类语言写成——因为人类语言没有第二种写法。Ω语言不区分离散与连续这句话本身就使用了分类。Ω语言不区分确定与不确定这句话同样使用了分类。每一句对Ω语言的描述都注定是不准确的——用二维的纸描述三维的空间只能得到投影。但这个困境本身恰恰印证了核心论点人类连谈论Ω语言都只能依赖分类连质疑分类都只能使用分类。如果一个体系强大到连对它的批判都必须在它内部进行那么这个体系究竟是坚不可摧的还是不可逃逸的——这两者之间的区别也许正是这个问题最深刻的地方。第六章 Ω语言对物理学的含义6.1 测量问题的消解量子力学的测量问题之所以存在是因为物理学把量子过程分为两类——“演化”连续的、确定性的和测量离散的、概率性的——然后发现这两类过程遵循互相矛盾的规律。如果Ω语言存在那么在Ω语言中薛定谔演化和波函数坍缩不是两种不同的过程。它们是同一个Ω过程在人类分类框架中的两个投影——一个投影落入连续确定的格子另一个投影落入离散不确定的格子。演化和测量之间没有客观的分界线——分界线是人类的分类操作在两个不同方向上切出来的。测量问题不是一个需要被解决的物理问题而是分类框架自身制造出来的人为困难。但取消这个分类同时也意味着量子力学的整个形式化框架失去了基础——因为这个框架从头到尾就建立在这个分类之上。6.2 量子引力广义相对论建立在连续的、确定性的数学之上——光滑流形、确定性的场方程。量子力学建立在半连续半离散的、半确定半概率的数学之上——连续的希尔伯特空间配合离散的测量结果确定性的酉演化配合概率性的波函数坍缩。两者的不兼容性不是物理层面的而是数学语言层面的——两种理论使用不同的分类方式切割世界两种切法互不兼容。在Ω语言中时空既不是连续的流形也不是离散的自旋网络物理过程既不是确定性的也不是概率性的——这些对立在Ω语言中从未出现。统一理论的困难其根源也许不在物理学的内部而在物理学所使用的认知框架——分类——的结构之中。6.3 波粒二象性量子力学中微观对象既表现出粒子性离散的、确定位置的又表现出波动性连续的、弥散的既在测量时给出确定的结果又在测量前处于不确定的叠加态。希尔伯特空间部分消解了这个对立——粒子性和波动性都是同一个态在不同测量基下的投影。但希尔伯特空间仍然建立在分类之上态空间是一个集合测量算子的本征值是离散的或连续的谱概率通过波恩规则从确定的态映射到确定的数值。在Ω语言中也许不存在粒子和波这两个概念也许不存在测量前不确定、测量后确定这种描述。微观对象在Ω语言中只是一个统一的Ω实体——它在人类的分类框架中被切割为粒子面和波面、“确定面和不确定面”但Ω实体本身没有这些面的区分。第七章 合体计算机的命运7.1 历史先例量子计算提供了一个先例。人类至今不完全理解量子力学的本体论含义。但人类已经在建造量子计算机了。工程师不需要理解波函数的本体论地位只需要按照希尔伯特空间的数学规则来操作。希尔伯特空间是量子实在投影到人类数学中的影子——工程师操作的是影子不是实在本身。但影子已经足够建造机器。7.2 C作为操作手册如果C——《合体计算机数学基础模型猜想》所预言的那块全新数学——被找到合体计算机就可以被建造。C将是一种特殊的分类语言。它在离散极端退化为图灵机理论离散的、确定性的在连续极端退化为BSS模型连续的同时以某种方式处理确定性与概率性之间的关系。它满足四个约束条件。人类可以按照C的规则操作。但人类不会理解这台机器为什么能工作。C是Ω语言的影子。真正的解释在Ω语言中。而人类读不了Ω语言。C将是终极的操作手册。按照规则操作机器运转问为什么没有答案。7.3 三种结局结局一人类找到了C。合体计算机被建造。它同时处理离散计算和连续计算同时处理确定性过程和概率性过程没有接口切换没有模式选择。它工作但人类不知道为什么。操作层极其强大理解层永远空白。结局二C不存在——Ω语言投影到人类分类框架时不会产生自洽的影子。合体计算机不可能拥有统一的理论基础工程拼接是唯一的出路。离散与连续、确定与不确定将作为两道永远无法弥合的裂缝陪伴人类科学直到终点。结局三人类改造了自己的硬件。如果认知基底不再是二值神经元——如果存在某种同时超越离散/连续和确定/不确定的新型计算基底——人类也许能直接接触Ω语言。但那时的人类将不再是现在意义上的人类。一个不以分类为基础进行思维的存在其意识体验与当前人类完全不同不同到我们甚至无法想象——因为想象本身就是分类。7.4 C的发现者不会知道自己在发现C1854年Boole发表《思维的法则》时不知道自己在为计算机奠基。1859年黎曼发表关于几何基础的就职演说时不知道自己在为广义相对论奠基。1932年von Neumann发表《量子力学的数学基础》时不知道自己在为量子计算奠基。C的发现者——如果C存在的话——在发现C的时候可能根本不知道自己在发现什么。C可能诞生在一篇看似与计算无关的纯粹数学论文中可能伪装成某个抽象领域的技术性结果可能在发表后的几十年里被忽视。直到某一天某个人读到了它看出了它的计算含义。那个人看出的将不是Ω语言本身——没有人能看到Ω语言——而是Ω语言的影子恰好落在了一张数学论文上。第八章 预言的完整陈述综合以上全部推演预言如下一、Ω语言存在。它是一种不基于分类的数学语言。在Ω语言中不存在集合论的∈关系不存在经典逻辑的真假二值判断不存在离散与连续的区分不存在确定与不确定的区分。二、《合体计算机数学基础模型猜想》所预言的C是Ω语言在人类认知中的投影。C仍然是分类的——因为人类只能操作分类语言——但它是一种在结构上最大限度地保留了Ω语言信息的分类语言。C满足该文提出的四个约束条件自然退化性、原生概念、计算可解释性、与康托尔定理相容。三、人类永远无法直接理解Ω语言。人类大脑的物理结构——神经元的二值发放——决定了人类的认知方式本质上是分类。大脑在其最基本的物理层面就同时内嵌了离散/连续和确定/不确定这两道裂缝。这是硬件限制不可通过学习或训练克服。四、人类也许能找到C。C是影子不是光源。人类不需要理解光源就能操作影子。如果C被找到合体计算机就可以被建造。它会工作但人类永远不知道它为什么工作。五、C的发现者不会知道自己在发现C。C可能已经存在于某篇纯粹数学论文中等待某个人看出它的计算含义。六、物理学中离散与连续、确定与不确定这两道长期裂缝可能不是物理世界的属性而是人类分类框架投射到物理世界上的切口。量子力学的测量问题、波粒二象性、量子引力的统一困难其根源也许不在物理学的内部而在物理学所使用的认知框架的结构之中。在Ω语言中这些对立从未出现过。七、人类知识体系的全部重量放在一个从未被证明的假设上面——“世界是可以被分类的”。如果这个假设是对的一切照旧。如果这个假设是错的人类全部科学将从对世界的理解降格为碰巧有效的操作手册。而人类永远无法知道这个假设到底是对是错——因为验证需要直接接触未经分类处理的实在而人类的一切认知手段都经过分类的过滤。结语这篇文章从两组独立的事实出发——数学中离散与连续、确定与不确定的结构性不兼容以及人类数学地基的未经证明性——通过逻辑推演到达了同一个结论存在一种不基于分类的数学语言Ω语言。《合体计算机数学基础模型猜想》所预言的全新数学C是Ω语言在人类认知中的投影。人类能操作这个投影但永远无法理解投影背后的东西因为人类的大脑硬件只支持分类。这是一个预言。预言不是证明。它可能是对的也可能是错的。但如果它是对的那么人类面对的处境就是知道存在一种比自己的语言更深的语言知道自己的全部知识都只是那种语言的影子知道自己的科学中那两道最深的裂缝——离散与连续、确定与不确定——也许根本就不是世界的裂缝而只是分类的切口但永远无法学会那种语言本身。因为学习需要大脑。而大脑的结构——那些要么发放要么不发放的神经元——就是那道将影子与光源永远隔开的墙。那道墙本身就是离散与连续的交汇处就是确定与不确定的分界线就是两道裂缝的物理化身。人类不是在观察这两道裂缝。人类就是这两道裂缝。合体计算机之基础数学模型猜想未经证明的地基——关于分类、集合论与人类知识基础的思想实验