[論文レビュー] The Limits of Mathematics -- A course on information theory and the limits of formal reasoning

Gregory J. Chaitin|arXiv (Cornell University)|Jun 7, 1997

Computability, Logic, AI Algorithms被引用数 38

ひとこと要約

本書は、情報理論、ゲーデルの不完全性定理、アインシュタインの数学的真実に関する見解を統合することで、数学が形式的であるにもかかわらず、経験的類似の推論によって進化する quasi-empirical（準経験的）であると主張する、アルゴリズム情報理論の講義を提示する。形式的体系が数学的知識を捉える際に固有の限界を有することを示し、数学的複雑性の概念と形式的推論におけるランダムネスの役割の形式化という主な貢献を行う。

ABSTRACT

This book is the final version of a course on algorithmic information theory and the epistemology of mathematics and physics. This is camera-ready copy prepared for publication as a book, but at the last minute I decided to publish it electronically instead. This book discusses Einstein and Godel's views on the nature of mathematics in the light of information theory, and sustains the thesis that mathematics is quasi-empirical. There is a foreword by Cris Calude of the University of Auckland, and a remark on the back cover by John Casti of the Santa Fe Institute. Supplementary material is available at the author's web site -- The frontispiece photograph is at http://www.cs.auckland.ac.nz/CDMTCS/chaitin/index.html, and the software not included in the book is at http://www.cs.auckland.ac.nz/CDMTCS/chaitin/rov.html

研究の動機と目的

• アルゴリズム情報理論の観点から、数学の認識論的基盤を検討すること。
• ゲーデルの不完全性定理とアインシュタインの数学的真実に関する見解の意味を調査すること。
• 数学が形式的であるにもかかわらず、経験的推論に類似した方法で進化するため、数学は準経験的であると主張すること。
• 形式的体系および数学的発見におけるランダムネスと複雑性の役割を探ること。
• 哲学的・基礎的含意を伴う、アルゴリズム情報理論に関する包括的な講義を提供すること。

提案手法

• コルモゴロフ・コンプレックスィティを用いて、数学的対象の複雑性を定義するアルゴリズム情報理論の使用。
• 特に証明可能性とランダムネスの観点から、情報理論的限界の観点から形式的体系を分析すること。
• 形式的推論における限界を評価するために、アルゴリズム的ランダムネスの概念を適用すること。
• ゲーデルの不完全性結果を、形式的体系における情報理論的制約と比較すること。
• アインシュタインとゲーデルの哲学的視点を統合し、数学を準経験的企業として位置づけること。
• 補足ソフトウェアおよびリソースを提供することで、理論的知見の実践的応用を促進する講義形式で資料を提示すること。

実験結果

リサーチクエスチョン

• RQ1 アルゴリズム情報理論は、形式的数学的推論の限界をどのように制約するか？
• RQ2 ゲーデルの不完全性定理は、形式的体系における情報理論的限界とどのような点で一致するか？
• RQ3 ランダムネスと複雑性の役割を踏まえると、数学はどの程度まで準経験的と見なせるか？
• RQ4 アインシュタインの数学的真実に関する見解は、現代の情報理論的解釈における形式的体系とどのように関係するか？
• RQ5 アルゴリズム的ランダムネスは、証明可能な数学的命題の境界を決定づける役割を果たすか？

主な発見

• アルゴリズム的ランダムネスの決定不能性が示す情報理論的制約により、数学的形式化には本質的な限界が存在する。
• 形式的体系は、特定の文字列のアルゴリズム的ランダムネスを証明できないため、数学的知識における根本的な境界を示している。
• 数学的真実がしばしば経験的科学に類似した実験的・帰納的プロセスを通じて生じることから、数学における準経験的性の概念は裏付けられる。
• ゲーデルの不完全性定理は情報理論の観点から再解釈され、複雑性とランダムネスが証明可能性を制限することを明らかにしている。
• 本書は、数学的対象の複雑性をコルモゴロフ・コンプレックスィティによって測定する枠組みを提供し、形式的推論の新たな視点を提示している。
• 不完全性およびランダムネスに関する形式的体系の探索を促進するため、補足ソフトウェアおよびリソースが提供されており、理論的知見の実践的応用を強化している。