[過去ﾛｸﾞ] Inter-universal geometry とABC 予想48 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
899(1): 2022/04/21(木) 10:09:58 ID:dwu8v8Hv(1)調 AAS
>>885
最も重要なところが引用されていないな
kedlayaはscholze以前にまずCor 3.12の証明がきちんと書かれていないことに指摘している
そのツイートでは詳しく述べられていないが、何度も書いたように数学の証明とはコンピュータでも証明できる性質のものであって、Cor 3.12ではそれが出来ていないというのが証明できていない最大の根拠
上下前次1-新書関写板覧索設栞歴
あと 103 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.008s