[過去ﾛｸﾞ] Interｰuniversal geometryとABC予想(応用スレ)51 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
597(1): 2021/02/17(水)07:22:43.00 ID:9fTMgvJq(3/7) AAS
>>596
むしろ、トポスじゃね？
「選択公理が成り立たないような集合論のモデルもある景の上の層の圏として実現できる。こうして構成される集合論のモデルのうちには排中律が成り立たないような数学的直観主義的モデルも自然に現れる。」
（参考）
外部ﾘﾝｸ:ja.wikipedia.org
トポス (数学)
トポス（topos）とは、位相空間上の層のなす圏を一般化した概念である。アレクサンドル・グロタンディークによるヴェイユ予想解決に向けた代数幾何学の変革の中で、数論的な図形（スキーム）の上で有意義なホモトピー・コホモロジー的量が定義できる細かい「位相」を考えるために導入された。 その後数理論理学者たちによる更なる公理化を経て、集合論のモデルを与える枠組みとしても認識されるようになった。
目次
1 定義
2 グロタンディーク・トポス
省6
676(1): 2021/02/18(木)14:49:55.00 ID:qnnVeZy1(7/14) AAS
>>674
＞ショルツがギャップを指摘しても受け入れられないんじゃ
＞もう誰が言っても受け入れられないんじゃないの
場合分けをすると
１）ショルツのギャップ指摘がハズレの場合：望月が正しいので、受け入れるもクソもないよね
２）ショルツのギャップ指摘がアタリの場合：この場合のみ、「ギャップを指摘しても受け入れられない」（受け入れない）と言えるけど、それだと「査読でOK」の説明がつかないよ。SSとの論争のあと、本来終わっている査読を２年延長してやり直して「査読OK」としたのだから
話は逆で、ショルツ氏は思い込みが激しくて、Dupuy氏の話を聞こうとしなかった、woitブログの論争でね
761(1): 2021/02/19(金)14:57:54.00 ID:eUBy2XOT(20/80) AAS
ただし、言うまでもなく、
ブローアップや非特異モデルなどで低次元のものを５次元に埋め込むのはなしだ。
５次元でも６次元でも、そこにある言葉でわかりやすく説明してくれ。
819: 2021/02/19(金)16:07:44.00 ID:eUBy2XOT(44/80) AAS
>>815
その言明は、お前が実数をまるで使えていないことを正当化しているのだよ！
851(2): 2021/02/19(金)19:00:42.00 ID:eUBy2XOT(56/80) AAS
残念ながら、IUT などとは異なり、
∞圏は、物事の本質を捉えている。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.029s