数学，是宇宙自带的真理， 还是人类自己定的一套规矩？

数学是发现，还是发明？——从分球怪论到形式化验证的一场本体论追问 深度研究 · 数学本体论 · 费曼视角 数学，是宇宙自带的真理，还是人类自己定的一套规矩？ 从一个"绝对不可能"的问题出发：一个球，真能切成几块、再拼成两个球吗？我们一路追到数学最底层，再回到当下——当 AI 与 Lean 开始重新检查人类的证明。 1 实心球 切 5 块 5 块（不可测） 旋转·平移 1 1 两个球（半径同原） 图：Banach–Tarski 悖论之示意——不增不减物质，仅借"无限"重组。 先说清楚：这不是魔术，也不是谎言。这是一个被严格证明的数学定理，名字叫 Banach–Tarski 悖论。它怪，是因为它反的是你我对"体积""切分""拼回"的直觉——可它一点没违反逻辑。 我以费曼之镜片与你聊此事：先不背结论，先把"它到底在说什么"搞明白。搞不明白，就承认搞不明白——这比装懂强。 一一个球，如何变成两个？ 1924 年，波兰数学家 Stefan Banach 与 Alfred Tarski 联名发表了一篇论文，题目很长，大意是"论点集可分解为彼此全等之部分"。结论却短得吓人： 给定三维空间中的一个实心球，可将其分解为有限块（最少五块）互不相交的子集，仅经旋转与平移（不加不减一点物质），重新拼成两个与原球半径相同的球。 更狠的还有"强形式"：任意两个三维里有"内部"的实心物体——比如一颗豌豆与一颗太阳——都能互相切碎重组。俗称"豌豆变太阳"。 你第一反应大概是：这不可能，体积守恒啊。对，你没错，是你的"体积"概念在这里失效了。那五块碎片，不是普通意义上的"一块肉"——它们是点集，碎到用任何现实的小刀都切不出来。数学上管它们叫不可测集：它们没有"通常意义的体积"。Fragment 没有体积，自然也就无所谓"体积翻倍"。这就像跟你玩文字游戏说"我把一叠纸复印成了两叠"——前提是我先把纸撕成了无法计量的雾。 费曼插话 注意，这悖论的"诡计"不在几何，在无穷。它靠的是旋转群里藏着一种叫"自由群"的结构（三维以上才有），再借选择公理去挑那些无法具体写出的点。去掉这些，把球切成有限块再拼成两个——在现实里、在一维二维里——都做不到。所以别急着说"数学疯了"。数学没疯，是你我从小认的"切蛋糕"模型，碰上无穷就露了底。 一个有意思的史实：Banach 与 Tarski 当年做这个证明，本意是想证明选择公理是错的——他们觉得"能切球成双"太荒唐，必是公理之过。结果呢？证明太自然，数学界反而不甩锅给公理，只当它是"选择公理会导出反直觉后果"的一例。公理活下来了，悖论也活下来了。 演示 · 选择公理这道开关 Banach–Tarski 之成立，关键在"选择公理（AC）"。把它关掉，怪论会消失吗？拨一下看。 选择公理：开 AC 开 → 可构造不可测集 → Banach–Tarski 定理成立（球可变两个）。 二0.999… = 1：当"无限"第一次让你不安 比起分球，这行等式更日常，也更招人怀疑： 0.999… = 1 "明明差一点点嘛！"——这是直觉在说话。可直觉在这里，用的还是"有限小数"的尺子。0.999… 不是"越来越靠近 1 但永远差一点"，它是把那串 0.9, 0.99, 0.999, … 的极限，直接定义成一个数。而那个极限，恰好是 1。 换个角度想"稠密序"：若两实数不同，它们之间必能再塞进一个数（比如平均数）。可在 0.999… 与 1 之间，你塞不进任何实数——因为不存在任何"比 0.999… 大、又比 1 小"的小数。塞不进，就只能认它们本是一数。这就像 1/2 与 2/4 写法不同，值却相同。 演示 · 看它一步步贴上 1 每走一步，多写一个 9；注意它与 1 的距离如何缩小。 再走一步 归零 当前：0.9 ｜ 距 1 还差：0.1 更深的真相在底下：实数本身，是 19 世纪才被认真"盖好地基"的。Dedekind 与 Cantor 在 1872 年各自给出实数的严格构造（分割与 Cauchy 序列）。在那之前，"实数是什么"并不真的清楚。0.999… = 1 之所以成立，是因为我们选了那套让"无穷小数序列"有确定意义的构造。换一套构造，这个故事可能重写——这已经悄悄指向本文的核心悬念了。 三莱布尼茨的无穷小，与它的两百年流放 牛顿与莱布尼茨发明微积分时，靠的是一种暧昧的东西：无穷小——比任何正数都小、却又不为零的量。莱布尼茨管它叫"已逝量的鬼魂"。大主教 Berkeley 狠狠嘲笑过：" ghosts of departed quantities"（消失量的幽灵）。这嘲讽不无道理：你说它不为零，可它又小到没法用。靠这种东西撑起的微积分，虽好用，根基是晃的。 19 世纪中叶，Weierstrass 等人用 ε–δ 极限语言把无穷小逐出了数学。此后近两百年，微积分课上再无"无穷小"，只有"任给 ε>0，存在 δ>0…"。干净， rigorous，却也丢了莱布尼茨那份直觉的轻盈。 然后，1960 年前后，逻辑学家 Abraham Robinson 干了一件漂亮事：他用模型论（一套关于"形式语言与结构"的逻辑工具），严格造出了一个放大的数系——超实数 *R，里头既有标准实数，又有真正的无穷小 ε（满足 0