[论文解读] The Collatz 3n+1 Conjecture is Unprovable

Craig Alan Feinstein|arXiv (Cornell University)|Dec 16, 2003

Benford’s Law and Fraud Detection参考文献 4被引用 5

一句话总结

本文论证，由于任何证明都需要指定一个指数级复杂的奇偶性模式序列（模 2），而这些模式由于其算法随机性，无法被压缩为有限长度的证明，因此 Collatz 3n+1 猜想在形式上是不可证明的。关键结果是通过反证法证明：一个有限证明所需的位数会超过其自身包含的位数，这意味着该猜想虽为真，却在形式系统内不可证明。

ABSTRACT

In this paper, we show that any proof of the Collatz 3n+1 Conjecture must have an infinite number of lines; therefore, no formal proof is possible.

研究动机与目标

• 证明尽管有强烈的实证和启发性证据，Collatz 3n+1 猜想仍无法在形式系统中被正式证明。
• 建立算法随机性与数论中不可证明性之间的联系。
• 形式化表达：依赖于数列中概率性或类似随机行为的命题，可能为真但不可证明。
• 通过为 Collatz 猜想构建不可证明性的严格证明，扩展弗里曼·戴森关于不可证明但合理的数学命题的哲学洞见。

提出的方法

• 通过算法信息论定义随机性：若一个二进制向量无法被压缩为少于其长度的位数，则其为随机的。
• 使用定理 1 表明，任意长度为 k 的二进制序列，都可作为某个 n 的 T(n) 前 k 次迭代的奇偶性向量（模 2）实现。
• 应用定理 2 证明，任何 T^(k)(n) = 1 的证明都必须包含完整的奇偶性序列（n, T(n), ..., T^(k-1)(n)) mod 2。
• 构造一个长度为 L+1 的随机奇偶性向量，其中 L 为假设的证明长度，以生成一个需要超过证明中可用位数的反例。
• 通过证明指定所需奇偶性序列将需要 L+1 个位，超过 L 位的证明长度，从而导出矛盾，否定有限证明存在的假设。
• 使用公式 T^(k)(n) = λ_k(n)n + ρ_k(n)，其中 λ_k 和 ρ_k 依赖于奇偶性序列，以形式化函数输出对奇偶性序列的依赖关系。

实验结果

研究问题

• RQ1 Collatz 3n+1 猜想是否能在有限公理系统内被正式证明？
• RQ2 Collatz 迭代中奇偶性序列的算法随机性在多大程度上阻碍了有限形式证明的建立？
• RQ3 概率性启发式方法与数论中不可证明性之间是否存在形式上的联系？
• RQ4 一个命题是否可能因其中蕴含数据的不可压缩性而既高度可能又形式上不可证明？

主要发现

• 任何 Collatz 3n+1 猜想的形式证明都必须至少包含 L 个位，其中 L 为证明的长度。
• 存在一个自然数 n，使得奇偶性序列 (n, T(n), ..., T^(L)(n)) mod 2 是算法随机的，因此需要 L+1 个位来指定。
• 由于证明必须指定这一 L+1 位的随机序列，才能验证存在某个 k > L 使得 T^(k)(n) = 1，因此仅用 L 个位的证明无法存在。
• 该猜想可能为真，这是基于概率性启发式，但其真实性无法被形式化确立，因为没有有限证明能捕捉所需奇偶性数据的不可压缩复杂性。
• 不可证明性的证明依赖于这样一个事实：在所有长度为 L+1 的二进制向量中，至少有一半是算法随机的，从而确保此类反例存在。
• 该结果意味着 Collatz 猜想是真但形式上不可证明的命题的一个例子，与哥德尔不完备定理一致，并符合戴森的哲学直觉。