ゲーデルの不完全性定理：数学の「完全な基礎」は不可能だった

How Gödel's Proof Works (2020)

1931年、25歳のクルト・ゲーデルは数学の基礎づけを目指す数学者たちの夢を打ち砕いた。彼の不完全性定理は、いかなる公理系も完全ではあり得ず、また自身の無矛盾性を証明できないことを示した。ゲーデルは「ゲーデル数」を用いて数学の命題を数に変換し、体系自身について語ることを可能にした。その結果、証明可能なことと真であることは必ずしも一致せず、数学の「万物の理論」は存在しないことが明らかになった。この発見は数学だけでなく、物理学や現実の理解にも影響を及ぼしている。