Inter-universal geometry と ABC予想否定派

[過去ﾛｸﾞ] Inter-universal geometry と ABC予想否定派 (1002ﾚｽ)
上下前次 1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

398: １３２人目の素数さん [sage] 2020/04/24(金) 17:32:41 ID:+5fH8L59

>>372
おサル、面白いやつだな

(引用開始)
（>>312より）
http://rio2016.5ch.net/test/read.cgi/math/1586655469/295
>Note that this means, in particular, that there exist infinite ascending chains of universes
>V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
>ー where n ranges over the natural numbers.

ヤベェ・・・IUT考案者　望月が
初歩的な誤り犯してることを発見しちまった

>we conclude that Vi ∈ V , for all i ∈ I

というのは正しいが、その場合
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
は、正確には
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... Vm ∈ V (m∈Ｎ)
であるから、finite ascending chains of universes　である

そもそもinfinite ascending chains of universesというならＶ抜きで
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ...
でいい
(引用終り)

「望月が
初歩的な誤り犯してることを発見しちまった」
って、笑えるわ

１．それ、査読終わった論文だよ？
２．玉川先生を筆頭に、査読者複数（数論のプロでIUTが読める数学者）が、査読完了だよ
　（彼らは、おサルそれより上で、そんな単純なミスを望月先生、玉川先生以下、がんくび揃えて間違うわけあるまいにｗｗ）
３．それに、V：グロタンディーク宇宙って、論文中に望月先生が定義しているんだぜｗ おまえ意味わかっているか？（＾＾；
４．それより、おれが疑問に思っているのは、∈の元の帰属の記号だ。
　V1 、V2・・・などは普通クラス（集合ではない）だから、包含関係の⊂の方が適切かとおもうのだがね（些末なことだがね）

まあ、とにかく、おサルの負けだなｗ(゜ロ゜;

http://rio2016.5ch.net/test/read.cgi/math/1587361264/398

401: １３２人目の素数さん [sage] 2020/04/24(金) 19:57:33 ID:9m+2fnQ5

>>400
>玉川先生以下、査読者全員が、集合論の初歩も分かってない

おサルの思考はいつも倒錯している。正しいことを間違っているといい、間違っていることを正しいというね、おサルは

>まずV1,V2・・・は全部集合です

分かっている。下記だな
間違ってはいないが、一方で何が言いたいのか？意味不明
後は、自分のスレで（＾＾

IUT応援スレより
https://rio2016.5ch.net/test/read.cgi/math/1586655469/295-296
https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99_(%E6%95%B0%E5%AD%A6)
宇宙 (数学)
(抜粋)
圏論
圏論に歴史的につながる宇宙への別のアプローチの方法がある。これはグロタンディーク宇宙と呼ばれる。大まかに言えば、グロタンディーク宇宙とは集合論の通常実行されるすべての操作を内部にもつ集合である
グロタンディーク宇宙の難点は、厳密さを欲するなら、グロタンディーク宇宙を捨てなければならないことである
最も一般的なグロタンディーク宇宙 U の用途はすべての集合の圏を U で置き換えるものである。S ∈U のとき、U-large でないなら、集合S は U-small となる
すべての U-small 集合の圏 U-Set は、すべての U-small の集合を対象として、それらの集合の間のすべての関数を射としてもつ。対象の集合と射の集合の両方共集合であり、このことが固有類を用いることなく "すべての" 集合の圏を議論することを可能にしている
すると、この新しい圏の観点から別の圏の定義が可能になる。例えば、すべての U-small 圏の圏は宇宙 U の内部において、すべての対象の集合と射の集合の圏の圏になる。すると通常の集合論の独立変数が、すべての圏の圏に適用される
さらに誤って固有類に対して言及する心配もなくなる。なぜならグロタンディーク宇宙は非常に広大であり、これはありとあらゆる数学的構造を充足させるからだ
グロタンディーク宇宙において作業している場合、数学者はしばしば宇宙の公理を仮定する。"任意の集合 x に対し、x ∈U となるような宇宙 U が存在する。"
この公理の重要な点は、任意の集合がいくつかの U に対して U-small が検討できることである。つまり一般的なグロタンディーク宇宙に内部で、任意の独立変数が適用されるということである。この公理は強到達不能基数の存在と密接に関係している

http://rio2016.5ch.net/test/read.cgi/math/1587361264/401

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

あと 601 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.014s