[過去ﾛｸﾞ] Interｰuniversal geometryとABC予想(応用スレ)51 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
274(2): 2021/02/07(日)23:27 ID:1q1vuYYo(7/7) AAS
補足
大体がさ
圏論つーてもよ
IUTでやっていることは、圏論使えば見通しがよくなるわけで
圏論で理論ができあがれば、それを普通の集合論に書き直すのは、不可能ではないよね、きっとね
ZFCの範囲かどうは問題としても
その議論は、IUTのIVの付録で望月自身が論じていたろｗ
275: 2021/02/08(月)07:37 ID:PIZF5OS0(1/6) AAS
>>274
>IUTでやっていることは、圏論使えば見通しがよくなるわけで
>圏論で理論ができあがれば、それを普通の集合論に書き直すのは、不可能ではないよね、きっとね
>ZFCの範囲かどうは問題としても
補足
1．一つは、IUTで使う圏の大きさの問題だよね
2．真に大きな圏になっているかどうか？
3．もし、smallなら、普通の集合論に置き換えられる。この程度じゃないの？
4．局所smallとしても、では、どの程度集合論を拡張する必要があるのか？ ってこと
5．その議論は、IUTのIVの付録で望月自身が論じていたろ
省6
276(1): 2021/02/08(月)07:45 ID:/J0ptLTU(1/17) AAS
>>260-262
一般論だけど、楕円関数どころか複素関数論もわかってない人が
ロードマップをいくら眺めても残念ながら意味ないですね
そういう人はまず複素関数論の初歩から勉強したほうがいいでしょう
>>268
楕円関数・テータ関数・モジュラー関数を知るにはいいですが
楕円曲線の幾何については書かれてないので別の本をよみましょう
>>273
>カテゴリー論と普通の数学を組み合わせて使えば良い
>その何かの組み合わせから、不等式が出てもなんの不思議もあるまい
省13
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.037s