Inter-universal geometry と ABC予想 (応援スレ) 74 (974ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
909(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/10(水)21:11 ID:u0x0EfOw(1/5) AAS
>>906
>グロタンディーク宇宙は集合だし他の（同値でない）定義などない
>wikipediaもマクレーンもSGA4も望月もそう言ってる
基礎論おバカが、なんか言っているねｗ ；ｐ）
まず、雪江 代数の教科書の用語から
『永田の可換体論では体，可換体という用語だが，今となっては「体」とは日本語ではほとんどの場合可換体を意味するようになっていると思うので，可換な体を最初から体と呼び，必ずしも可換でない体を可除環と呼ぶことにした.』
外部ﾘﾝｸ:www.math.kyoto-u.ac.jp
省32
910(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/10(水)21:12 ID:u0x0EfOw(2/5) AAS
つづき
では、グロタンディーク宇宙Uは 何者か？
宇宙であることは間違いない
それは、薄葉 季路氏もPDF中でも そう書いてある
クラスか？ ノイマン宇宙Vのクラスを集合として含むから クラスとも呼べないだろう
では 集合か？ L ⊂ V ⊂ U の Uに限れば、ノイマン宇宙Vを含むから 普通の集合ではない
実際、下記 強到達不能基数 κと関連して u(κ)などとも される
省24
911(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/10(水)21:14 ID:u0x0EfOw(3/5) AAS
>>906
>グロタンディーク宇宙は集合だし他の（同値でない）定義などない
>wikipediaもマクレーンもSGA4も望月もそう言ってる
基礎論おバカが、なんか言っているねｗ ；ｐ）
まず、雪江 代数の教科書の用語から
『永田の可換体論では体，可換体という用語だが，今となっては「体」とは日本語ではほとんどの場合可換体を意味するようになっていると思うので，可換な体を最初から体と呼び，必ずしも可換でない体を可除環と呼ぶことにした.』
外部ﾘﾝｸ:www.math.kyoto-u.ac.jp
省36
912: 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/10(水)21:16 ID:u0x0EfOw(4/5) AAS
>>911
もとい
再投稿
>>910 タイポ訂正
が 定義上は集合で しかい ノイマン宇宙Vより大
↓
が 定義上は集合で しかし ノイマン宇宙Vより大
915(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/10(水)23:06 ID:u0x0EfOw(5/5) AAS
>>913-914
基礎論おバカが、なんか言っているねｗ ；ｐ）
>>909 再録
薄葉 季路 (早大理工) 集合論の宇宙 —Universe と Multiverse—
外部ﾘﾝｸ[pdf]:www.mathsoc.jp
P3
集合の宇宙
省31
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.030s