[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 40 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
726: 2019/08/13(火)20:40 ID:VEyM7l2m(4/7) AAS
以前にケヴィン・バザードの数学者たちによる正準同型の濫用に対する懸念についてリンクを貼ったが、
一旦、数学者が「AとBは同型」と認めれば、圏論の普遍性によってあたかもequalとして漫然と扱われることに対する警鐘だった
これはバザードにとっては、コンピュータ証明の研究によって「もっと厳密に考える必要がある」という彼の警鐘だ
一方、望月は「どうせ漫然と扱われているなら、徹底的に緩めてやってしまえ」ということ実行したように見える
実際、B本の寄稿文はその大胆な宣言文と読んでよい
まともな数学者からは圏論の濫用・悪用にしか見えないよ
上下前次1-新書関写板覧索設栞歴
あと 276 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.008s