追本之箭 — 决断

2026-07-04 Fri 01:00 · Fable 重写

起点

"一个决断如果没有穿过无可决断之折磨，那它将不可能是一个自由的决断，它只会是程序化的应用或一个计算好的过程的展开。" —— 雅克·德里达（Jacques Derrida）

现代人的默认信念是：信息越足、分析越透，决断越好。那股"折磨"，是还没想清的症状，该被更多数据消除。

德里达把它翻了过来：算得清的地方没有决断，只有执行；自由住在计算算不尽的残差里。

但注意题面里藏着的软肋——德里达给出的是一个哲学断言。断言可以被当成品味：你完全可以耸耸肩说"我不信大陆哲学"，然后回去继续做 Excel。只要"残差消不掉"仅仅是一种深刻的说法，整套决断理论就悬在半空。

所以这支箭真正要钻的问题只有一个：

"算不尽"到底是修辞，还是定理？

如果它能被证明——用图灵和哥德尔的那种证明——那么自由就不再需要你信。

它是被推出来的。

第一层：一台决策机器的三个进料口 —— argmax 不能自举

任何"选择"，标准形式就一行：

a* = argmax_{a∈A} Σ_s P(s) · U(a, s)

要跑这行代码，得先喂三样东西：A（有哪些选项）、P（世界各种走法的概率）、U（什么算好）。

三样喂齐，argmax 本身零自由——输出唯一（平票时骰子可解）。执行层没有决断。

而德里达那种"计算到底也消不掉的剩余"，恰好一一对应三个进料口的缺口：

• U 的缺口·不可公度：自由 vs 安全、留下照顾母亲 vs 奔赴前线（萨特那个著名的学生）。多目标优化给你的不是一个解，是一条 Pareto 前沿——前沿上每个点都"不劣"。要从前沿上选出一个点，必须给各目标配权重，而权重不在优化问题内部，只能从外面注入。
• P 的缺口·未来无数据：决断朝向不可逆的未来，而未来的频率定义上还没发生。统计决策论里有个冷酷的定理（Wald 的完全类定理）：每一条可采纳的决策规则，都等价于某个先验之下的贝叶斯规则——定理到此为止，没有任何定理替你挑那个先验。
• A 与 P 的缺口·反身：你的选择改写你正在算的那个世界（ 价格 的操纵函数）。计算预设"被算对象独立于计算"，反身处这个前提破了。

结论：计算不能自举。每台 argmax 机器都有三个必须从外面喂进来的参数。

折磨，是你发现自己站在进料口外面——机器等着你，而你身后没有更大的机器。

第二层：元计算的回归 —— "算够了没有"没有算法

试试看。"选 U"本身是个决策问题，所以它需要自己的效用函数 U₁；选 U₁ 需要 U₂……每上一层，问题原样复制一遍。回归不收敛，只是把进料口往后挪。

换个更现实的切口。你不能无限算：思考有成本，时间在计价——错过本身就是一种被做出的决定（ 漂流 的水流不等人）。所以真正的问题变成"算到哪一步停"。I. J. Good 把这叫第二类理性：把思考的成本也算进理性。但它立刻撞上同一堵墙——计算"该算多久"本身也要花时间，于是"该算多久"又有它自己的"该算多久"……

而在最底层，图灵 1936 年把这件事钉死了：

不存在通用算法，能判定任意一段计算会不会停。

"再算算，答案会自己变清楚"——这句话在逻辑上没有任何担保。有些计算永不收敛，而且你无法从内部预先知道，你手头这次是不是那种。

所以每一次真实的决断里，都藏着一个没被计算的动作：停。

停不是算出来的——凡是算出来的停，都需要下一层计算来批准它。

回归必须在某处被一刀切断，而那把刀，定义上不能来自回归内部。

第三层：对角线 —— 你算不完一个包含你自己的系统

先堵住最后一条退路："让更强的算力、让别人、让 AI 来切这一刀。"不行。因为残差里最深的一种，来自自指，而自指对算力免疫。

