[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 42 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
691(2): 2019/12/06(金)06:35 ID:a5FaM1Ty(1) AAS
>>685
>１．V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... という無限列は存在する
>２．任意の自然数nについて
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ V という有限列も存在する
IUTに必要な性質が上記２点ならa∈aは必要ないがそれでよいのか？
692(1): 2019/12/06(金)22:03 ID:TP+xMnxe(1/2) AAS
>>691
いや横槍で間違いだったら申し訳ないけど、多分両方考えるのがIUTなんです。整合性を作る
だからこういう不可思議な事を考える時点で普通なら足踏みするよな、とも以前に書いた記憶がある
スキームを一般化するには色んな考えがありうる。そういう中で望月さんはこの一般化にコミットした
699(1): 2019/12/07(土)09:36 ID:uZFmzNJe(1/11) AAS
>>692
＞両方考えるのがIUT
両方とは？
>>691の１．と２．は両立しますよ
例えば
１．{}∈{{}}∈{{{}}}∈… という無限列は存在する
２．Ω＝{{},{{}},{{{}}},…}とすれば
省5
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.034s