ヒルベルト 第2問題 : ゲーデルの不完全性定理

数学は本当に「完全」な体系になりうるのか――。 この動画では、20世紀数学最大級の転換点ともいえる「ヒルベルトの第二問題」と、そこから生まれたゲーデルの不完全性定理について解説します。 数学者 ダフィット・ヒルベルト は、数学全体の無矛盾性を厳密に証明しようとする壮大な計画を掲げました。 しかし後に クルト・ゲーデル は、「算術を含む十分に強力な形式体系には、体系内部では証明も反証もできない命題が存在する」ことを示し、その計画に決定的な制限を与えます。 本動画では、 ヒルベルト・プログラムとは何だったのか 「無矛盾性」とは何を意味するのか ゲーデルの不完全性定理の核心 なぜ“数学の敗北”ではないのか 哲学・AI・日常論への誤用がなぜ起きるのか をできるだけ直感的に整理して説明しています。 ゲーデルの定理は非常に厳密な条件下で成立する数学的結果であり、 「人間は機械を超える」 「真理は論理では扱えない」 といった一般論へ単純に拡張できるものではありません。 近代数学の基礎論における劇的な転換点を、ぜひ一緒に見ていきましょう。 #数学 #ゲーデル #ヒルベルト #不完全性定理 #数学史