[過去ﾛｸﾞ] 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ではそれが出来ていないというのが証明できていない最大の根拠
912(1): 2022/04/21(木) 14:31:12 ID:5uDCQIOe(1)調 AAS
>>899
>最も重要なところが引用されていないな
>kedlayaはscholze以前にまずCor 3.12の証明がきちんと書かれていないことに指摘している
下記の「ちゃんと読めば論理として理解できる仕事だったわけですが、例の論文ではそれがなかった。逆に言えば弟子たちがその基礎を作れば欧米でも認められるという」
ですね
弟子たちよ、頑張れよ
Kedlayaに認めてもらえるように
外部ﾘﾝｸ:webcache.googleusercontent.com
math_jin - Twitter
Tomoki Oda
14h14 hours ago
後日本の新聞からこれに関してしょっちゅう取材がくるから無視してると言ってました。
Tomoki Oda
2d2 days ago
ペレルマンも?益唐もとんでもない数学の証明を書いて数学界を震撼させたわけですが、認められたのは結局の所誰かの仕事の上で成り立ってた、ちゃんと読めば論理として理解できる仕事だったわけですが、例の論文ではそれがなかった。逆に言えば弟子たちがその基礎を作れば欧米でも認められるという
Tomoki Oda
2d2 days ago
Kedlaya先生とABC予想について話しました。何が正しい証明か？どういった証明の書き方が正しいのか？というのをポアンカレ予想の証明を読んだJohn Morganを例に説明されて、そういった部分で欧米の数学者を正しいと思わせるに至らなかったということを説明されました
Twitterﾘﾝｸ:5chan_nel (5ch newer account)
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.037s