[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
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
＞{}∈{{{}}} を仮定する。
＞右辺の元は {{}} のみであるから {}={{}} が成立。
＞よって、{}={{}}={{{}}}=・・・が成立。※
ニワトリのことだから、本気でそう思ってそうｗ
上下前次1-新書関写板覧索設栞歴
あと 828 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.033s