[過去ﾛｸﾞ] Inter-universal geometry とABC 予想48 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
899(1): 2022/04/21(木)10:09 ID:dwu8v8Hv(1) AAS
>>885
最も重要なところが引用されていないな
kedlayaはscholze以前にまずCor 3.12の証明がきちんと書かれていないことに指摘している
そのツイートでは詳しく述べられていないが、何度も書いたように数学の証明とはコンピュータでも証明できる性質のものであって、Cor 3.12ではそれが出来ていないというのが証明できていない最大の根拠
912(1): 2022/04/21(木)14:31 ID:5uDCQIOe(1) AAS
>>899
>最も重要なところが引用されていないな
>kedlayaはscholze以前にまずCor 3.12の証明がきちんと書かれていないことに指摘している
下記の「ちゃんと読めば論理として理解できる仕事だったわけですが、例の論文ではそれがなかった。逆に言えば弟子たちがその基礎を作れば欧米でも認められるという」
ですね
弟子たちよ、頑張れよ
Kedlayaに認めてもらえるように
外部ﾘﾝｸ:webcache.googleusercontent.com
math_jin - Twitter
Tomoki Oda
省9
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.038s