うどんをうつアライさんシリーズ公理系の不完全性定理
- 2017/08/25 18:20:10 投稿
- 再生数：1592
- マイリスト数：3
アライ山ひらめいてつくったけど、自分やっぱり不完全性定理についてあんま理解してなかったです。・ゲーデル数を証明にどう使うか。・一階論理学は無矛盾性証明が与えられる。うどんをうつアライさんシリーズは、動画を引用できるので、二階以上の論理学に近い気がするので不完全性定理が成り立つ気もするんですが、数学でも種類によっては不完全性定理が成り立たず無矛盾性が証明できるものもあるらしい。うどんをうつアライさんシリーズ公理系がどっちなのかわからない。・ゲーデルの不完全性定理は、数学的論理的命題を対象としているが、ここでは動画に読み替えてある。命題と動画がごっちゃになっているところが多々ある気がします。（動画と命題はどう違うのかというのは興味深いかも。）