【雑学】正しいとも間違いとも言えない数学の命題が存在する【ゆっくり解説】

ゲーデルの不完全性定理をゆっくり解説しました。

ちなみに、未解決四天王という単語は無いので注意してください。
また、多分ですが、フェルマーの最終定理はそこそこ強いキャラだと思われます。

動画修正 :
0:31に4=1+3
と書いてありますが、
1は余裕で素数じゃないので、4=2+2の間違いです...
コメントでご指摘いただいた方ありがとうござます！

動画補足：
「証明できない命題がある」は少々乱暴な結論だと思うので補足します。
正確には「特定の形式体系では証明できない」だけです。
つまり形式体系Sで証明できない言明Aがあるすると、
極論、Aを公理にしてしまった理論S+Aでは、もちろんAは証明可能です。
しかしこの場合、証明できない他の命題A'が出てくることになります。
よってイタチごっこになり、どうしてもシステムで捉えきれない命題が出てくる...
これを踏まえて結論を出しました。
また、"「普通」の数学的な方法と公理を使って証明できない命題がある"は余裕で正しいです。

------------------------------------------------------------
参考資料：
・数学ガール／ゲーデルの不完全性定理
　https://amzn.to/3n5UM6M
・不完全性定理とはなにか
　https://amzn.to/3tPEwe7
・理性の限界――不可能性・不確定性・不完全性
　https://amzn.to/3bh0kbS
・ゲーデルの定理――利用と誤用の不完全ガイド
　https://amzn.to/3no5KVD

何かございましたら、以下の連絡先までお願いいたします。
[email protected]

音楽：
OP：ほのぼのワルツ【リコーダー】（ニコニ・コモンズ　https://commons.nicovideo.jp/）
ED：Unity - TheFatRat （TheFatRat - Unity）

#ゆっくり解説#ゆっくり科学#9割が知らない雑学#ゆっくり#サイエンス#不完全性定理#フェルマーの最終定理#未解決問題#ゲーデル#雑学#数学#五条VS五条

• #education
• #
• #9
• #
• #
• #
• #
• #
• #
• #
• #
• #
• #
• #
• #
• #
• #