論理と集合を作った数学者8人、数学用語を徹底解説

[@another〆world]

プログラミングの世界では基礎の基ですね 情報空間おける普遍的な法則

[@mahbo_funaki]

よくまとめてあって分かりやすかった。最後のゲーデルとコーヘンのやった仕事は指摘されているように誤解してしまうことがあるから注意しないといけませんね。

[@mikan8839]

ありがとうございます。何回か聞いてみます。暇ができたらさらに調べてみます。

[@chocolatecornetnothermitcr6159]

11:39 ここでの「完全」は「どんな命題φについてもφか¬φが導かれる」という意味で、「正しい命題が証明できる」という意味ではないと思います。前者は命題の集合についての完全性で、後者は完全性定理で出てくるような、証明体系についての完全性なはずです。

[@りりいる]

∀x∈ここで紹介された人,x=偉人過ぎる

[@ごるたまん]

いつも楽しく拝見しております。高2の娘も「なにそれ💢」と言いながら見ています。 動画を見つつ、わからなかったことを調べるようになりました。うれしい気持ちで見守っております。

[@seiyaowaku]

カントールも信じられなかったのか。

[@xerox92]

12:38

[@MikuHatsune-np4dj]

高校までの数学でもっとちゃんと教えれば良いのに軽視されてると思う

[@raxa_stray]

実は論理と集合を義務教育範囲内でやろうという時期はあって実際に課程に加わったらしいです ただ、どうも「こんなの当たり前で、感覚的に習得できるものじゃないか！」と理解できている大人の目線で評価する人達がそれなりの規模居て、軽視される地域もあるっぽいです(ちなみに私の先生はしょうもない小手先の受験用テクニックを無視して、しっかりと教えてくれました) もっとも、そういった軽視をしてる人に「1ってなぁに？」とロールプレイを持ちかけても、質問者に見合った解答ができない人が殆どですが…… 「当たり前だから当たり前なんだ！」で思考停止している教育者はどうかとも思いますが、人が足りないですししょうがないですね……

[@ルーたん-z3q]

@@raxa_strayその頃の人達クソやな