[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 63 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
992(4): 2022/01/10(月)08:08 ID:MGTx95Re(1/2) AAS
>>982 補足の補足
１．用語「宇宙」Universe について
薄葉氏 「集合論の宇宙 Universe と Multiverse」 外部ﾘﾝｸ[pdf]:www.mathsoc.jp >>959
では、「集合の宇宙
Fact （Vの構造（Von Neumann階層））
V は, 空集合から始めて, その冪集合を取る操作を超限回取ることで構成.される」
としている。明らかに、Von Neumann階層 Vα の上界の意味で使っている
もっと言えば、ZFCの集合全てが入った入れ物としての「宇宙」Universeという位置づけだ
２．一方、望月IUTを見ると、その本質は、楕円曲線 Frey-Hellegouarch curve y2 = x(x - a)(x + b) （ 外部ﾘﾝｸ[pdf]:ncatlab.org より）
を、圏論化して、楕円曲線の高さの評価式（不等式）を得ようというもの
省11
993: DiverCity (りんかい線) 2022/01/10(月)08:17 AAS
>>992
>薄葉氏 「集合論の宇宙 Universe と Multiverse」
>外部ﾘﾝｸ[pdf]:www.mathsoc.jp
>では、
>「集合の宇宙
> Fact （Vの構造（Von Neumann階層））
> V は, 空集合から始めて, その冪集合を取る操作を超限回取ることで構成される」
> としている。
だから、なんでそこで止めるの？🐎🦌？
なんでここ、一回も引用せんの？🐎🦌？
省19
994: DiverCity (りんかい線) 2022/01/10(月)08:27 AAS
>>992
>２．一方、望月IUTを見ると、その本質は、
> 楕円曲線 Frey-Hellegouarch curve y2 = x(x - a)(x + b)
> を、圏論化して、楕円曲線の高さの評価式（不等式）を得ようというもの
それモーデルの定理からの一貫した思想であって
IUT独自のものでもなんでもないやん 🐎🦌？
> 私見だが、望月IUTは
> 薄葉氏の意味での 用語「宇宙」Universe を
> 本質的使った理論とはとても思えない
> （多分集合論の中に収まるのでは）
省23
995: DiverCity (りんかい線) 2022/01/10(月)09:02 AAS
>>992
> ノイマン構成で、
> 後者 suc(a)＝a∪{a}は、aを有限順序数として、
> 空集合からの構成で
> suc(n)＝n∪{n}＝∪ a=0〜a<n+1 an ＝{0,1,2.・・,n}
> (ここに、an=suc(an-1), n∈N)
> と書ける
suc(n)＝n∪{n}＝∪(m<=n){m}＝∪(m<n+1){m} な
> 一方、ω=∪[β<ω]a_β を書き直すと、
> ω=∪ a=0〜a<ω suc(a)
省15
997(1): DiverCity (りんかい線) 2022/01/10(月)09:16 AAS
>>992
もしかして、SET Aが
「P(V[n])⊂P(V[n+1])
Ｎ[ｎ]⊂Ｎ[ｎ＋１]
だけど
Ｚ[n]⊄Z[ｎ＋１］
じゃないから残念！」
と端的に本質だけ言い切れば
「お、こいつ、デキるじゃん！」
といわれたんだが、ヘタクソな文章でゴタゴタ書いたから
省2
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.059s