  |
一般相対性理論は、その多大な成功にもかかわらず、特異点が存在するため、完全な理論としては不完全です。
量子重力理論は、計算アルゴリズムを通じて量子的な自由度から時空が一貫して出現する、完全な理論となる可能性を広く信じられていますが、私たちはこの目標が根本的に達成不可能であることを示します。
ゲーデルの定理は、計算アルゴリズムに基づくどんな理論も、完全かつ無矛盾であることはできないと確立しています。
一方、タルスキの不完全性定理は、量子重力理論、あるいはどんな計算論的枠組みであっても、真なる命題の完全に矛盾しない内部決定は不可能であることを示しています。
チャイティンの不完全性定理は、この結論をさらに裏付け、どんな計算論的理論にも本質的な限界があることを明らかにしています。
私たちは、物理システムの記述に対するいくつかの可能性のある影響について議論し、非アルゴリズム的アプローチが「万物の理論」には不可欠であると指摘します。
12