ラッセルの逆理を勝手に自習しようぜ(^~^)?

20210124shogi2a2b1.png
「 👇 ラッセルの逆理を勝手に自習しようぜ?」

📖 第1回 数理手法IV - 1 初めに

kifuwarabe-futsu.png
「 AtCoder には もう飽きたか」

ohkina-hiyoko-futsu.png
「 問題文を理解することができないのよ」

20210522math70.png

ramen-tabero-futsu2.png
「 👆 x は 集合であり、 x は x に属さないぜ」

kifuwarabe-futsu.png
「 💻ドライブみたいなもんだろ。 📂フォルダーは 📂フォルダーに入るが、 💻ドライブは 💻ドライブに入らないぜ」

ohkina-hiyoko-futsu.png
「 じゃあ 💻ドライブは何か 矛盾してんの?」

20210522math73.png

ramen-tabero-futsu2.png
「 👆 ひとまず べき集合を 図にするかだぜ。
💻ドライブは💻ドライブを入れれないが、📂や📄を入れれる。
📂フォルダーは📂フォルダーを入れれるし、📄も入れれる。
📄ファイルは📄ファイルを入れれないし、それどころか何も入れれないやつ。テキストは入るかも」

kifuwarabe-futsu.png
「 💻ドライブと📄ファイルは 自分を入れれない入れ物 として同じでは」

20210522math73a1.png

ramen-tabero-futsu2.png
「 👆 今関心がある図は こうか。
自分を入れれない入れ物 💻ドライブ VS 自分を入れれる入れ物 📂フォルダー」

ohkina-hiyoko-futsu.png
「 💻ドライブ も 📂フォルダー も現存するんだから 矛盾してないんじゃないの?」

20210522math73a2.png

ramen-tabero-futsu2.png
「 👆 💻ドライブか 📂フォルダーか どちらか2択ででしか 答えてはいけないとしようぜ」

20210522math74.png

ramen-tabero-futsu2.png
「 👆 原っぱに 📂フォルダーの群れが居るとしようぜ。
こいつらを入れれるのは 💻ドライブか 📂フォルダーか どっちだぜ?」

kifuwarabe-futsu.png
「 どっちでも 入れれるのでは」

20210522math74a1.png

ramen-tabero-futsu2.png
「 👆 原っぱに 💻ドライブの群れが居るとしようぜ。
こいつらを入れれるのは 💻ドライブか 📂フォルダーか どっちだぜ?」

kifuwarabe-futsu.png
「 どっちでも 入らないぜ」

ramen-tabero-futsu2.png
「 👆 無理にでも入れるのを 試してくれだぜ」

20210522math75.png

kifuwarabe-futsu.png
「 👆 xが xに属するのは 定義に反するぜ」

20210522math75a1.png

kifuwarabe-futsu.png
「 👆 📂フォルダーが 💻ドライブ を含めれるかどうか 言及がないぜ」

20210522math75a2.png

kifuwarabe-futsu.png
「 👆 💻ドライブは 📂フォルダーを含めれるとは言ったが、ラッセルの逆理とは 関係がないぜ」

20210522math75a3.png

kifuwarabe-futsu.png
「 👆 📂フォルダーは 📂フォルダーを含めれるとは言ったが、ラッセルの逆理とは 関係がないぜ」

ohkina-hiyoko-futsu.png
「 なんにも パラドックスが 起こってないんだけど」

ramen-tabero-futsu2.png
「 📂フォルダーがいたら いけないのかな」

20210522math76.png

ramen-tabero-futsu2.png
「 👆 じゃあ 💻ドライブ か、 そうでないかの 2択な」

20210522math75.png

kifuwarabe-futsu.png
「 👆 xが xに属するのは 定義に反するぜ」

20210522math75a4.png

kifuwarabe-futsu.png
「 👆 xが xに属さないのは 定義に従うぜ」

ohkina-hiyoko-futsu.png
「 どこに 逆理 があるのか 分かんないわね」

📖 Russell's paradox

ramen-tabero-futsu2.png
「 👆 Wikipedia を読んでみようぜ」

20210522math77.png

ramen-tabero-futsu2.png
「 👆 すぐには そんなこと言えないと思うが」

kifuwarabe-futsu.png
「 筆算してみようぜ?」

20210522math77a1.png

ramen-tabero-futsu2.png
「 👆 フーム」

ohkina-hiyoko-futsu.png
「 ちゃんと 代入できてないんじゃないの?」

20210522math77a3.png

ohkina-hiyoko-futsu.png
「 👆 ウーン」

kifuwarabe-futsu.png
「 ラッセルの逆理にも もう飽きたか」

20210522math78a1.png

ramen-tabero-futsu2.png
「 👆 数学チャンネルで いろいろ聞いてきたぜ」

ツイッターでシェア
みんなに共有、忘れないようにメモ

むずでょ@きふわらべ第29回世界コンピューター将棋選手権一次予選36位

光速のアカウント凍結されちゃったんで……。ゲームプログラムを独習中なんだぜ☆電王戦IIに出た棋士もコンピューターもみんな好きだぜ☆▲(パソコン将棋)WCSC29一次予選36位、SDT5予選42位▲(パソコン囲碁)AI竜星戦予選16位

Crieitは誰でも投稿できるサービスです。 是非記事の投稿をお願いします。どんな軽い内容でも投稿できます。

また、「こんな記事が読みたいけど見つからない!」という方は是非記事投稿リクエストボードへ!

有料記事を販売できるようになりました!

こじんまりと作業ログやメモ、進捗を書き残しておきたい方はボード機能をご利用ください。
ボードとは?

コメント