[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 42 (1002ﾚｽ)

Inter-universal geometry と ABC予想 42 http://rio2016.5ch.net/test/read.cgi/math/1572150086/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

868: １３２人目の素数さん [sage] 2019/12/21(土) 22:09:08.21 ID:jmuA+gqL >>813 バザードの考え方は彼のブログを読めば分かるので、IUTは彼からすれば（私もそうだし、ロバーツもそうでしょう）、 同型＝等式ではない、もっと厳密に注意深く取り扱わなければならないという警鐘に対する極端な逆張りですね 望月の考えは「同型⊂充満多重同型」ですよ。だから何でもできる 圏論の望月流の利用（濫用？悪用？私的流用？ｗ）ですかね ショルツの件はご存じだと思っていました。彼の今年の大学での講義“Condensed Mathematics”ですね ネット上にPDFもあるし、youtubeにMSRIでの講義もあります。バザードのチャットでも盛り上がっていたようです ちょっと読んだだけで詳しく分からないのであまり書けません 「理論的な数学」と「厳密な数学」というバザードの問題意識は、言葉を換えれば現代数学版デカルト『方法序説』ですね 詩や雄弁術は才能が必要だが、数学はすべての人間に備わっている良識（bon sens）があれば正誤を見分けられる、と それをコンピュータ証明で実現しようということですね しかし、その前に人間、それも優れた数学者たちによって理解され正しいと判定され、それを形式化しなければならない そのうえでコンピュータ証明する、と http://rio2016.5ch.net/test/read.cgi/math/1572150086/868

870: １３２人目の素数さん [sage] 2019/12/22(日) 00:13:36.90 ID:rvGvJ0P7 >>868 ああなるほど。仲間とDAGを重視してる事しか知りませんでしたが、ラングランズプログラムにDAGを 上手く応用するための理論か。やっぱり大物感あるなあ、ユニークな視点がコンツェビッチに似てる http://rio2016.5ch.net/test/read.cgi/math/1572150086/870

---

ﾒﾓ帳

(0/65535文字)

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.035s