[論文レビュー] The Limits of Mathematics---Extended Abstract

Gregory J. Chaitin|ArXiv.org|Jul 25, 1994

Computability, Logic, AI Algorithms被引用数 3

ひとこと要約

この論文は、グレゴリー・J・チェイチンのアルゴリズム的情報理論の枠組みを拡張し、数学的推論および形式的体系の根本的限界を探る。アルゴリズム的複雑性とチェイチンの定数 Ω を導入することで、いかなる一貫した形式的体系でも証明できない、不可削減な数学的事実が存在することを示し、数学が形式的証明によって到達できる範囲に inherently な境界を設ける。

ABSTRACT

We summarize four different versions of our course notes on the limits of mathematics.

研究の動機と目的

• アルゴリズム的情報理論を用いて、形式的数学的体系の基礎的限界を調査すること。
• 特定の数学的真実は不可削減であり、公理から導けないことを示すこと。
• チェイチンのアルゴリズム的複雑性および Ω に関する研究を拡張し、数学的ランダムネスの概念を形式化すること。
• 停止問題と不完全性定理が、数学的知識の本質に深い含意を持つことを示すこと。
• いかなる一貫した形式的体系においても証明できない数学的事実が存在することを確立すること。

提案手法

• 数学的命題の複雑性を分析するために、アルゴリズム的情報理論を適用する。
• チェイチンの定数 Ω を用いて、ランダムなプログラムが停止する確率を表し、アルゴリズム的ランダムネスを符号化する。
• Ω がアルゴリズム的にランダムであるため、いかなる形式的体系でも計算または形式的に導けないことを示す。
• ゲーデルの不完全性定理とチューリングの停止問題を活用し、形式的体系の本質的限界を示す。
• 不可削減な数学的事実——より単純な公理に圧縮できない真実——の概念を導入する。
• 自己言及的推論と対角線論法を用いて、形式的体系内に証明不能な真実が存在することを証明する。

実験結果

リサーチクエスチョン

• RQ1 形式的数学的体系は、数学的真実を証明する上で、どの程度の根本的限界を持つのか？
• RQ2 アルゴリズム的情報理論を用いて、不可削減な数学的事実を定義および特徴づけられるか？
• RQ3 停止問題は、形式的体系が数学的命題を証明する能力をどの程度制限するのか？
• RQ4 チェイチンの定数 Ω は、数学に内在するランダムネスと証明不能性をどのように示すのか？
• RQ5 真であるが、いかなる一貫した公理系からも導けない数学的事実が存在するのか？

主な発見

• いかなる一貫した形式的体系においても証明できないが真である数学的事実が存在する。
• チェイチンの定数 Ω はアルゴリズム的にランダムであり、したがっていかなる公理系からも計算または形式的に導出できない。
• 停止問題は、任意のプログラムが停止するかどうかを決定する一般的手法が存在しないことを示し、形式的証明の能力を制限する。
• より単純な公理的説明を持たない不可削減な数学的事実——それらは豊富に存在し、数学そのものに内在する。
• 形式的体系は、特にアルゴリズム的複雑性を含む数学的真実をすべて捉えることにおいて、本質的に不完全である。
• 本論文は、数学の限界が単なる実務的制限ではなく、論理的かつ本体論的であることを確認しており、アルゴリズム的ランダムネスに根ざしている。