[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
114: 2019/09/13(金)22:26 ID:QEVZazxA(10/18) AAS
>>105
＞賢いニワトリ
そう思ってる時点でニワトリはバカｗ
>>102はバカでも分かると思って引用してやったまでだが
書いてあることは筑波大の坪井氏のpdfと大して変わらん
要するにニワトリは言葉の定義を公理と勘違いする
大馬鹿っぷりを演じたまで
どこに
「すべての集合は推移的だ！」「すべての集合は順序数だ！」
とかいう公理がある思う馬鹿がいるかよｗ
115: 2019/09/13(金)22:28 ID:QEVZazxA(11/18) AAS
>>106
＞賢いニワトリ
そう思ってる時点でニワトリはバカｗ
>>112
ニワトリは、集合が推移的とか順序数であるとかいう用語の定義を
「すべての集合は推移的でありしたがって順序数である」
と読み違える正真正銘の馬鹿だから
分かったつもりのワカランチンなんだな、これがｗｗｗ
116: 2019/09/13(金)22:34 ID:QEVZazxA(12/18) AAS
集合論のどのテキストにも
「全ての集合は推移的である」とか
「全ての集合は順序数である」とか
いう嘘は書いてない
ニワトリは
「集合ｘが推移的であるとは・・・である」
「集合ｘが順序数であるとは・・・である」
という言葉の定義を、「公理」と読み違えるほどの
正真正銘の馬鹿野郎である
おそらく日本人ではなく朝鮮人だろうｗ
省1
117: 2019/09/13(金)22:37 ID:QEVZazxA(13/18) AAS
ニワトリは{{{}}}が集合でないと思ってるらしいｗ
（なぜなら推移的でもないし順序数でもないからｗ）
しかも{{}}⊂{{{}}}だと思うほどの白痴である
{}は{{{}}}の要素でないのだから
{{}}⊂{{{}}}なわけがないのは
小学生でもわかることだが
なんせ人間どころか哺乳類ですらない
鳥類のニワトリだから仕方ないｗｗｗ
118(5): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/13(金)23:20 ID:Ct8Lh9wH(12/15) AAS
>>99
(引用開始)
>>89
>”フォン・ノイマン宇宙の全ての集合が推移的なわけ”ですよね
これはヒドイｗｗｗ
答えは否
最も簡単な反例{{{}}}は既にしめした
理解できない？頭悪すぎだろ？
(引用終り)
フォン・ノイマン宇宙Vの中に、"推移的"ではない、つまり、反例があるとねｗ
省17
119(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/13(金)23:21 ID:Ct8Lh9wH(13/15) AAS
>>118
つづき
外部ﾘﾝｸ:en.wikipedia.org
Urelement
(抜粋)
In set theory, a branch of mathematics, an urelement or ur-element (from the German prefix ur-, 'primordial') is an object that is not a set, but that may be an element of a set. Urelements are sometimes called "atoms" or "individuals."
Contents
1 Theory
2 Urelements in set theory
3 Quine atoms
省7
120: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/13(金)23:23 ID:Ct8Lh9wH(14/15) AAS
>>119
つづき
Adding urelements to the system New Foundations (NF) to produce NFU has surprising consequences.
In particular, Jensen proved[5] the consistency of NFU relative to Peano arithmetic; meanwhile, the consistency of NF relative to anything remains an open problem, pending verification of Holmes's proof of its consistency relative to ZF.
Moreover, NFU remains relatively consistent when augmented with an axiom of infinity and the axiom of choice.
Meanwhile, the negation of the axiom of choice is, curiously, an NF theorem. Holmes (1998) takes these facts as evidence that NFU is a more successful foundation for mathematics than NF.
Holmes further argues that set theory is more natural with than without urelements, since we may take as urelements the objects of any theory or of the physical universe.[6]
In finitist set theory, urelements are mapped to the lowest-level components of the target phenomenon, such as atomic constituents of a physical object or members of an organisation.
(引用終り)
以上
121: 2019/09/13(金)23:32 ID:QEVZazxA(14/18) AAS
>>118
＞フォン・ノイマン宇宙Vの中に、"推移的"ではない、つまり、反例があるとね
お前、アホだろｗ
フォン・ノイマン宇宙Vが推移的であるからといって
Vの任意の要素である集合が推移的だとはいえない
一番簡単な例{{{}}}を示してやっただろｗ
{}∈{{}}、{{}}∈{{{}}} だが、¬（{}∈{{{}}})
これが理解できないようじゃ、数学は絶対無理だから諦めろｗ
＞おサルの集合論は、面白いな
省4
122: 2019/09/13(金)23:34 ID:QEVZazxA(15/18) AAS
>>118
＞順序数は遺伝的に推移的な集合として定義される
しかし一般の集合は順序数どころか推移的集合でもないものがあるｗ
一番簡単な例{{{}}}を示してやっただろｗ
{}∈{{}}、{{}}∈{{{}}} だが、¬（{}∈{{{}}})
これが理解できないようじゃ、数学は絶対無理だから諦めろｗ
123: 2019/09/13(金)23:39 ID:QEVZazxA(16/18) AAS
ああ、そうそう
フォン・ノイマン宇宙 Vや 構成可能宇宙 L は
遺伝的に推移的なクラスではない
（順序数全体のクラスOnは遺伝的に推移的なクラス）
124(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/13(金)23:39 ID:Ct8Lh9wH(15/15) AAS
>>118 追加
まあ、ご参考
・フォン・ノイマン宇宙「整礎的集合から得られたでかい領域」
・構成可能宇宙「人間に扱える有限モデルに行き着く領域」
下記でも，見て下さい
（参考）
外部ﾘﾝｸ:www.practmath.com
実用的な数学を
2019年4月26日 投稿者: TAKAN
宇宙 Universe
省35
125(1): 2019/09/13(金)23:41 ID:QEVZazxA(17/18) AAS
>>124
自分自身理解できない文章コピペして誤魔化さずに
{{{}}}が推移的でない集合であることを理解しようね
アホのニワトリ君ｗｗｗｗｗｗｗ
126(2): 2019/09/13(金)23:46 ID:QEVZazxA(18/18) AAS
{{{}}}は推移的でないから
{{}}∈{{{}}}だが、¬（{{}}⊂{{{}}}）である
ここまで簡単な例でニワトリの馬鹿主張を
木端微塵に打ち砕けるのは実にキモチがイイｗ
127(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/14(土)00:12 ID:QdZ5TU5n(1/19) AAS
>>124 追加
過去スレで、矢田部俊介先生の「公理論的集合論（情報科学特別講義 III）」も取り上げた記憶があるね〜（＾＾
おもしろいね〜ｗ
外部ﾘﾝｸ:researchmap.jp
矢田部俊介
外部ﾘﾝｸ:researchmap.jp
資料公開
タイトル 公理論的集合論
カテゴリ 講義資料
概要 お茶の水女子大学2012年度集中講義「情報科学特別講義III」（2013年2月18日?22日）授業要旨
省21
128(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/14(土)00:14 ID:QdZ5TU5n(2/19) AAS
>>125-126
フォン・ノイマン宇宙Vの中に、"推移的"ではない、つまり、反例があるとね
笑えるわｗ（＾＾；
129(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/14(土)00:32 ID:QdZ5TU5n(3/19) AAS
>>127 追加
外部ﾘﾝｸ:researchmap.jp
公理論的集合論（情報科学特別講義 III）お茶の水女子大学2012年度集中講義「情報科学特別講義III」（2013年2月18日?22日）授業要旨
矢田部俊介 京都大学文学部大学院文学研究科
2013 年 2 月 17 日
(抜粋)
P4
2.2.1 順序数とブラリ・フォルティのパラドックス
定義 2.8 (順序数) x が順序数であるとは、x 上で ∈ は以下の条件を満たす
? 推移的である：(∀y, z)[z ∈ y ∧ y ∈ x → z ∈ x],
省6
130(1): 2019/09/14(土)07:22 ID:VYIPOabR(1/30) AAS
>>128
笑われてるのはニワトリのほう
反例 {{{}}}
証明 {}∈{{}} {{}}∈{{{}}} しかし {}∈{{{}}}でない
したがって {{}}⊂{{{}}}
矢田部氏はツイッターやってるから
直接聞いてみ？
Twitterﾘﾝｸ:ytb_at_twt
「推移的でない集合なんてないですよね？」って
速攻で否定されるからｗ
省1
131: 2019/09/14(土)07:27 ID:VYIPOabR(2/30) AAS
>>129
ニワトリ 全然わかってないね
順序数は存在するよ
貴様は「順序数でない集合は存在しない」とわめきちらしてるから
実にわかりやすい反例を示してやった
なんならツイッターで聞いてみろってｗ
くるる氏とか集合論の研究者だから
Twitterﾘﾝｸ:kururu_goedel
Twitterﾘﾝｸ:5chan_nel (5ch newer account)
132: 2019/09/14(土)07:42 ID:VYIPOabR(3/30) AAS
>>30
＞”元x も一つの集合だと考える”とすると、x ∈ y → x ⊂ y だろうと
＞しかし、ZFC公理系から導けると思って、トライしたが、残念ながらできなかった（＾＾；
＞（そういう文典も探したが、見つけられなかった）
ZFCから導けるわけないｗ
反例{{{}}}が存在するからｗｗｗ
＞しかし、我々の通常接する素朴集合論に近い議論では、
＞”x ∈ y → x ⊂ y ”を認めた方が良いという結論に至った
馬鹿丸出し
素朴集合論でも{{{}}}は集合
省3
133: 2019/09/14(土)07:44 ID:VYIPOabR(4/30) AAS
ニワトリ、集合論研究者にツイッターで尋ねて爆死の図
ニワトリ「ZFCで”x ∈ y → x ⊂ y”は証明できますよね？」
研究者 「アホか！反例があるわい！」
134: 2019/09/14(土)08:29 ID:igft4myA(1/5) AAS
サルは５ちゃんやめて近所の中学生に教えてもらえ
これ以上バカ晒すな
135(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/14(土)11:27 ID:QdZ5TU5n(4/19) AAS
>>130
(引用開始)
反例 {{{}}}
証明 {}∈{{}} {{}}∈{{{}}} しかし {}∈{{{}}}でない
したがって {{}}⊂{{{}}}
(引用終り)
そこの最後は、”¬（{{}}⊂{{{}}}）”の間違いだよねｗ
（あなたの>>126より）
"{{{}}}は推移的でないから
{{}}∈{{{}}}だが、¬（{{}}⊂{{{}}}）である"
省14
136(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/14(土)11:27 ID:QdZ5TU5n(5/19) AAS
>>135
つづき
外部ﾘﾝｸ:googology.wikia.org
階層内階層基数 | 巨大数研究 Wiki | FANDOM powered by Wikia
(抜粋)
フォン・ノイマン宇宙
フォン・ノイマン宇宙とはZFCで扱うことが出来る全ての集合を漸増的に定義する真クラスである。
それは集合ではないが、「全ての集合の集合」とみなすことができる。
それは累積階層という、次のように定まる超限列により定義される:
外部ﾘﾝｸ:ja.wikipedia.org
省13
137(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/14(土)11:28 ID:QdZ5TU5n(6/19) AAS
>>136
つづき
外部ﾘﾝｸ:ja.wikipedia.org
公理的集合論
(抜粋)
集合の公理系
現在一般的に使われている集合の公理系は以下の ZFC である。
・対の公理 任意の要素 x, y に対して、x と y のみを要素とする集合が存在する：
これを{x,y}で表す。
・和集合の公理 任意の集合 X に対して、X の要素の要素全体からなる集合が存在する：
省16
138(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/14(土)11:28 ID:QdZ5TU5n(7/19) AAS
>>137
つづき
以下、余談だがご参考まで（＾＾；
(>>67)
外部ﾘﾝｸ:ja.wikipedia.org
フォン・ノイマン宇宙
(抜粋)
定義
この累積的階層は順序数のクラスによって添え字付けられた集合Vαの集まりであり、特に、Vαは階数α未満の集合全てによる集合である。ゆえに各順序数 α に対して集合Vαが超限帰納法によって以下のように定義できる:
・V0は空集合, {}とする。
省18
139(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/14(土)11:29 ID:QdZ5TU5n(8/19) AAS
>>138
つづき
(>>92-93)
外部ﾘﾝｸ:lemniscus.hatenabloｇ.com/entry/20120616/1339838683#sec6-7
再帰の反復blog
2012-06-16
反復的集合観と公理的集合論
(抜粋)
整礎原理
自分自身を含んでいたり包含関係が循環することがないため、「∈」について順序関係が成立することになる。
省14
140(4): 2019/09/14(土)11:32 ID:VYIPOabR(5/30) AAS
フォン・ノイマン宇宙
集合Xに対してP(X)でXのべき集合を表す
V0={}
V1=P(V0)={{}}
V2=P(V1)={{},{{}}}
V3=P(V2)={{},{{}},{{{}}},{{},{{}}}}
推移的でない集合{{{}}}は、V3で現れる
141: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/14(土)11:33 ID:QdZ5TU5n(9/19) AAS
>>139 タイポ訂正
またこの空集合を元にして、{Φ},{{Φ,{{{Φ},{{{{Φ,…とか{Φ,{Φ,{Φ,{Φ},{{Φ},{Φ,{Φ},{{Φ,{{{Φ,…といった集合も存在していてほしい。
↓
またこの空集合を元にして、{Φ},{{Φ}},{{{Φ}}},{{{{Φ}}}},…とか{Φ,{Φ}},{Φ,{Φ},{{Φ}}},{Φ,{Φ},{{Φ}},{{{Φ}}}},…といった集合も存在していてほしい。
（全部置換で ”}}→消し” の操作をやったら、影響が思わぬ所に出た（＾＾； ）
142(1): 2019/09/14(土)11:36 ID:VYIPOabR(6/30) AAS
>>138
>Vの要素は全て整礎集合
「整礎集合は全て推移的集合」と誤解する馬鹿ｗｗｗ
143(1): 2019/09/14(土)11:39 ID:VYIPOabR(7/30) AAS
>>140
Vαはそれ自身は推移的だが、その要素の集合は推移的でない
（Vαは順序数ではないから）
推移的でない集合{{{}}}は、V3で現れる
144: 2019/09/14(土)11:40 ID:VYIPOabR(8/30) AAS
ニワトリ、V3で敗北ｗｗｗ
動画ﾘﾝｸ[YouTube]
145(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/14(土)11:53 ID:QdZ5TU5n(10/19) AAS
>>140
>推移的でない集合{{{}}}は、V3で現れる
それおサルの集合論でしょ？ｗ（＾＾；
Φ∈{}∈{{}}∈{{{}}}
だよね
だから、∈順序の推移律より、{}∈{{{}}が成立して、{{}}の要素{}が{{{}}の要素でもあるので、
「 {{}}⊂{{{}}}成立」！！ｗ
よって、集合{{{}}}は推移的です
あなたの主張は、>>139 の 「再帰の反復blog 2012-06-16 反復的集合観と公理的集合論」の
「整礎原理」を否定しているよな！！ｗ（＾＾；
省15
146(2): 2019/09/14(土)12:15 ID:VYIPOabR(9/30) AAS
AA省
147: 2019/09/14(土)12:20 ID:VYIPOabR(10/30) AAS
次スレのテンプレに記載すべき重要発言
「ニワトリ曰く：{{{}}}は推移的集合
（偽）証明 ∈順序の推移律より、{}∈{{{}}}が成立して{{}}⊂{{{}}}成立」
ｗｗｗ
ニワトリは鳥目だから{{{}}}の一番外側の{}を外した中に
{{}}のほかに{}が見えるらしいｗ （ヒトには見えない）
ニワトリは認知症だな
アルツハイマーかピックかレビー小体型かは知らんがｗ
148: 2019/09/14(土)12:24 ID:VYIPOabR(11/30) AAS
雑談スレも77で、ニワトリの馬鹿っぷりの決定的証拠が見つかったなｗ
数学板でも数々の馬鹿を見てきたがここまで酷い馬鹿はお目にかかったことがないｗ
ニワトリの今回の馬鹿発言に比べたら「哀れな素人」の無限否定論なんか全然マシｗ
149: 2019/09/14(土)13:07 ID:igft4myA(2/5) AAS
だから言ってるだろ
サルは５ちゃんやめろと、近所の中学生に数学を教えてもらえと
人の言うこと聞かないからこうなる
バカ晒して楽しいか？
150(3): 2019/09/14(土)13:42 ID:igft4myA(3/5) AAS
>>82で間違いを認めておけば深手にならずに済んだのに
これが本当の猿知恵ｗ
151(1): 2019/09/14(土)15:41 ID:VYIPOabR(12/30) AAS
>>150
ニワトリ 破滅への道 ?
>> ニワトリの発言
＞ 他者の発言
１．ニワトリ 調子にのって口がすべるｗ
2chｽﾚ:math
>>あなたには、Ω ⊂ R^Nと書いた方が分り易かったですか？ｗ
２．あまりの馬鹿発言なので、当然つっこまれるｗ
2chｽﾚ:math
＞Ω ⊂ R^N と Ω ∈ R^N はまったく別ものである
省19
152(1): 2019/09/14(土)15:42 ID:VYIPOabR(13/30) AAS
>>150
ニワトリ 破滅への道 ?
>> ニワトリの発言
＞ 他者の発言
６．さらに２）の反例も指摘され、ボロボロｗ
2chｽﾚ:math
>>２）二つの集合A,Bで、A ⊂ B → A ∈ B
＞反例：A=B={1} A⊂B だが、A∈B ではない
＞∵集合Bに{1}という元は属していない。
７．ニワトリ なぜか２）の誤りはあっさり認めるも １）は諦めずｗ
省9
153(3): 2019/09/14(土)16:01 ID:VYIPOabR(14/30) AAS
>>150-152
ニワトリ 破滅への道 ?
>> ニワトリの発言
＞ 他者の発言
１．現スレで、前スレ845の自爆発言を蒸し返されるｗ >>10-11
２．さらに、別の人に１）２）を再度否定されるｗｗ >>21
３．ニワトリ、２）については前スレ865で撤回したというも
１）については言い張り続ける再自爆発言ｗｗｗ >>30
>>うん、それね、おれ間違っているね（＾＾；
>>まず、上記２）は、正則性公理から反例 ｘ not∈ x
省15
154(3): 2019/09/14(土)16:14 ID:VYIPOabR(15/30) AAS
>>153
ニワトリ 破滅への道 ?
>> ニワトリの発言
＞ 他者の発言
３． ニワトリ 前スレ845の１）について見当違いな理由による正当化発言ｗ >>30-31
（１） まず順序数について成り立つことを述べる （正しいのはここだけｗ）
>>１）二つの集合A,Bで、A ∈ B → A ⊂ B
>>「基本的な考え方は，∈ がその上で整列順序になる集合たちのクラスを
>>上手に定義して，それに属する集合を順序数として定義すること」
>>（要するに、∈−順序な）
省19
155(1): 2019/09/14(土)16:22 ID:VYIPOabR(16/30) AAS
>>154
ニワトリ 破滅への道 ?
>> ニワトリの発言
＞ 他者の発言
５． ニワトリ、完全に集合＝順序数、と誤解するトンデモぶりｗ >>81
>>・∈−順序は、公理的集合論ＺＦＣの目玉の重要キーワードでしょ？
>> これで、帰納法及び超限帰納法が可能になるんだ
>>・フォン・ノイマン宇宙（>>67）も、重要キーワードでしょ？
>> フォン・ノイマン宇宙では、∈−順序が成り立ち、∈が推移律を保つ
>>・推移律：x∈y∈z で、ここでｘはｙの任意の元として、
省10
156: 2019/09/14(土)16:31 ID:VYIPOabR(17/30) AAS
>>153-154
ニワトリ 破滅への道 ?
>> ニワトリの発言
＞ 他者の発言
５． ニワトリ、公理でもなんでもない∈順序の推移律を乱用して
集合論の定理を否定するトンデモモンスターになり果てるｗ >>145
＞推移的でない集合{{{}}}
>>それおサルの集合論でしょ？ｗ（＾＾；
>>{}∈{{}}∈{{{}}}だよね
>>だから、∈順序の推移律より、{}∈{{{}}が成立して、
省13
157: 2019/09/14(土)16:33 ID:VYIPOabR(18/30) AAS
>>153-155
ニワトリ 破滅への道 ?
>> ニワトリの発言
＞ 他者の発言
７． ニワトリ、公理でもなんでもない∈順序の推移律を乱用して
集合論の定理を否定するトンデモモンスターになり果てるｗ >>145
＞推移的でない集合{{{}}}
>>それおサルの集合論でしょ？ｗ（＾＾；
>>{}∈{{}}∈{{{}}}だよね
>>だから、∈順序の推移律より、{}∈{{{}}が成立して、
省13
158: 2019/09/14(土)16:42 ID:VYIPOabR(19/30) AAS
ニワトリがトンデモになりさがった原因の分析
１）そもそも∈（所属）と⊂（包含）の違いが分かってない
「ベン図」発言からも分かるように、
∈（所属）も⊂（包含）と「同様」だ
と思い込んでる
２）わけもわからずかき集めた無駄な知識を自分勝手に解釈
整礎の意味を理解せず、勝手に推移性が成り立つと誤解
しかも「選択公理により整列定理が成り立つ」とかいう
聞きかじりの知識から、
「どんな集合も∈による整列順序が存在する！」（つまり順序数）
省4
159: 2019/09/14(土)16:48 ID:VYIPOabR(20/30) AAS
トンデモモンスター ここに眠る
「{}∈{{}}∈{{{}}}だから、∈順序の推移律より、{}∈{{{}}が成立！
{{}}の要素{}が{{{}}の要素でもあるので、{{}}⊂{{{}}}成立！！
よって、集合{{{}}}は推移的」
160(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/14(土)21:44 ID:QdZ5TU5n(11/19) AAS
おサル、踊ってくれて、ありがとう ｂｙ サル回しのスレ主（＾＾
161: 2019/09/14(土)22:28 ID:VYIPOabR(21/30) AAS
>>160
ニワトリ 反省する謙虚さゼロ
クソだな 死ねよ
162: 2019/09/14(土)22:29 ID:VYIPOabR(22/30) AAS
ニワトリの馬鹿発言
「{}∈{{}}∈{{{}}}だから、∈順序の推移律より、{}∈{{{}}が成立！」
死ねよ 白痴
163(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/14(土)22:33 ID:QdZ5TU5n(12/19) AAS
>>140 >>142-143
(引用開始)
フォン・ノイマン宇宙
集合Xに対してP(X)でXのべき集合を表す
V0={}
V1=P(V0)={{}}
V2=P(V1)={{},{{}}}
V3=P(V2)={{},{{}},{{{}}},{{},{{}}}}
推移的でない集合{{{}}}は、V3で現れる
Vαはそれ自身は推移的だが、その要素の集合は推移的でない
省33
164(5): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/14(土)22:34 ID:QdZ5TU5n(13/19) AAS
>>163
つづき
外部ﾘﾝｸ:www.sci.shizuoka.ac.jp 数学基礎論サマースクール 選択公理と連続体仮説
外部ﾘﾝｸ[pdf]:www.sci.shizuoka.ac.jp
公理的集合論の基礎 酒井 拓史 神戸大学 2019 年 数学基礎論サマースクール
(抜粋)
P3
公理的集合論の枠組み
公理的集合論は述語論理の枠組みのもとで展開される．
・集合論の言語L∈： 非論理記号は二項関係記号∈ のみ
省17
165(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/14(土)22:37 ID:QdZ5TU5n(14/19) AAS
>>164 文字化け訂正
∈｜ X := {?x; y? ∈ X × X | x ∈ y}
↓
∈｜ X := {(x; y?)∈ X × X | x ∈ y}
なお
（再度強調：「基礎公理により，すべての集合X に対して」ですよ（＾＾； ）
整礎的関係
R を集合X 上の二項関係とする．
基礎公理により，すべての集合X に対して，
∈｜ X := {(x; y?)∈ X × X | x ∈ y}
省2
166: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/14(土)22:39 ID:QdZ5TU5n(15/19) AAS
>>165
>基礎公理により，すべての集合X に対して
ああ、また文字化けしたか
まあ、原文PDF 外部ﾘﾝｸ[pdf]:www.sci.shizuoka.ac.jp
公理的集合論の基礎 酒井 拓史 神戸大学 2019 年 数学基礎論サマースクール
見て下さい
よほどその方が見やすい（＾＾；
167: 2019/09/14(土)22:40 ID:VYIPOabR(23/30) AAS
>>163-165
いくら書いても
{}∈{{{}}}
なんて正当化できませんから
残念！！！
168: 2019/09/14(土)22:42 ID:VYIPOabR(24/30) AAS
ニワトリ集合論ｗ
{}∈{{{}}}
ギャハハハハハハｗｗｗｗｗｗｗ
169(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/14(土)23:14 ID:QdZ5TU5n(16/19) AAS
>>163 追加
（下記、藤田先生）
「要素所属関係∈」
とか
「モストフスキの崩壊定理により, 外延性公理の整礎的モデルは推移的集合の∈-構造と同型になる」
とか
公理的集合論では、「要素所属関係∈」は、”ヒトの集合論の肝”ですよ（＾＾；
（参考：藤田 博司先生（＾＾； ）
外部ﾘﾝｸ[pdf]:tenasaku.com
弱コンパクト基数
省21
170: 2019/09/14(土)23:28 ID:VYIPOabR(25/30) AAS
>>169
藤田氏もツイッターやってるから聞いてみな
「∈は推移的だから{}∈{{{}}}ですよね」ってｗ
・・・速攻で否定されるぞｗ
Twitterﾘﾝｸ:fujitapiroc1964
Twitterﾘﾝｸ:5chan_nel (5ch newer account)
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
191: 2019/09/15(日)08:06 ID:g2F0dADR(7/20) AAS
>>188
＞・⊂と∈との違いは・・・
⊂は推移的だが、∈は一般的に推移的ではない、ということ
ということで根本的に似てない
192: 2019/09/15(日)08:08 ID:g2F0dADR(8/20) AAS
蛇足
>>189
＞分かると思うが
ニワトリの言い訳根性が実に卑しい
193(9): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/15(日)08:12 ID:NNU+uf1a(5/16) AAS
>>188 追加
(引用開始)
・⊂と∈とは、よく似ているってこと
・⊂と∈との違いは、∈は集合の元（要素）に適用されるが、⊂は広く集合の元（要素）以外にも適用されること
・ところが、公理的集合論では、元（要素）もまた集合なので、⊂と∈との敷居は素朴集合論より低いのです
・上記５）の「ノコギリ∈Z」のように考える方が、正解なのです
(引用終り)
別の例を挙げよう（最初は素朴集合論ベースとして）
１）自然数の集合N、偶数の集合N2、奇数の集合Nodd
２）集合N’＝{N2,Nodd} (偶数の集合と奇数の集合とを入れた集合)
省21
194(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/15(日)08:15 ID:NNU+uf1a(6/16) AAS
>>190
＞要素をたどっていく操作は必ず有限回でおわる
要素をたどっていく操作は、∈関係によります
QED
（＾＾；
195(1): 2019/09/15(日)08:23 ID:qglvvszf(1/2) AAS
>>193
偶数の集合 = {2} = {{1}}
1∈{1}⊂偶数の集合
スレ主によると
1∈偶数の集合
196(1): 2019/09/15(日)08:26 ID:g2F0dADR(9/20) AAS
>>193
＞１）自然数の集合N、偶数の集合N2、奇数の集合Nodd
＞２）集合N’＝{N2,Nodd} (偶数の集合と奇数の集合とを入れた集合)
＞３）ｓ＝{2,4,6}という集合は、NとN’両方に含まれます（部分集合）
これまたヒドイｗ
ｓ⊂N s⊂N2 だが、s⊂N'ではない
＞５） {2}は、NとN’両方に含まれます（両方の部分集合）
これもヒドイｗ
省19
197: 2019/09/15(日)08:27 ID:g2F0dADR(10/20) AAS
>>194
＞要素をたどっていく操作は、∈関係によります
∈関係が推移的である必要はありません
R.I.P
198(1): 2019/09/15(日)08:32 ID:g2F0dADR(11/20) AAS
>>193
追伸
＞集合N’＝{N2,Nodd} (偶数の集合と奇数の集合とを入れた集合)
ニワトリはN2⊂N’だと思い込んでるだろうけど、も・ち・ろ・ん、違うよｗ
199(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/15(日)10:03 ID:NNU+uf1a(7/16) AAS
（>>113より）
外部ﾘﾝｸ:researchmap.jp
フォン・ノイマンと公理的集合論 渕野昌 28. Mai 2017
以下の文章は、 「現代思想」2013 年８月増刊号に，渕野昌，フォン・ノイマンと公理的集合論(2013), 208?223. として収録された論説である。
雑投稿／校正後の加筆訂正も含まれている。
誌掲載版では紙数の制限などのために削除した部分も再収録した。
上記を読むのに、下記が大変役に立ちました（＾＾
外部ﾘﾝｸ[pdf]:www.ivis.co.jp
代替集合論 （Alternative Set Theories）の調査 古賀明彦 2019年 6月 19日（水）
なお、追加でメモ貼り
省26
200(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/15(日)10:04 ID:NNU+uf1a(8/16) AAS
>>199
つづき
この問題に対して、おそらく数学の「歴史」は、今までのところ、あまりはかばかしい達成をあげていないんじゃないのかと思っている。
ただ、一つ。まあ、昔から知られている結果ではあるが、おもしろいアプローチが知られている。それが、
カテゴリー（圏論）
である。
集合論の圏論的な公理のうち評判のよいものを一つ選ぶと、形式ばらない要約は次のようになる。
ようするに、上記の引用にある圏論的な公理は
省10
201(1): 2019/09/15(日)10:11 ID:IzOPqE/a(1/10) AAS
>>187
往生際が悪いなこのサルはｗ
202(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/15(日)10:20 ID:NNU+uf1a(9/16) AAS
>>195
(引用開始)
偶数の集合 = {2} = {{1}}
1∈{1}⊂偶数の集合
スレ主によると
1∈偶数の集合
(引用終り)
素朴集合論のロジックと、公理的集合論のロジックとを、
意図して混用しているね（まあ、おれもやっているけどねｗ（＾＾； ）
素朴集合論のロジックでは、
省26
203(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/15(日)10:24 ID:NNU+uf1a(10/16) AAS
>>201
なんだｗ
「分からない問題はここに書いてね456」
（>>187ご参照）
に間違った回答を書いたのは
もう一匹だったか
それって、なれ合いのサクラ回答じゃんか！ｗ（＾＾；
204(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/15(日)10:31 ID:NNU+uf1a(11/16) AAS
>>200
>集合論ではない（「集合」と「属する」という「無定義用語」によって、公理系を記述していない。あくまで「圏論」流に、「対象Ａから対象Ｂへの射」という「無定義用語」しか本質的に使っていない。
”「集合」と「属する」という「無定義用語」によって”か
なるほど
「属する」（∈）は、「無定義用語」（未定義用語）だったか
確かに、公理を記述するとき、どうしても、「無定義用語」（未定義用語）は避けられない
それは、少ない方がいいのだが
公理的集合論では、「属する」（∈）は、「無定義用語」（未定義用語）だとすると
あとは、それをどう解釈し運用するかだな
そこを書いているのが、下記 >>164 酒井 拓史 神戸大学 だな（＾＾
省8
205(2): 2019/09/15(日)10:35 ID:IzOPqE/a(2/10) AAS
>>188
>５）もしノコギリが集合だと考えると
>・ノコギリ⊂{ノコギリ}⊂Z （包含関係）
大間違いｗ
ノコギリ⊂{ノコギリ} を仮定すると
包含関係の定義により、∀x∈ノコギリ⇒x∈{ノコギリ} でなければならないが、
{ノコギリ} の元はノコギリのみだから、ノコギリ={ノコギリ} であることが必要。
これはサルの大好きな正則性公理から直ちに否定されるｗ
だから言ってるだろ。近所の中学生に∈と⊂の違いを教えてもらえと、分かるまでROMってろと。
人の言うことを聞かないから恥を上塗る結果となる。学習しないサルだなあｗ
206(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/15(日)10:39 ID:NNU+uf1a(12/16) AAS
>>198
>＞集合N’＝{N2,Nodd} (偶数の集合と奇数の集合とを入れた集合)
>ニワトリはN2⊂N’だと思い込んでるだろうけど、も・ち・ろ・ん、違うよｗ
？
（>>193より）
集合N’＝{N2,Nodd} (偶数の集合と奇数の集合とを入れた集合)
(引用終り)
集合N’の正規の元は、たった二つ
では、集合N’は二つの元から成る有限集合か？
無限集合を内包していると考えるべしだろ？（＾＾
207(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/15(日)11:00 ID:NNU+uf1a(13/16) AAS
>>205
(引用開始)
大間違いｗ
ノコギリ⊂{ノコギリ} を仮定すると
包含関係の定義により、∀x∈ノコギリ⇒x∈{ノコギリ} でなければならないが、
{ノコギリ} の元はノコギリのみだから、ノコギリ={ノコギリ} であることが必要。
これはサルの大好きな正則性公理から直ちに否定されるｗ
(引用終り)
素朴集合論のロジックと、公理的集合論のロジックとを、
意図して混用しているね（まあ、おれもやっているけどねｗ（＾＾； ）
省20
208(1): 2019/09/15(日)11:02 ID:qglvvszf(2/2) AAS
>>206
> 集合N'は二つの元から成る有限集合か？
外部ﾘﾝｸ[pdf]:www.people.vcu.edu
p.13 Example 1.3, p.15 Example 1.4などを見て
Exercises for Section 1.3, 1.4あたりを解いてみれば？
209: 2019/09/15(日)11:12 ID:IzOPqE/a(3/10) AAS
>>193
>例えば、ｓ＝{2,4,6}という集合は、NとN’両方に含まれます（部分集合）
大間違いｗ
N' の元は N2 と Nodd のみであり、そのどちらも 2 ではないから 2∈N' ではない。
よって包含関係の定義から s⊂N' が否定される。
恥を上塗る前に近所の中学生に教えてもらえと言ってるのにまだ分からんか？
210: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/15(日)11:14 ID:NNU+uf1a(14/16) AAS
>>204 補足
外部ﾘﾝｸ:researchmap.jp
酒井拓史 サカイ ヒロシ
経歴
2013年11月 - 現在
神戸大学 システム情報学研究科 准教授
2010年10月 - 2013年10月
神戸大学 システム情報学研究科 講師
2008年10月 - 2010年9月
神戸大学 工学研究科 助手
211(1): 2019/09/15(日)11:16 ID:IzOPqE/a(4/10) AAS
>>207
>いや、そもそも、素朴集合論では、「ノコギリ」はアトム（元）であって、
>集合同士に適用する⊂（包含関係）は適用できない
ちょｗ
>５）もしノコギリが集合だと考えると
と、>>188で言ったのはおまえなんだがｗ
サル発狂ｗ
212(1): 2019/09/15(日)11:18 ID:IzOPqE/a(5/10) AAS
サルは頭が悪く勉強も嫌いだが、さらに自分で言ったことを次の瞬間には全否定するという発狂ぶりｗ
こんなキチガイ見たこと無いｗ
数学どころじゃないｗ
213(1): 2019/09/15(日)11:26 ID:IzOPqE/a(6/10) AAS
サルは気が狂ってるので精神病院で治療してもらえ
自分で「ノコギリを集合とする」と言っておきながら次の瞬間には「ノコギリは集合でない」とか、いくらなんでもキチガイ過ぎるだろ
上下前次1-新書関写板覧索設栞歴
あと 789 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.065s