你要决断的世界包含你。要算清这个世界，就得算清你自己接下来会怎么算——预测器必须先输出自己的预测，才能预测包含这个预测的世界，而输出本身又改变了世界……它永远追不上自己。波普尔把这个论证用在历史主义上：任何预测器都不可能及时预测自己未来的预测。这不是算力问题——算力加倍，要追的那个自己也加倍。

这和第二层其实是同一个数学动作的不同面孔：对角线。图灵的停机问题、哥德尔的不完备定理，内核都是——系统一旦自指，必然产生它自己够不着的点。哥德尔：任何足够丰富且一致的形式系统，内部存在真但不可证的命题。而一个给自己的人生下判断的人，正是这样一个系统在处理它自己（ 我是个怪圈 ）。

「不可判定」（undecidable）这个词，在数学里有一个比德里达更早、更硬的主人。到这里，哲学断言换成了定理：

只要决断者在被决断的世界之内，残差就有一个大于零的下界。

它不是"信息还不够"的暂时状态——它是自指系统的守恒量。

于是原来那个反转，也从修辞升级成推论：残差 = 0 只在一种情况下成立——你不在你所决断的世界里。一个能被算尽的人生，前提是没有人在过它。

第四层：公理的位置 —— 那一刀不是缺陷，是地基

看数学自己是怎么消化这个创伤的。哥德尔之后，数学没有崩溃——它承认：每个形式系统都立在一组系统自己无法证明的公理上。公理不是证明的失败，是证明的前提：推理链必须终止在无根据处，否则根本没有链。

决断，就是给"你"这个系统立公理的动作。

这一下就把武断和决断分开了——不用"负责任"这类道德词，用结构：

骰子绕过计算；公理穿过计算——德里达那个"穿过而非跳过"，在这里获得了精确含义：一条公理必须与你穷尽计算得出的一切相容，并让它们组成一个能继续往下推的整体。这就是为什么不做功课的拍板不是决断：它立的"公理"不背负任何已被算出的东西，轻得没有后承。

克尔凯郭尔说决断的瞬间是一种疯狂（德里达反复引用）。现在可以给"疯狂"一个冷的定义：公理在系统内部看永远像疯狂——因为系统里没有它的证明，也永远不会有。

对称的陷阱也在此现出原形：住在折磨里不落子的人，是在试图把公理证明出来。

而这正是被定理禁止的那件事。所以——

优柔寡断不是谨慎。它是在跑一个已被证明不会停机的程序，还把机器的嗡嗡声当成了思考。

终点：一个判据，一个补丁

判据一问：我缺的是数据，还是公理？

• 缺数据：在当前的 U 和先验下，还有信息可获取，且获取成本小于期望改善。→ 去算。别喊"这是自由的折磨"——那是给偷懒镀金。这条边界可以当场核对：你必须说得出要查什么、查到什么结果会改变选择，才算真缺数据。
• 缺公理：说不出任何一条新信息会怎么改变选择；卡住你的是权重、先验、或"我要成为谁"。→ 停机。此后每一分钟的继续计算，都是那个不停机的程序。落子。

可证伪性就藏在判据里：如果你声称"还缺数据"，却答不出"查到什么会让我改选 B"——你缺的不是数据，你在逃公理。

补丁：deadline 的真实地位。

最优停止点不可计算（第二层），但不可计算 ≠ 不可切。deadline 不是自律技巧——它是给停机问题打的补丁：既然"何时停"无法从系统内部算出，就从外部公理式地立一个。到点，以当时的最优落子（ 决策与随机 ）。这不是对理性的妥协，这是对定理的正确回应。

最后一句。

德里达说自由住在计算的残差里，听上去像一个需要你信的立场。

它不是。它是三条定理的交点：优化给不出自己的权重，计算判定不了自己的停机，系统证明不了自己的公理。

自由不是残差里侥幸剩下的东西——

是任何自指系统在逻辑上必然包含的、那条无人能替你证明的公理。

你不是在残差里做选择。

你就是那条公理。

立与不立，系统都以你为地基——

区别只是：立，是你签的名；

不立，是水流替你签。

（箭到底了。）