タグ 学術的けものフレンズ が登録されている動画 : 3 件中 1 - 3 件目
種類:
- タグ
- キーワード
対象:
うどんをうつアライさんシリーズ公理系の不完全性定理
アライ山
ひらめいてつくったけど、自分やっぱり不完全性定理についてあんま理解してなかったです。
・ゲーデル数を証明にどう使うか。
・一階論理学は無矛盾性証明が与えられる。うどんをうつアライさんシリーズは、動画を引用できるので、二階以上の論理学に近い気がするので不完全性定理が成り立つ気もするんですが、数学でも種類によっては不完全性定理が成り立たず無矛盾性が証明できるものもあるらしい。うどんをうつアライさんシリーズ公理系がどっちなのかわからない。
・ゲーデルの不完全性定理は、数学的論理的命題を対象としているが、ここでは動画に読み替えてある。命題と動画がごっちゃになっているところが多々ある気がします。(動画と命題はどう違うのかというのは興味深いかも。)
「うどんをうつアライさん」数が実数濃度であることの証明
議論がアライさん
PLAYLIST 【imoutoid】 + the other 2 names
http://www.nicovideo.jp/watch/sm7855081
水鳥クレードに属するアニメけもフレキャラ系統図
素人目には、トキとハシビロコウはぜんぜん似てないようなのに、近い科でしかも同じペリカン目というのにびっくりしました。PPPとも比較的近い親戚のようですね。
けものフレンズに出てくる動物たちの生物学上の分類がどうなっているのか気になって調べました。鳥類では、水鳥グレードにたくさんいたので、そこだけウィキから抜粋しました。ほかのキャラについても、系統図のどこにいるのか、調べてみたいですが、わたしは生物学の専門ではないというか、ずぶの素人なので、どなたか、生物学に詳しいフレンドさんが動画にしてくれないですかね?
Wikipediaペリカン目https://ja.wikipedia.org/wiki/%E3%83%9A%E3%83%AA%E3%82%AB%E3%83%B3%E7%9B%AE