[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 42 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
868(1): 2019/12/21(土)22:09 ID:jmuA+gqL(3/4) AAS
>>813
バザードの考え方は彼のブログを読めば分かるので、IUTは彼からすれば（私もそうだし、ロバーツもそうでしょう）、
同型＝等式ではない、もっと厳密に注意深く取り扱わなければならないという警鐘に対する極端な逆張りですね
望月の考えは「同型⊂充満多重同型」ですよ。だから何でもできる
圏論の望月流の利用（濫用？悪用？私的流用？ｗ）ですかね
ショルツの件はご存じだと思っていました。彼の今年の大学での講義“Condensed Mathematics”ですね
ネット上にPDFもあるし、youtubeにMSRIでの講義もあります。バザードのチャットでも盛り上がっていたようです
ちょっと読んだだけで詳しく分からないのであまり書けません
「理論的な数学」と「厳密な数学」というバザードの問題意識は、言葉を換えれば現代数学版デカルト『方法序説』ですね
詩や雄弁術は才能が必要だが、数学はすべての人間に備わっている良識（bon sens）があれば正誤を見分けられる、と
それをコンピュータ証明で実現しようということですね
しかし、その前に人間、それも優れた数学者たちによって理解され正しいと判定され、それを形式化しなければならない
そのうえでコンピュータ証明する、と
上下前次1-新書関写板覧索設栞歴
あと 134 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.012s