[论文解读] Undecidability everywhere?

Karl Svozil|ArXiv.org|Oct 5, 1995

Computability, Logic, AI Algorithms被引用 13

一句话总结

本文研究了逻辑不可判定性在物理系统中的影响，特别是在混沌动力学和量子互补性中的体现。斯沃齐尔认为，不可判定性——源于哥德尔不完备性——可能是物理理论的内在属性，限制了可预测性和描述能力，对互补性博弈和科学知识基础具有关键影响。

ABSTRACT

We discuss the question of if and how undecidability might be translatable into physics, in particular with respect to prediction and description, as well as to complementarity games.

研究动机与目标

• 检验数学逻辑中形式化的不可判定性是否在动力系统中具有物理意义。
• 评估不可判定性对物理理论中可预测性和描述能力的影响。
• 探索不可判定性与量子互补性博弈之间的联系。
• 在逻辑不完备性的背景下，探究科学知识基础的局限性。
• 确定不可判定性是否不仅是一种数学奇观，而是物理理论的结构性特征。

提出的方法

• 利用数学逻辑和可计算性理论的概念，分析混沌动力系统中的不可判定性。
• 将哥德尔不完备性定理应用于物理理论，表明某些物理命题在逻辑上可能是不可判定的。
• 通过不可判定性的视角审视量子力学中的互补性，尤其关注测量情境。
• 使用逻辑和形式框架，对确定性但混沌系统中的预测限制进行建模。
• 在形式系统中的不可判定性与物理演化中的不可预测性之间建立类比。
• 考虑信息与可计算性在物理描述中的作用，将其与不可判定性联系起来。

实验结果

研究问题

• RQ1 形式系统中的不可判定性是否能在混沌动力系统中实现？
• RQ2 逻辑不可判定性在多大程度上限制了物理系统的可预测性？
• RQ3 不可判定性如何与量子力学中的互补性原理相关联？
• RQ4 是否存在某些物理理论或现象，其中不可判定性不仅是理论极限，更是结构性特征？
• RQ5 不可判定性对科学知识局限性的认识论后果是什么？

主要发现

• 源自哥德尔定理的不可判定性，可能是物理理论的根本特征，而非单纯的数学产物。
• 由于其底层逻辑结构中的不可判定性，混沌系统表现出无法在有限时间内预测的行为。
• 量子力学中的互补性可通过不可判定性来解释，其中互斥的描述在逻辑上是独立的。
• 本文表明，某些物理问题——尤其是涉及长期行为或测量结果的问题——可能是形式上不可判定的。
• 科学知识的局限性可能不仅源于计算复杂性，还源于形式系统中固有的逻辑不完备性。
• 本文结论认为，不可判定性不仅限于逻辑领域，可能渗透到物理学中，特别是在对初始条件高度敏感的系统中。