ゲーデルの不完全性定理

ゲーデルの不完全性定理は、初等算術を表現できる任意の無矛盾な形式理論は不完全であり、自身の無矛盾性を証明できないことを確立し、公理的方法に根本的な限界を設けています。

Definition

第一不完全性定理は、算術の控えめな断片を解釈する、任意の無矛盾で実効的に公理化された理論には、その理論もその否定も証明できない文が存在すると述べています。第二不完全性定理は、そのような理論は自身の無矛盾性を主張する形式的な記述を証明できないと述べています。

Scope

このトピックは、構文の算術化とゲーデル数化、対角化補題と自己言及文の構成、真であるが証明不可能な文の存在に関する第一不完全性定理、無矛盾性の証明不可能性に関する第二不完全性定理、およびタルスキーの真理の定義不可能性に関する定理などの標準的な条件と結果を扱います。

Core questions

• 理論の構文は、算術そのものの中でどのように符号化されるのでしょうか？
• 対角化補題は、自身の証明不可能性を主張する文をどのように生成するのでしょうか？
• 十分に強力な無矛盾な理論は、なぜ不完全でなければならないのでしょうか？
• そのような理論は、なぜ自身の無矛盾性を証明できないのでしょうか？

Key theories

対角化補題

1つの自由変数を持つ任意の論理式に対して、その理論が、その論理式をその文自身のコードに適用したものと等価であると証明する文が存在し、制御された自己言及を可能にします。

第一不完全性定理

証明可能性述語に対角化補題を適用すると、証明不可能である場合にのみ真である文が得られます。したがって、無矛盾で実効的に公理化された算術理論には、証明も反証もできない文が存在します。

第二不完全性定理

第一定理の証明を理論内で形式化すると、その理論が自身の無矛盾性を証明するのは、その理論が矛盾している場合に限られることが示されます。したがって、無矛盾な理論は自身の無矛盾性を確立することはできません。

Clinical relevance

不完全性定理は、いかなる単一の無矛盾な形式体系も、すべての算術的な問題を解決したり、自身の信頼性を保証したりすることはできないことを示し、数学の基礎を再構築しました。これはヒルベルトの計画に限界を設け、理論的強度の順序数論的尺度や相対的無矛盾性の研究を動機づけています。

History

ゲーデルは1930年に不完全性定理を発表し、1931年に論文として公表しました。これにより、算術が完全に自己保証的に公理化できるという期待は覆されました。ロッサ―は1936年に仮説を強化し、タルスキーの同時期の真理の定義不可能性に関する定理は、密接に関連する限界を示す結果をもたらしました。

Key figures

• Kurt Goedel
• Alfred Tarski
• J. Barkley Rosser
• David Hilbert

Seminal works

• smith2013
• godel1931
• boolos2007

Frequently asked questions

不完全性定理は数学が矛盾していると言っているのでしょうか？

いいえ。それらは、いかなる単一の無矛盾で十分に強力な形式体系も不完全であり、自身の無矛盾性を保証できないと述べています。数学の真実性には何の疑いも投げかけておらず、単に特定の公理系が到達できる範囲に限界があることを示しているだけです。

不完全性とは、一部の真実が知り得ないことを意味するのでしょうか？

絶対的な意味ではそうではありません。ある理論で証明不可能な文は、例えば無矛盾性に関する記述やより強力な公理を追加することで、より強力な理論では証明可能になる場合があります。不完全性は、個々の固定された体系の限界であり、数学的知識全体に対する障壁ではありません。