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

---

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

---

25(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/04/12(日)13:21 ID:hAg37Ryy(23/38) AAS
>>23

つづき

Background
In March 2018 Peter Scholze and Jacob Stix travelled to Japan to visit Shinichi Mochizuki to discuss with him his claimed proof of the abc conjecture.
In documents released in September 2018, Scholze?Stix claimed the key Lemma 3.12 of Mochizuki’s third Inter-Universal Teichmuller Theory (IUTT) paper reduced to a trivial inequality under certain harmless simplifications, invalidating the claimed proof.2 Mochizuki agreed with the conclusion that under the given simplifications the result became trivial,
but not that the simplifications were harmless. However, Scholze and Stix were not convinced by the arguments as to why their simplifications drastically altered the theory, and we stand at an impasse.
The documents released by both sides3 include two versions of a report by Scholze?Stix, titled Why abc is still a conjecture, each with an accompanying reply by Mochizuki, as well as a 41-page article,
省5

---

26(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/04/12(日)13:22 ID:hAg37Ryy(24/38) AAS
>>25

つづき

Conclusion
These notes have attempted to cast some of the examples proposed by Mochizuki to answer Scholze?Stix’s concerns in a more category-theoretic light. Ideally all discussions about the content of IUTT can be addressed in such precise terms,
rather than worry about things like “the risk that different people will “remember” different labeling appartuses [sic], which result in structurally non-equivalent mathematical structures”, Report (DfLb)
By replacing discussion of psychology and suggestive metaphors by rigorous definitions of all the categories in which objects live, and keeping track of forgetful functors, communication about IUTT can focus on the difficult mathematical content, rather than about whether or not objects need specific labels.

Addendum, 22 October
省3

---

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

---

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

---

ぬこの手 ぬこTOP 0.038s