【ゆっくり解説】数学には「証明できない真実」がある－ゲーデルの不完全性定理－

数学には、正しいのに「そのルールでは証明できない」命題がある。 全知の箱から始まり、床屋のパラドックス、ヒルベルトの夢、ゲーデル数、停止性問題まで、霊夢と魔理沙が図解でたどります。 ※不完全性定理には、機械的に扱える公理、十分な算術、無矛盾性などの条件があります。「数学は全部あやふや」という意味ではありません。 【チャプター】 00:00 全知の箱のパラドックス 02:29 数学の土台とヒルベルトの夢 07:41 ゲーデルと不完全性定理 10:52 自己言及とゲーデル数 15:00 実際に証明できない問題 17:08 コンピューターの限界 18:48 ゲーデルの人生とアインシュタイン 24:09 定理の誤解・まとめ・エンディング 【主な参考資料】 Gödel’s Incompleteness Theorems（Stanford Encyclopedia of Philosophy） https://plato.stanford.edu/entries/go... Michael Rathjen, Goodstein revisited https://arxiv.org/abs/1405.4484 Kurt Gödel and the Institute（Institute for Advanced Study） https://www.ias.edu/kurt-g%C3%B6del-a... モルゲンシュテルンによる帰化面接の回想（IAS Archives） https://albert.ias.edu/entities/archi... ※人物・移動経路・宇宙モデルの図は説明用の模式イラストです。 #ゆっくり解説 #不完全性定理 #ゲーデル #数学