IUTを読むための用語集資料スレ2

IUTを読むための用語� ..

212:１３２人目の素数さん
22/02/12 12:59:25.01 /qkcTHB7.net
Peter Scholze君のIUTに対する批判（下記）
”the reader will not find any proof that is longer than a few lines ・・ which is in line with the amount of mathematical conten ”
URLﾘﾝｸ(zbmath.org)
Mochizuki, Shinichi
Inter-universal Teichmuller theory. I: Construction of Hodge theaters. (English)
Publ. Res. Inst. Math. Sci. 57, No. 1-2, 3-207 (2021). Reviewer: Peter Scholze (Bonn)
In parts II and III, with the exception of the critical Corollary 3.12, the reader will not find any proof that is longer than a few lines; the typical proof reads “The various assertions of Corollary 2.3 follow immediately from the definitions and the references quoted in the statements of these assertions.”, which is in line with the amount of mathematical content.
(引用終り)
つまり
”the reader will not find any proof that is longer than a few lines”、”which is in line with the amount of mathematical content”
対する星裕一郎くんの答えは、下記
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
絶対 Galois 群による数体の復元星裕一郎 (京都大学数理解析研究所) 2014 年 5 月
P4
関数体の単遠アーベル的復元可能性*3
注）
*3 単遠アーベル的復元は, “所望の手続きの存在を証明する” ことが目的なのではなく, “所望の手続きを与える” ことが目的である.
特に, 主張の中にその手続きを書くべきとされる. （略）
例えば, [8],Corollary 1.10, は, その主張を述べるためにおよそ 3 ページが費やされ,
しかし, 証明がたったの 2 行で終わってしまうという, 従来の数学では比較的珍しい構成になっている.
このような状況が生じる背景には, この “主張の中にその手続きを書くべき” という考えがある.
[8] S. Mochizuki, Topics in absolute anabelian geometry III: Global reconstruction
algorithms, RIMS Preprint 1626 (March 2008).
(引用終り)
以上

次ページ

続きを表示

1を表示