[過去ﾛｸﾞ] Interｰuniversal geometryとABC予想(応用スレ)51 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
278(1): 2021/02/08(月)08:00 ID:/J0ptLTU(2/17) AAS
>>270の英文翻訳
「ピーター・サルナックは、望月が間違っていると確信した理由を
説明してくれたことがあります：
空想的な圏論の機構は、物事が等しいことを証明するのには優れていますが、
本当に深い数学（ＡＢＣ予想のような）は、*不等式*についてのものであり、
そこでは抽象的なナンセンスは役に立たない...」
望月氏は、IUTで圏論以外の「機構」を提示したつもりだと思いますが
省5
281(1): 2021/02/08(月)11:52 ID:jlYkQT/R(1/5) AAS
>>265
補足
ほんと、権威に弱いお方ですなぁ〜！（>>278）
１）ピーター・サルナックが言ったから
「圏論では、不当式は導けない。だから、IUTは圏論を使っていて不等式を導いているから、ダメだ」と
でも、圏論と従来の数学とを併用すれば良い。というか、それが普通。既存の数学で足りないところに、圏論を使う
既存の数学で足りているのに、全文圏論で書き直すのは、美学の趣味としてはありかも。だが、普通はやらないよね
省10
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.028s