[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 60 (1002ﾚｽ)
上下前次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
148: 2021/10/13(水)07:50 ID:G5AB2CdW(2/8) AAS
>>147 追加
> だけど、有用な概念は、公理系の中に存在してほしい。必要なら公理を追加してでもね
IUTの関連では、IUT IVで望月先生がグロタンディーク宇宙について書いていたけど
それと同じですよね
ZFCには収まっていないが、グロタンディーク宇宙の中の宇宙の話だ
みたいなね（IUTが、どの公理系なのか みたいな）
（なお、望月先生のあの部分は、世間一般のグロタンディーク宇宙の説明と、ちょっとズレがある気がしたけどね）
149(1): 2021/10/13(水)08:00 ID:1dTgAsTd(3/38) AAS
>>147
>一日考えてくれたんだね
別人だけど…思い込み激しくね？
150(1): 2021/10/13(水)08:04 ID:1dTgAsTd(4/38) AAS
>>147
>私の言いたいことが、分かってくれたみたい
あんたが他人のいうこと、わかってなかっただけじゃね？
それがあんたにわかったんなら、いいんじゃね？
151(1): 2021/10/13(水)08:12 ID:1dTgAsTd(5/38) AAS
>>147
>「ωに対応する {{{...}}}ω＝{}の可算多重の存在」が、
>1)ZFCの中か、
>2)ZFCの外だが別の集合論の中か、
>3）完全に（既存の多用な）集合論の外か
>それには、こだわらない。だが、
>上記1)〜3)のどれも未証明だよね。
え？まだわかってないの？
1)とは矛盾するよ こんなの大学1年生の問題だけど
2)でも、x={x}（つまりｘ=x+1)となる集合が存在するだけで、
省4
152(1): 2021/10/13(水)08:26 ID:1dTgAsTd(6/38) AAS
>>147
>さて、いくつかの視点で掘り下げてみよう
全然掘り下がってないな
１）まずどう極限をとるのか、まったく定義されてない
それでは残念ながら数学にはならないな
２）集合論の公理系では「{}の可算多重」が集合だとすると正則性公理と矛盾する
別の公理を追加することで矛盾が解消されることはないよ
ある公理を否定して別の公理に置き換えるならわかるけどね
AFAは正則性公理とは矛盾するから、
当然正則性公理を否定して公理として設定する
省5
153(1): 2021/10/13(水)08:31 ID:1dTgAsTd(7/38) AAS
>>147
>あたなの言うことは分かるよ。
「あなた」ね
やっぱり、一度書き込みをやめて自分を見つめなおしたほうがよくね？
証明されていることに対して、証明を理解せずに、
証明されてない！って言われてもね
どこがどう理解できないのか云ってくれたら教えてあげられるけど どう？
203(1): 2021/10/13(水)20:59 ID:1dTgAsTd(35/38) AAS
>>201
>あんた「何と戦っている」んだ？
>おれに勝ちたいのかい？ｗｗ
>笑えるぜｗｗｗ
↑といってた人が
朝は↓といってたわけですが
>>147
>あなたは、レベル高いね
ま、そのときは言わなかった一言
今、書かせてもらうわ
省4
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.270s*