- Inter-universal geometry と ABC予想 43
360 ：１３２人目の素数さん[sage]：2020/04/04(土) 12:19:52.45 ID:scgl1DFq - >>358
＞数学では過去にもあるあるでしょ
違うと思う
圏論もスキーム論も非常に論理的だった
アイレンベルクもグロタンディークもブルバキのメンバーで、下から論理的に構成していくことを学んでいたし、
その下地があって圏論の公理化やスキームの定義を行った
だから初めは直感的に否定されても、質問に対して細かく説明ができる状態だったから広く受け入れられていった
無限集合論も歴史は遡るが今から見てもそれなりに厳密な議論をしている
一方、望月氏は恐らく集合と位相で論理を学んだ学部二年生レベルくらいの下地しかない(アメリカのUndergraduateのカリキュラムは知らないが、日本で言えばそれくらい)
だからCorollary 3.12を突っ込まれても「彼等は学部生レベルだ」としか返せない
きちんと論理的に証明してるならば、より細かいアルゴリズムが説明できるはずだった
勿論、Corollary 3.12が「望月氏の予想」として真である可能性はあるけどね
ただそれを完成させる人が出るまでは何とも言えない
|
- Inter-universal geometry と ABC予想 43
365 ：１３２人目の素数さん[sage]：2020/04/04(土) 12:46:39.24 ID:scgl1DFq - >>363
来たのがフィールズ賞受賞者で論文も読んで来たスティックスとショルツだったらどうでしょうかね
|
- Inter-universal geometry と ABC予想 43
366 ：１３２人目の素数さん[sage]：2020/04/04(土) 12:51:18.86 ID:scgl1DFq - >>364
説明責任というか、厳密に証明しているなら説明できる
有識者が分からないと言ってるのに説明できないというのは、論理展開できてない
そういう意味でアイレンベルクらやグロタンディークとは異なる
|