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

---

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

---

172(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/06(水)13:51 ID:/JY71bka(15/34) AAS
>>170
> ”ベッセリン・ディミトロフは望月の議論からABC予想に関する定量的な結果の証明を抽出した。これは原則的に証明に反駁することができた ”は、論文誤読と思う

外部ﾘﾝｸ:ja.wikipedia.org
宇宙際タイヒミュラー理論
(抜粋)
数論の結果
ベッセリン・ディミトロフは望月の議論からABC予想に関する定量的な結果の証明を抽出した。これは原則的に証明に反駁することができた。[19]
省17

---

173: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/06(水)13:51 ID:/JY71bka(16/34) AAS
>>172
つづき

P2
In his proof of the latter theorem Mochizuki makes an argument by contradiction, citing compactness of P1(Fv).
This gives the appearance of ineffectivity of the claimed final result, Theorem A of [6] (the abc conjecture).
The present note outlines a constructive proof, restricting for simplicity to the case (X, D) = (P1, [0] + [1] + [∞]) that is actually used in the implication “Theorem 1.10 of [6] ⇒ abc-conjecture.”
This leads in principle to an explicit abc-inequality and hence, conditionally on the correctness of Mochizuki’s IUT papers, to effective Roth and Faltings theorems.
省8

---

174: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/06(水)13:59 ID:/JY71bka(17/34) AAS
>>172 補足

１．wikipedia 英文では、
　”Vesselin Dimitrov extracted from Mochizuki's arguments a proof of a quantitative result on abc, which could in principle give a refutation of the proof.[19]”
２．和文では
　「ベッセリン・ディミトロフは望月の議論からABC予想に関する定量的な結果の証明を抽出した。これは原則的に証明に反駁することができた。[19]」（多分上記の訳）
３．Vesselin Dimitrovの論文中では
　”Abstract.
省10

---

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

---

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

---

ぬこの手 ぬこTOP 0.034s