[過去ﾛｸﾞ] Inter-universal geometry とABC 予想48 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
885(2): 2022/04/20(水)23:51 ID:xzp0jhJW(1) AAS
Twitterより
> Kedlaya先生とABC予想について話しました。
(略)
> (後これ言っていいのかわからないですが)
> 結構オモシロイと思ったのが、アメリカとかドイツだとショルツさんの言ってること
> をみんな正しいと思ってる(有名だから)けど別にショルツさんが正しいわけではなくて
> 彼の議論もあんま正しくない。だから本当のことは誰もわからないって話でした
890: 2022/04/21(木)04:12 ID:ftf+hSoQ(1) AAS
>>885
教員が学部生にどこまで本音を話すかわからないけどこのツイートを信じるなら
有名で能力があってIUTに興味のある数学者が証明を理解してCorollary 3.12を解説するのが
事態を好転させる唯一の方法でそれができそうなのはKedlayaくらいなのに
そのKedlayaももはや興味なさそう
899(1): 2022/04/21(木)10:09 ID:dwu8v8Hv(1) AAS
>>885
最も重要なところが引用されていないな
kedlayaはscholze以前にまずCor 3.12の証明がきちんと書かれていないことに指摘している
そのツイートでは詳しく述べられていないが、何度も書いたように数学の証明とはコンピュータでも証明できる性質のものであって、Cor 3.12ではそれが出来ていないというのが証明できていない最大の根拠
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.037s