[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
171(3): 2019/09/14(土)23:35 ID:igft4myA(4/5) AAS
{}∈{{{}}} を仮定する。
右辺の元は {{}} のみであるから {}={{}} が成立。
よって、{}={{}}={{{}}}=・・・が成立。※
ところで自然数全体の集合Nを
>以上の構成は、自然数を表すのに有用で便利そうな定義を選んだひとつの結果であり、他にも自然数の定義は無限にできる。
>例えば、0 := {}, suc(a) := {a} と定義したならば、
>0 := {}
>1 := {0} = {{}}
>2 := {1} = {{{}}}
>3 := {2} = {{{{}}}}
省5
172(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/14(土)23:36 ID:QdZ5TU5n(17/19) AAS
>>169
いまのおサルとニワトリの推移的集合論論争に、参考になりそうなのが
下記の檜山正幸さんの「現場の集合論としての有界素朴集合論」だろうね
おサルには、ちょっと難しいだろうがｗ（＾＾；
外部ﾘﾝｸ:m-hiyama.hatenabloｇ.com/entry/20171024/1508830602
檜山正幸のキマイラ飼育記 (はてなBlog)
2017-10-24
現場の集合論としての有界素朴集合論
(抜粋)
内容：
省14
173(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/14(土)23:36 ID:QdZ5TU5n(18/19) AAS
>>172
つづき
アトムと集合
以下、素朴集合論とはユーザーフレンドリーなZFC集合論の意味だとします。
素朴集合論には、集合でないモノがあります。例えば、整数3は集合でしょうか？ 普通の感覚では、3は集合ではありません。しかし、ZFC集合論では全てのモノが集合です。もちろん、整数3もZFC集合論における集合です。
要素を持たないモノをアトム（atom; 原子）と呼びます。素朴集合論で、3はアトムです。ZFC集合論では、3はアトムではありません。このギャップを埋める方法は、割とイイカゲンで、いくつかの集合を特定して、それらの集合の要素は「アトムと見なそう」と約束するだけです。
アトムを認めると、何がアトムで何がアトムでないかイチイチ決めなくてはいけないので面倒になります。ですが、我々がプログラミング言語やデータベースの話をするときは、スカラー型、複合データ型、コレクション型のような区別をするので、アトムを認めたほうがよいでしょう。
省8
174(1): 2019/09/14(土)23:40 ID:VYIPOabR(26/30) AAS
>>172
誤 おサルとニワトリの推移的集合論論争
正 人間様からニワトリへの集合論の初歩の指導
>>171
＞{}∈{{{}}} を仮定する。
＞右辺の元は {{}} のみであるから {}={{}} が成立。
＞よって、{}={{}}={{{}}}=・・・が成立。※
ニワトリのことだから、本気でそう思ってそうｗ
175(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/14(土)23:40 ID:QdZ5TU5n(19/19) AAS
>>171
>{}∈{{{}}} を仮定する。
>右辺の元は {{}} のみであるから {}={{}} が成立。
意味分からん
「{}={{}} が成立」？
その式自身が矛盾だろ？ｗ（＾＾；
176(1): 2019/09/14(土)23:45 ID:igft4myA(5/5) AAS
>>175
{}∈{{{}}} を仮定すると {}={{}} にならざるを得ないんですよ
それが不満なら仮定 {}∈{{{}}} が偽であることを認めるしかないですね（＾＾
177: 2019/09/14(土)23:45 ID:VYIPOabR(27/30) AAS
>>173-174
勉強嫌いのニワトリは集合をアトムの集まりとしか認識してないだろうなｗ
自然数もアトム 実数もアトム
そのレベルだとそもそも∈の推移性自体が意味をもたないｗ
なぜならx∈Sとしたとき、xは集合でなくアトムだから y∈xなんてことは想定外ｗ
それじゃトンデモになるわけだな
公理的集合論に関する無理解度は
文系も理系（数学科以外）も
大して変わらないｗ
178: 2019/09/14(土)23:48 ID:VYIPOabR(28/30) AAS
>>176
＞{}∈{{{}}} を仮定すると {}={{}} にならざるを得ないんですよ
その通り
{{{}}}の要素は{{}}だけだから
もし{}が要素なら{{}}と同じだ
ということになるｗ
>>175
>意味分からん
ニワトリは自分の主張からトンデモな結論が導かれることにも気づけないｗ
179: 2019/09/14(土)23:50 ID:VYIPOabR(29/30) AAS
ニワトリ語講座ｗ
１．「意味わからん」
「勘弁して、ボクはアタマ悪いんです」の意ｗ
２．「笑える」
「ごめんなさい、もう許して」の意ｗ
180(1): 2019/09/14(土)23:55 ID:VYIPOabR(30/30) AAS
ところで「分からない問題はここに書いてね456」にて
推移的集合に関する問題を出題してみたところ
2chｽﾚ:math
速攻で正しい回答が返ってきました
2chｽﾚ:math
これが数学板の実力ですよｗ
181(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/15(日)00:02 ID:NNU+uf1a(1/16) AAS
>>175 補足
(引用開始)
>>171
>{}∈{{{}}} を仮定する。
>右辺の元は {{}} のみであるから {}={{}} が成立。
(引用終り)
檜山正幸さんにならって、”現場の素朴集合論”でのたとえ話をすると
１）袋Xの中に、二つの物が入っている
大工道具セットの箱A（ノコギリ、金槌、ドライバー、・・・）
釣り道具セットの箱B（釣り竿、釣り針、釣り糸、・・・）
省11
182(1): 2019/09/15(日)00:11 ID:g2F0dADR(1/20) AAS
>>181
＞袋Xの中にも、確かにノコギリは入っている
＞但し、大工道具セットの箱Aの中ではあるが
＞この場合に、「ノコギリ∈袋X」だよというのが、
＞ニワトリの主張です（多分ヒトも）
悪いがヒトはニワトリほど馬鹿じゃないよ
X={A,B}
A={ノコギリ、金槌、ドライバー、・・・}
B={釣り竿、釣り針、釣り糸、・・・}
この場合
省6
183: 2019/09/15(日)00:15 ID:g2F0dADR(2/20) AAS
ニワトリの考え方では、ZFCの集合は全部空集合に等しくなるｗ
なぜならZFCに集合でないアトムは存在しないから
{}がどんな風に重なり合っていても、
{}の中にアトムがないから
ニワトリにとって中身は空っぽであるｗ
184: 2019/09/15(日)00:17 ID:g2F0dADR(3/20) AAS
今夜はニワトリの丸焼きでパーティだな
祭りだ！祭りだ！！祭りだ！！！祭りだ！！！！
動画ﾘﾝｸ[YouTube]
185: 2019/09/15(日)00:25 ID:g2F0dADR(4/20) AAS
ニワトリとヒトの差は、指原莉乃と中元すず香くらい違う
っていおうとおもったけど
今見たらさしこ結構歌上手いじゃんｗ
ってことでこの喩えは撤回ねｗ
指原莉乃
動画ﾘﾝｸ[YouTube]
186: 2019/09/15(日)00:33 ID:g2F0dADR(5/20) AAS
ま、しかし「ゆび祭り」にBABYMETALを呼ばなかったのは
さしこ一生の不覚だろうｗ
動画ﾘﾝｸ[YouTube]
187(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/15(日)07:21 ID:NNU+uf1a(2/16) AAS
>>180
(引用開始)
ところで「分からない問題はここに書いてね456」にて
推移的集合に関する問題を出題してみたところ
2chｽﾚ:math
速攻で正しい回答が返ってきました
2chｽﾚ:math
これが数学板の実力ですよｗ
(引用終り)
それ、自分が正しいことの証明になっていない！！
省1
188(9): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/15(日)07:31 ID:NNU+uf1a(3/16) AAS
さて
>>182
>XとYは集合として異なります
ええ、>>181で「４）袋X≠袋Ｙ です（素朴集合論として）」と自分でも書いていますよ
理解できないようなので、もう少し例を増やします（>>181の”・・・”は省きます）
１）素朴集合の元（要素）として
・大工道具セットの箱A（ノコギリ、金槌、ドライバー）
・釣り道具セットの箱B（釣り竿、釣り針、釣り糸）
・ケースに入れたノコギリ＝{ノコギリ} （一元集合とする（ノコギリはよく使うため））
・大工道具セットの箱C（金槌、ドライバーのみ）（ノコギリを出した）
省27
189(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/15(日)07:34 ID:NNU+uf1a(4/16) AAS
>>188 タイポ訂正
・上記４）の「ノコギリ∈Z」のように考える方が、正解なのです
↓
・上記５）の「ノコギリ∈Z」のように考える方が、正解なのです
分かると思うが（＾＾；
190(1): 2019/09/15(日)08:02 ID:g2F0dADR(6/20) AAS
>>188
＞５）ノコギリが集合だと考えると
＞ ・ノコギリ⊂{ノコギリ} （包含関係）
＞よって
＞ ・ノコギリ⊂Z
＞ つまり、ノコギリはZに包含されているのです
これはヒドイｗ
もちろん誤り
ノコギリ＝{{}}とする
{{}}⊂{{{}}} ではない
省21
上下前次1-新書関写板覧索設栞歴
あと 812 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.039s