[過去ﾛｸﾞ]
Inter-universal geometry と ABC予想 25 (1002ﾚｽ)
Inter-universal geometry と ABC予想 25 http://rio2016.5ch.net/test/read.cgi/math/1520299291/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
688: １３２人目の素数さん [sage] 2018/04/03(火) 20:13:26.72 ID:Rx9EiSXT IUT-ⅢのCor.3.12を見てみたが、これは恐らくIUT理論の要となる定理だな。 大雑把に言うと、Thm.3.11の設定の下、2種類の行進正規化単解析的対数体積 (procession-normalized mono-analytic log- volume) の間に不等式が成り立つという主張。 証明はクソ長くて、自明の一言で済ませてなんかいない。 12つのステップに整理して証明している。 今までやってきたことを総動員してる感じがする。 で、その後にRemarkが3つ続いてて、これもまたクソ長い。 ややこし過ぎてわけわからん。 http://rio2016.5ch.net/test/read.cgi/math/1520299291/688
689: １３２人目の素数さん [sage] 2018/04/03(火) 20:16:38.31 ID:Rx9EiSXT >>688 Remarkが3つじゃなくて、Remarkが4つの間違いでした。 http://rio2016.5ch.net/test/read.cgi/math/1520299291/689
690: １３２人目の素数さん [sage] 2018/04/03(火) 20:19:29.10 ID:Rx9EiSXT >>688 あと、IUT理論の要というよりも、ABC予想型の結果を導出するための要と言った方が正しいな。 連投スマソ。 http://rio2016.5ch.net/test/read.cgi/math/1520299291/690
691: １３２人目の素数さん [sage] 2018/04/03(火) 20:19:29.92 ID:Rx9EiSXT >>688 あと、IUT理論の要というよりも、ABC予想型の結果を導出するための要と言った方が正しいな。 連投スマソ。 http://rio2016.5ch.net/test/read.cgi/math/1520299291/691
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.026s