Inter-universal geometry と ABC予想 (応援スレ) 74 (976ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
760(1): 09/05(金)08:21 ID:yXqL6vjN(4/10) AAS
高卒🐎🦌はどうせ
「メンタルピクチャー、Big Pictureがあれば全部許される！」
と絶叫するんだろうが、そもそもその絵なるものが無矛盾なのかどうかが問題
矛盾が導かれるならムダ
「ペンローズの三角形」のようなもの
絵に描けるから無矛盾だ、
ということにはならない
省2
761(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/05(金)12:27 ID:9s+SPZw0(1/2) AAS
>>756-760
>Grothendieck宇宙の定義が異なるわけじゃない
選択公理には、同値な定義が 選択関数によるものを含め 大きく３つあるという（他にも）
これらは、見かけは異なるが 同値らしいなｗ ；ｐ）
外部ﾘﾝｸ:ja.wikipedia.org
選択公理と等価な命題 整列可能定理 ツォルンの補題
>MSがやろうとしてることは、どうもPaul Cohenのforcingの代数版らしい
省35
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.037s