[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 42 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

699(1): １３２人目の素数さん [] 2019/12/07(土) 09:36:56.95 ID:uZFmzNJe(1/11) AAS
>>692
＞両方考えるのがIUT

両方とは？

>>691の１．と２．は両立しますよ
例えば

１．{}∈{{}}∈{{{}}}∈…　という無限列は存在する
２．Ω＝{{},{{}},{{{}}},…}とすれば
　　任意の有限重{{{…}}}について
　　{}∈{{}}∈{{{}}}∈…∈{{{…}}}∈Ωという有限列が存在する

それでいいなら
a∈aとなるようなa（=無限重{{{…}}}）
を考える必要はない、ということです

---

717: １３２人目の素数さん [] 2019/12/07(土) 22:34:00.12 ID:R1rmXOB4(2/3) AAS
>>699
つまり、a∈aというのは出発点として、ということです
別の方がおっしゃってるように、後にはループした入れ子構造の話に向かいました
a∈aをどうするか考えるというのはお題目通り、関数体のHA理論のspecZ版を考えることなんですが、
そういうArithmetic deformationを構成するために考案されたのがIUTだったわけです
両方というのは動機付けとして同根だという意味です

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.035s