[過去ﾛｸﾞ]
現代数学の系譜 カントル 超限集合論2 (1002ﾚｽ)
現代数学の系譜 カントル 超限集合論2 http://rio2016.5ch.net/test/read.cgi/math/1576852086/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
256: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/01/03(金) 10:52:13.25 ID:ivt0JCXh >>255 補足 あと、>>254に書いたように ”極限 lim n→∞ xn には、xnをその属する集合の外に出す力があるという理解が正しい”のです で、極限 lim n→∞ xnが、その属する集合の外に出たことをもって 「正則性公理に反する」などと、噴飯ものの議論でしかないのです http://rio2016.5ch.net/test/read.cgi/math/1576852086/256
257: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/01/03(金) 11:20:19.72 ID:ivt0JCXh >>256 追加 >>250より 自然数のノイマン構成：空集合から出発して、後者関数はそれ以前に出来た全ての数とする >>164より （ノイマン構成）に倣って、 後者関数suc (a)に対して、 それまでに出来た集合の和 ∪a との対応を考えよう 番号 ∪a 0:=Φ 1:={Φ} {0} 2:={{Φ}} {0,1} ・ ・ n:={・・{Φ}・・} {0,1・・n-1} ・ ・ ↓（極限 lim n→∞ ） ω:=・・・{Φ}・・・ {0,1・・n-1・・}（＝：N（自然数）)） (引用終り) という対応になる もし、ノイマン構成のN（自然数）が、 下記のフォン・ノイマン宇宙 Vω+ω：ordinary mathematicsの宇宙であり、ツェルメロの集合論のモデル 内の存在とすれば、 >>176より 2 := suc(1) = {0, 1} = {0, {0}} = { Φ, {Φ} }→{{Φ}}（→は、一番右のΦを残すように不要の{}とΦを除く操作） 3 := suc(2) = {0, 1, 2} = {0, {0}, {0, {0}}} = { Φ, {Φ}, { Φ, {Φ} } }→{{{Φ}}}（同上） というように ノイマン構成の集合に対応して →：（→は、一番右のΦを残すように不要の{}とΦを除く操作） という集合操作を行うと、Zermeloのシングルトンが生成されるのです なので、ノイマン構成のN（自然数）から、 →：（→は、一番右のΦを残すように不要の{}とΦを除く操作） という集合操作、それは”超限回”の操作 で、Zermeloのシングルトンが生成されると解釈することも可能 なので、Zermeloのシングルトンも、Vω+ωの宇宙内（ツェルメロの集合論のモデル）です（＾＾； つづく http://rio2016.5ch.net/test/read.cgi/math/1576852086/257
265: １３２人目の素数さん [] 2020/01/03(金) 12:05:36.52 ID:glmNLmg1 >>256 >極限 lim n→∞ xnが、その属する集合の外に出たことをもって >「正則性公理に反する」などと、噴飯ものの議論でしかないのです 全く見当違い 無限重シングルトン{・・・{}・・・｝だといったから 定義次第では正則性公理に反すると指摘されたまで 最外側の{}がない・・・{}・・・ならそもそも集合でない 「Zermeloの自然数ｎがみなシングルトンだから ωもシングルトンにならなくてはならない！」 とイキるのがナイーブ、つまり馬鹿だと云っている ナイーブな直感の絶対化は人を愚かにする http://rio2016.5ch.net/test/read.cgi/math/1576852086/265
274: １３２人目の素数さん [] 2020/01/03(金) 16:33:17.55 ID:8t0przUk >>256 バカ丸出しｗ http://rio2016.5ch.net/test/read.cgi/math/1576852086/274
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.045s