[過去ﾛｸﾞ] Interｰuniversal geometryとABC予想(応用スレ)51 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
672(2): 2021/02/18(木)11:09 ID:qnnVeZy1(5/14) AAS
>>670
>確かに1000p以上あるが、ショルツはそれを読み、Cor3.12の直前までは問題ない(そして、そこまでは自明な結果しかなく、ABC予想の証明などはCor3.12がクリティカルに働いてる)と指摘してる
>その上で、Cor3.12のProofを読み、途中からついていけなくなったと述べている
その話、どっかのインタビュー記事だったよね
「2018年3月、数理研で行なわれたIUTeichに関する議論」以前の話だったよね
で、下記URL内のSS文書が出たけど、SS文書には（公式には）
「Cor3.12の直前までは問題ない(そして、そこまでは自明な結果しかなく、ABC予想の証明などはCor3.12がクリティカルに働いてる)と指摘」は、書かれてない
省6
673(1): 2021/02/18(木)11:23 ID:NzeyxT1l(2/7) AAS
>>672
>その話、どっかのインタビュー記事だったよね
「2018年3月、数理研で行なわれたIUTeichに関する議論」以前の話だったよね
それだけの時間をかけても、誰もCor 3.12の証明を追記できなかったということだな
そして証明が変わってないのだから、理解できないことも変わらない
>ボタンの掛け違いだと思うぜ
自明か否かの掛け違いは論点ではない
省1
675(1): 2021/02/18(木)14:44 ID:qnnVeZy1(6/14) AAS
>>673
>それだけの時間をかけても、誰もCor 3.12の証明を追記できなかったということだな
Cor 3.12の証明は、大幅にリバイズされているよ
ファイルの変更履歴を見てください。確か、A4で１頁くらい増えたと思うよ
＞そして証明が変わってないのだから、理解できないことも変わらない
証明の本質は変わってないだろうが、分かり易くしたらしい
加藤文元先生が、IUTの証明はだいぶ分かり易くなったとか、どこかで発言していたよ
省17
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.030s