Inter-universal geometry と ABC予想 (応援スレ) 74 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
840(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/07(日)15:56 ID:hvfvmXnW(2/6) AAS
>>807
>>”V_0 ∈ V_1 ∈ V_2 ∈ V_3 ∈・・・ってやって”は、ノイマン宇宙でも同じでは？
>V_nって宇宙だろ？ だったら違うな
まあ、学部の数学では 宇宙は まず出てこないし
数学屋の中でも ”宇宙”の定番定義は ないだろうよ
下記の 薄葉 季路 (早大理工)氏 などが、これからの学会標準を作っていくのだろう
さて、ゲーデルの Constructible universe L（下記）がある
省30
842: 09/07(日)16:23 ID:CTxYlvA3(11/14) AAS
>>840
ZFCで最小の到達不能基数が存在しないモデルでは
ZFCの集合としての宇宙は存在しないけど
ああ、大学一年の一般教養の数学で落第したから知らない？
だろうね
859(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/07(日)21:12 ID:hvfvmXnW(6/6) AAS
つづき
(参考)>>840より再録
外部ﾘﾝｸ[html]:www.mathsoc.jp
企画特別講演 2017年度年会 日本数学会
薄葉 季路 (早大理工)
集合論の宇宙 —Universe と Multiverse—
外部ﾘﾝｸ[pdf]:www.mathsoc.jp
省14
909(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/10(水)21:11 ID:u0x0EfOw(1/5) AAS
>>906
>グロタンディーク宇宙は集合だし他の（同値でない）定義などない
>wikipediaもマクレーンもSGA4も望月もそう言ってる
基礎論おバカが、なんか言っているねｗ ；ｐ）
まず、雪江 代数の教科書の用語から
『永田の可換体論では体，可換体という用語だが，今となっては「体」とは日本語ではほとんどの場合可換体を意味するようになっていると思うので，可換な体を最初から体と呼び，必ずしも可換でない体を可除環と呼ぶことにした.』
外部ﾘﾝｸ:www.math.kyoto-u.ac.jp
省32
911(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/10(水)21:14 ID:u0x0EfOw(3/5) AAS
>>906
>グロタンディーク宇宙は集合だし他の（同値でない）定義などない
>wikipediaもマクレーンもSGA4も望月もそう言ってる
基礎論おバカが、なんか言っているねｗ ；ｐ）
まず、雪江 代数の教科書の用語から
『永田の可換体論では体，可換体という用語だが，今となっては「体」とは日本語ではほとんどの場合可換体を意味するようになっていると思うので，可換な体を最初から体と呼び，必ずしも可換でない体を可除環と呼ぶことにした.』
外部ﾘﾝｸ:www.math.kyoto-u.ac.jp
省36
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.034s