[過去ﾛｸﾞ]
現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
現代数学の系譜 カントル 超限集合論 http://rio2016.5ch.net/test/read.cgi/math/1570237031/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
11: １３２人目の素数さん [sage] 2019/10/05(土) 10:58:00.41 ID:o3KPqddg ますそもそもω使うのやめてよ。 この議論では必然的に通常の数学のωと、今話題のωが両方出てきてどっちの話してんのかわけわかめになる。 http://rio2016.5ch.net/test/read.cgi/math/1570237031/11
13: １３２人目の素数さん [sage] 2019/10/05(土) 11:02:24.71 ID:kZwmbLNI >>11 ごもっともです。 今後ωは、無限公理で存在が認められる集合 {{},{{}},{{},{{}}},…} を表すこととしましょう。 {{…{}…}}（{}が無限重） については、1が主張していることなので 1が(ω以外の)名前をつけてください。 http://rio2016.5ch.net/test/read.cgi/math/1570237031/13
16: １３２人目の素数さん [sage] 2019/10/05(土) 11:12:09.27 ID:kZwmbLNI >>14 ＞フォン・ノイマン宇宙の ＞「0に冪集合の演算を有限回、あるいは超限回繰り返して得られる集合」 ＞を認めると、空集合Φ={}に、ω回冪集合の演算を繰り返して ＞ツェルメロ構成で、集合 {{…{}…}}（{}の多重無限）が、出来ました 出来ません Vωのことなら、その要素は遺伝的有限集合になりますが、すべて{}は有限重です そこからさらに1回冪集合の演算を繰り返した場合 はじめて無限集合が出来上がりますが、その場合も 要素、その要素・・・ととっていった場合、必ず有限回で空集合に至る、 という意味で{}は有限重です ところで>>11でID:o3KPqddg氏から {{…{}…}}（{}の多重無限）について ω以外の名前を付けて区別するよう求められましたので、 別の名前をつけてください http://rio2016.5ch.net/test/read.cgi/math/1570237031/16
20: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2019/10/05(土) 11:18:11.51 ID:JrhjRl4x >>11 >この議論では必然的に通常の数学のωと、今話題のωが両方出てきてどっちの話してんのかわけわかめになる。 私は、今話題のωと通常の数学のωとは、同じ意味で使っていますよ >>12 ＞ 上記を認めても、1の言われる その「1の言われる」とかいう表現やめてもらえますかね？ 「1の言われる」という表現は、いままでサル石しか使っていません あなたは、サル石ですか？ サル石なら、議論は打ち切りますよ サル石とは、ガロアスレ以外では相手をするつもりがないのでね http://rio2016.5ch.net/test/read.cgi/math/1570237031/20
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.034s