[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 60 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
146(4): 2021/10/13(水)00:35 ID:1dTgAsTd(2/38) AAS
>>143
>ｱﾚﾌ0に対応する最小の順序数ωも、何かで定まった･･･ならば、
>ωに対応する {{{...}}}ω＝{}の可算多重の存在 があっても良いんじゃない。
>一つの極限として
誰がいったか忘れたけど、
{}の可算多重を「図形」と考えるなら存在するんじゃね？
それこそ{}のかわりに点として、点集合で考えればいい
順序数ｏから実数への関数ｆで
ｏ１＜ｏ２ ⇒ ｆ（ｏ１）＜＜ｆ（ｏ２）
（＜は順序数の大小関係、＜＜は実数の大小関係を表す）
省1
147(7): 2021/10/13(水)07:38 ID:G5AB2CdW(1/8) AAS
>>145-146
どうも、ありがとうございます。
あなたは、レベル高いね
一日考えてくれたんだね
で、私の言いたいことが、分かってくれたみたい
言いたいことは、「ωに対応する {{{...}}}ω＝{}の可算多重の存在」が、あっても良いんじゃない。一つの極限として>>143
ってことで、それが、1)ZFCの中か、2)ZFCの外だが別の集合論の中か、3）完全に（既存の多用な）集合論の外か
それには、こだわらない。だが、上記1)〜3)のどれも未証明だよね。証明を考える暇な人もいないだろうが
さて、いくつかの視点で掘り下げてみよう
1）”一つの極限として”は、まあ無限大とか無限遠点みたいなものです
省13
154(4): 2021/10/13(水)10:13 ID:q1aEYon0(1/10) AAS
>>149-153
>>一日考えてくれたんだね
>別人だけど…思い込み激しくね？
なんだ、おサルかい？ｗ
じゃあ、>>140-141のID:DCHm/PTM 氏の方は、納得したのかな？
（>>146より）
誰がいったか忘れたけど、
{}の可算多重を「図形」と考えるなら存在するんじゃね？
(引用終り)
これ、おサルさん、自分の発言だったよ
省19
157: 2021/10/13(水)11:07 ID:1dTgAsTd(9/38) AAS
>>154
>「図形」とか、点とか、点集合、順序など、これら全部ZFC内の集合とみなせるよ
そうだね
>だから、あなたの>146の議論は、
> {{{...}}}ωを、ZFCの中のある集合と
>解釈可能と言っただけのことにすぎない
そうね 解釈は可能だよ
ただ、君の図形的解釈は
{},{{}},{{{}}}
における集合論の通常の解釈とは
省16
202(1): 2021/10/13(水)20:57 ID:1dTgAsTd(34/38) AAS
>>201
>あんた「何と戦っている」んだ？
>おれに勝ちたいのかい？ｗｗ
>笑えるぜｗｗｗ
↑といってた人が
朝は↓といってたわけですが
>>146
>あなたは、レベル高いね
ま、そのときは言わなかった一言
今、書かせてもらうわ
省4
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.042s