Inter-universal geometry と ABC予想 (応援スレ) 74 (971ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
761(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/05(金)12:27 ID:9s+SPZw0(1/2) AAS
>>756-760
>Grothendieck宇宙の定義が異なるわけじゃない
選択公理には、同値な定義が 選択関数によるものを含め 大きく３つあるという（他にも）
これらは、見かけは異なるが 同値らしいなｗ ；ｐ）
外部ﾘﾝｸ:ja.wikipedia.org
選択公理と等価な命題 整列可能定理 ツォルンの補題
>MSがやろうとしてることは、どうもPaul Cohenのforcingの代数版らしい
省35
763: 09/05(金)15:20 ID:yXqL6vjN(5/10) AAS
>>761
>>MSがやろうとしてることは、どうもPaul Cohenのforcingの代数版らしい
>多分違う
違っても構わんが
大学１年の一般教養の微積と線形代数の両方で落第した
高卒凡人の ◆yH25M02vWFhP がいうのは違う
>”forcing”しらないやつの寝言
省7
769: 09/05(金)20:02 ID:LLCzYk0t(3/3) AAS
>>761
＞選択公理には、同値な定義が 選択関数によるものを含め 大きく３つあるという（他にも）
ついに自分の愚かさを認めて
Grothendieck宇宙の定義が（同値な物を除いて）ひとつであることに同意のか
人工無脳にしては大した成長だ
Grothendieck宇宙が集合であり、von Neumann宇宙の一部であることも認るんか？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.027s