Inter-universal geometry と ABC予想 (応援スレ) 74

Inter-universal geometry と ABC予想 (応援スレ) 74 (1002ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

915(3): 現代数学の系譜雑談 ◆yH25M02vWFhP 09/10(水)23:06 ID:u0x0EfOw(5/5) AAS
>>913-914
基礎論おバカが、なんか言っているねｗ；ｐ）

　>>909 再録
薄葉季路 (早大理工) 集合論の宇宙 —Universe と Multiverse—
外部ﾘﾝｸ[pdf]:www.mathsoc.jp
P3
集合の宇宙
省31

918(1): 09/10(水)23:43 ID:uWaGqrb4(1) AAS
>>915
>ノイマン宇宙V 、グロタンディーク宇宙Uで
>L ⊂ V ⊂ U
はい、大間違いです。

反例１
グロタンディーク宇宙の定義により{}はグロタンディーク宇宙であり、U={}のときUにはいかなる元も属さない。
一方ノイマン宇宙の定義により{{}}=V1⊂Vだから{}∈V。
省5

919(1): 09/11(木)00:03 ID:aIDeaB24(1) AAS
>>915
>狭いノイマン宇宙V ではクラスだが
>グロタンディーク宇宙U では集合だとなる
何がクラスで何が集合と言ってんの？
日本語すらまともに書けんのか？　言語障害？

>つまりは公理の取り方で集合 vs クラスの考えは変わるよ
何の公理をどう取るとどうなるのか具体的に言って。
省1

923(1): 09/11(木)06:28 ID:KfYwoBCP(3/11) AAS
>>915
>だから、宇宙は ”集合ではない”！

まず、これが嘘
宇宙だから集合でない、のではない
「集合論における集合の全体」は集合にならない
そういうこと

>ゲーデルの Constructible universe L
省32

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.030s