[論文レビュー] 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 決定不能性が科学的知識の限界に及ぼす認識論的結果は何か？

主な発見

• ゲーデルの定理から導かれる決定不能性は、単なる数学的便宜ではなく、物理理論の根本的特徴である可能性がある。
• カオス的系は、その背後にある論理的構造における決定不能性のため、有限時間内に予測できない振る舞いを示す。
• 量子力学における補足性は、互いに排他的な記述が論理的に独立であるという観点から、決定不能性の観点から解釈できる。
• 本稿は、長期的挙動や測定結果に関する一部の物理的問いが、形式的に決定不能である可能性を示唆する。
• 科学的知識の限界は、計算複雑性に起因するだけでなく、形式的体系に内在する論理的不完全性にも起因する可能性がある。
• 本稿は、決定不能性が論理に限定されるのではなく、初期条件に敏感な系において特に物理学に浸透している可能性があると結論づける。