[论文解读] The Surprise Examination Paradox and the Second Incompleteness Theorem

Shira Kritchman, Ran Raz|arXiv (Cornell University)|Nov 22, 2010

Computability, Logic, AI Algorithms参考文献 10被引用 30

一句话总结

本文利用柯尔莫哥洛夫复杂度和Chaitin不完全性定理，通过一种变体的惊喜测验悖论框架，提出哥德尔第二不完全性定理的新证明。该论证指出，悖论源于对系统内证明一致性的隐含假设——而这是第二不完全性定理所禁止的——从而通过将悖论与形式系统中的基础限制联系起来，解决了该悖论。

ABSTRACT

We give a new proof for Godel's second incompleteness theorem, based on Kolmogorov complexity, Chaitin's incompleteness theorem, and an argument that resembles the surprise examination paradox. We then go the other way around and suggest that the second incompleteness theorem gives a possible resolution of the surprise examination paradox. Roughly speaking, we argue that the flaw in the derivation of the paradox is that it contains a hidden assumption that one can prove the consistency of the mathematical theory in which the derivation is done; which is impossible by the second incompleteness theorem.

研究动机与目标

• 通过柯尔莫哥洛夫复杂度和Chaitin不完全性定理，提供哥德尔第二不完全性定理的新颖且概念更简单的证明。
• 从形式一致性与数学逻辑中自指的角度，分析惊喜测验悖论。
• 证明该悖论源于一种不合理的假设，即系统内可证明其自身的一致性，而这是哥德尔第二定理所禁止的。
• 使用哥德尔编号和对角化方法形式化教师的声明，展示自指与可证明性在不一致推理中的相互作用。
• 通过证明学生推理在假设系统一致性时即告失败，而该一致性无法在系统内部建立，从而解决惊喜测验悖论。

提出的方法

• 应用Chaitin不完全性定理，该定理指出：对于任何一致的形式理论，存在一个界限L，使得对任意x，语句K(x) > L均无法被证明。
• 利用柯尔莫哥洛夫复杂度形式化系统无法证明某个数的复杂度超过某一阈值的观点，若系统声称可证明，则将导致矛盾。
• 将惊喜测验悖论建模为一个形式语句S，其中涉及m ≥ i → m = i的可证明性蕴含关系，使用具有自指结构的形式系统T。
• 使用哥德尔编号和对角化方法形式化S，将S定义为Q(q)，其中q是编码悖论逻辑结构的公式Q(x)的哥德尔数。
• 引入可证明性谓词PrT,S(φ)以表示在系统T扩展S后，语句φ的正式可证明性，并分析假设一致性的后果。
• 表明对任意一天i，推导出m ≠ i均需假设Con(T,S)，即T + S的一致性，而根据第二不完全性定理，该假设无法在T + S中被证明。

实验结果

研究问题

• RQ1 能否利用柯尔莫哥洛夫复杂度和Chaitin不完全性定理重新证明哥德尔第二不完全性定理？
• RQ2 学生在惊喜测验悖论中的推理逻辑缺陷是什么？它与形式一致性有何关联？
• RQ3 在教师声明的形式化中，可证明性谓词与自指的使用如何揭示推导能力的局限性？
• RQ4 能否通过诉诸第二不完全性定理来解决惊喜测验悖论？
• RQ5 一致性假设在学生归纳推理中扮演什么角色？为何该假设在系统内不可证明？

主要发现

• 本文基于柯尔莫哥洛夫复杂度和Chaitin不完全性定理，为哥德尔第二不完全性定理提供了新证明，避免了哥德尔原始证明中的自指问题。
• 通过证明学生推理依赖于系统T + S一致性的不可证明假设，而该假设受第二不完全性定理所禁止，从而解决了惊喜测验悖论。
• 通过使用对角化和哥德尔编号将教师声明形式化为自指语句S，揭示了系统无法在不假设Con(T + S)的前提下推导出m ≠ 5，而该假设在系统内不可证明。
• 对于星期五，该悖论无法解决，因为学生无法证明T + S的一致性，因此即使他们知道若系统一致则考试必在周五，也无法得出考试不可能在周五的结论。
• 对于任意一天i < 5，学生无法推导出m ≠ i，因为所需的可证明性条件依赖于Con(T + S)，而该条件在T + S中不可证明，从而阻断了归纳论证。
• 关键洞见在于，悖论并非源于逻辑不一致，而是源于隐藏假设：即系统内可证明其自身的一致性，而这是哥德尔第二不完全性定理所禁止的。