[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 73 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
454(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/10(日)09:34 ID:f12p+Q2v(1/12) AAS
>>438 追加
さて、強制法でも 宇宙が出てきます
図解があると 分かり易い
それが、下記 石井大海氏 Boole 値モデルと強制法pdfのP7
なお、下記 ”google AI による概要”も、ご参照
要するに、例えば 連続体仮説 が、ZFCから独立ということを証明したいときに
強制法を ZFCに 適用することで、証明ができる
省21
458: 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/10(日)10:23 ID:f12p+Q2v(4/12) AAS
>>454 補足
さて、用語 宇宙が、極めて混乱した状態であることを説明します
それが、下記の ja.wikipedia到達不能基数の グロタンディーク宇宙U
もう一つが、檜山正幸氏の グロタンディーク宇宙の 二種類の説明
前者は、明らかに グロタンディーク宇宙U は、ZFCのノイマン宇宙Vより 大きい
後者の檜山正幸氏の グロタンディーク宇宙 二種類の説明は、SGAの1963年の論文がベース(多分)
望月IUTの”宇宙”も SGAの1963年の論文がベース(IUT論文では下記[McLn](1969)を引用している)
省18
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.042s