有,而且这类例子在数学里其实很多,核心原因和物理很像:选取不同的基础公理,各自都能推出内部自洽、逻辑严密的完整体系,但公理本身互相矛盾,无法共存在同一套系统里。几个比较经典的例子:
欧氏几何 vs 非欧几何 这是最直观的类比。欧几里得的平行公设说"过直线外一点,只能作一条平行线"。19世纪罗巴切夫斯基和波约发现,如果把这条公设换成"至少有两条平行线"(双曲几何),或者黎曼提出的"没有平行线"(椭圆几何),同样能推导出一套完全自洽、没有逻辑矛盾的几何体系。三种几何在各自框架内都"正确",但三角形内角和分别等于、小于、大于180°,彼此不兼容。有意思的是,广义相对论里描述引力场的正是非欧几何(黎曼几何),这也算是数学和物理这两个类比案例的一次直接交汇。
选择公理(AC)vs 决定性公理(AD) 在集合论里,策梅洛-弗兰克尔公理系统(ZF)本身不能判定"选择公理"是真是假。加上AC,能推出很多强大有用的结果(比如每个向量空间都有基),但也会推出一些反直觉的东西,比如巴拿赫-塔斯基悖论(一个球可以分割重组成两个一样大的球)。如果换成"决定性公理"(AD),会得到另一套自洽但与AC不兼容的数学世界,AD下巴拿赫-塔斯基悖论式的结论不成立,但很多AC体系里的经典结果也随之失效。
连续统假设(CH)与其否定 哥德尔和保罗·科恩先后证明,连续统假设(实数集的基数是不是最小的不可数基数)在ZFC公理系统内既不能被证明,也不能被证伪——加上CH或加上¬CH,都能得到自洽的集合论体系。这意味着"实数到底有多大"这个问题,取决于你选择哪一套集合论宇宙来回答。
经典逻辑 vs 直觉主义逻辑 经典逻辑承认排中律(任何命题非真即假)和反证法。直觉主义逻辑不承认排中律普遍成立,只接受"构造性证明"。两者各自撑起了完整的证明体系和数学哲学,但直觉主义里很多经典定理(比如某些非构造性存在性证明)不成立。
大基数公理层级 集合论里有一系列"大基数公理"(不可达基数、可测基数、超紧基数等),形成一个强度递增的谱系,某些组合会彼此冲突或互相蕴含否定关系,数学家们至今仍在探讨哪一层"更接近真实"的数学宇宙。
这些例子跟你说的物理情形有一个共同的哲学意味:这些体系的"真假"不是靠体系内部逻辑判定的,而是取决于你选择接受哪些基础公理。物理学里量子力学和广义相对论的不兼容,某种意义上也是在等一个类似哥德尔式的"元定理"或者一个能统一两边公理基础的新框架(比如弦论或圈量子引力想做的事)。区别在于,物理体系的公理最终要接受实验检验,而数学体系的公理只需要保持逻辑自洽——这也是为什么数学能容忍更多"平行宇宙"般共存的不兼容体系,而不必争出唯一的"正确答案"。
No comments:
Post a Comment
Note: Only a member of this blog may post a comment.