無限・逆説・ゲーデル不完全性と数学的マルチバース | Lex Fridman Podcast #488

Joel David Hamkins は、数学には唯一の基盤など存在しないと主張する——集合論のマルチバースがあり、それぞれが等しく正当だ——Lex Fridman との幅広い対談で語った。

• カントールによる実数の非可算性の証明は、無限に複数のサイズが存在することを示し、基礎的危機を引き起こした。クロネッカーはカントールを「若者を堕落させる者」と呼んだ。
• ゲーデルの不完全性定理は、算術を扱えるほど強力な無矛盾な形式体系には、証明できない真の命題が必ず存在することを示す——真理と証明は永久に切り離されている。
• 連続体仮説はZFCから独立している：標準的な公理系では証明も反証もできない。これは、唯一「正しい」集合論など存在しないことを示唆する。
• Hamkins は数学的マルチバースを支持する：一つの絶対的な数学的実在ではなく、異なる真理をもつ多様な集合論的宇宙が共存しているという立場だ。
• Conway の超実数（surreal numbers）は実数・順序数・無限小を一つの体系に統合するが、その普及の遅さをConway自身が最大の失望と語った。
• ライフゲームにおけるセルの生存問題は計算決定不能であり、停止問題と等価だ。セルオートマトンは決定不能性の実験場となっている。
• Hamkins は現在のLLMを数学的推論には使えないと見ている：LLMは「証明のように見える議論」を生成するが、それは「証明である議論」ではない——微妙だが決定的な違いだ。
• 無限チェスの局面はゲーム値がωになりうる——白は有限手で勝てるが、その手数は黒がコントロールし、固定された上限Nは存在しない。

ゲスト： Joel David Hamkins — 数学者・哲学者、集合論専門家、MathOverflow 最高評価ユーザー、Notre Dame 大学教授 · 2025-12-31 · YouTubeで視聴

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