無限、逆説、Gödelの不完全性定理、数学的マルチバース | Lex Fridman Podcast #488

Joel David Hamkins は、数学に唯一の基盤は存在しないと主張する。それぞれが等しく有効な集合論の「マルチバース」があるという大胆な議論を、Lex Fridman と広範囲にわたって展開した。

• Cantor が実数が非可算であることを証明し、無限に複数の「大きさ」があることを示した。これが数学の基礎をめぐる危機を引き起こし、Kronecker は Cantor を「若者を堕落させる者」と呼んだ。
• Gödelの不完全性定理は、算術を扱えるほど強力な一貫した形式体系には、その体系内で証明できない真の命題が必ず存在することを示す。真理と証明は永遠に分離している。
• 連続体仮説はZFCから独立している——標準的な公理系からは証明も反証もできない。これは「正しい」集合論が一つに定まらないことを示唆している。
• Hamkins は数学的マルチバースを支持する。絶対的な数学的現実が一つあるのではなく、それぞれ異なる真理を持つ多様な集合論的宇宙が共存するという立場だ。
• Conway の超実数（surreal numbers）は実数・順序数・無限小を一つの体系に統合するが、Conway 自身はその普及が限られたことを最大の失望として語っていた。
• Game of Life において特定のセルが生き残るかどうかは計算不可能（undecidable）——停止問題と等価であり、セルオートマトンは決定不能性の格好な実験場となっている。
• Hamkins は現在の LLM を数学的推論において無益と断じる。LLM は「証明らしく見える議論」を生成するが、「実際に証明である議論」とは異なる。この違いは些細に見えて本質的だ。
• 無限チェスの局面はゲーム値 omega を持ちうる——白は有限手で勝てるが、手数の上限 N は存在せず、黒がその長さをコントロールする。

ゲスト: Joel David Hamkins — 数学者・哲学者、集合論の専門家、MathOverflow 総合1位、Notre Dame 大学教授 · 2025-12-31 · YouTubeで視聴

英語版: Infinity, Paradoxes, Gödel Incompleteness & the Mathematical Multiverse | Lex Fridman Podcast #488 · Watch on YouTube