Inter-universal geometry と ABC予想 (応援スレ) 74 (963ﾚｽ)
Inter-universal geometry と ABC予想 (応援スレ) 74 http://rio2016.5ch.net/test/read.cgi/math/1755784703/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
951: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/09/11(木) 16:26:54.39 ID:4h3IFZvQ 文法かフーン剣や拳の達人。しかし法律家は数学苦手な面あるけど離れ過ぎかもな。 http://rio2016.5ch.net/test/read.cgi/math/1755784703/951
952: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/09/11(木) 16:28:30.46 ID:4h3IFZvQ 文法より修辞。法文書も文法も純文学にあまり関係ない。 http://rio2016.5ch.net/test/read.cgi/math/1755784703/952
953: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/09/11(木) 16:30:01.03 ID:4h3IFZvQ 文法使いを破壊するのが文学。 http://rio2016.5ch.net/test/read.cgi/math/1755784703/953
954: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/09/11(木) 16:32:06.94 ID:4h3IFZvQ 詩文や韻でずれてくる表象。 http://rio2016.5ch.net/test/read.cgi/math/1755784703/954
955: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/09/11(木) 20:58:11.03 ID:RbyHG7kc >>948 >「オレ、専門家より数学に詳しいもんね」の雑談氏と五十歩百歩の存在ということになってしまうが ありがとね 雑談氏です ；ｐ） 「オレ、専門家より数学に詳しいもんね」ではなく 弘法も筆の誤り・・・に近いかも つまり、望月先生の 宇宙という用語が 古い用法のまま 私の調べたところでは 基礎論分野で強制法が普及する前とした後で 用語”宇宙”の使い方に 大きな変化が生じた 現代的用法が、>>909 薄葉 季路 (早大理工) 集合論の宇宙 —Universe と Multiverse— https://www.mathsoc.jp/meeting/kikaku/2017haru/2017_haru_usuba-p.pdf です。薄葉 季路氏の用語”宇宙”は、ある公理系によって生成される 集合全体で それは基本はクラスで（クラスの親玉です） 例えば 強制法 ZFC公理系において フルパワー選択公理を もっと弱い選択公理に変えたらどうなるか？ そのときに フルパワー選択公理の作る宇宙と 弱い選択公理の作る宇宙との比較がどうか みたいなこと ところが、望月先生は 公理系が全く同じなのに Inter-Universal だという これ 薄葉 季路氏の用語”宇宙”とは、全く異なる使い方です これだと、現代用語の”宇宙”を調べた人 みんな混乱しますよ ってことです まあ、もともと 用語：集合 vs クラス vs 宇宙 において 数学者間で コンセンサスが 得られているかも また 不明ですが ；ｐ） http://rio2016.5ch.net/test/read.cgi/math/1755784703/955
956: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/09/11(木) 21:00:00.33 ID:RbyHG7kc >>954 死狂幻調教大師S.A.D.@月と六ベンツ さん いつもありがとうございます。 http://rio2016.5ch.net/test/read.cgi/math/1755784703/956
957: １３２人目の素数さん [] 2025/09/11(木) 21:57:26.37 ID:KfYwoBCP >>955 ＞薄葉 季路氏の用語”宇宙”は、 ＞ある公理系によって生成される 集合全体で ＞基本はクラス（クラスの親玉） 高卒 ◆yH25M02vWFhP は正確な引用もできない スライドp4「集合の宇宙」 ・集合すべてからなる集まりを（集合論の）宇宙と呼び、Vで表す ・Vは集合ではない（つまり、固有クラス） そして、Ｖとは別にグロタンディーク宇宙（U)がある （ここ、高卒 ◆yH25M02vWFhP は全然理解せず初歩から間違った） スライドp8「到達不能基数」 Remark 到達不能基数の存在はグロタンディーク宇宙と同値である ・グロタンディーク宇宙Uは、”集合すべてからなる集まり”（＝（集合論の）宇宙）Vではない ・グロタンディーク宇宙Uは集合である 高卒 ◆yH25M02vWFhP が両者は同じ（つまりV＝U）だと誤解した 正真正銘のド素人馬鹿野郎（笑） さすがに望月新一はそこまで馬鹿じゃない http://rio2016.5ch.net/test/read.cgi/math/1755784703/957
958: １３２人目の素数さん [] 2025/09/11(木) 22:05:07.88 ID:KfYwoBCP グロタンディーク宇宙Uが複数存在する場合 U0∈U1∈U2∈・・・ ということになってるが、これは U∈U とはもちろん異なる 望月新一はこのことは理解した上で U0∈U1∈U2∈・・・ から、U∈Uのシミュレーションができると思ってるらしいが ・そんなことが本当に必要なのか？ ・そんなことができているのか？ についてはどちらも不明 http://rio2016.5ch.net/test/read.cgi/math/1755784703/958
959: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/09/11(木) 22:36:22.42 ID:RbyHG7kc >>955 ＞「オレ、専門家より数学に詳しいもんね」ではなく 補足しておくと 私 スレ主構文は 下記のパターンが多い すなわち ・あとの参考文献からのポイントの引用 ・そこから 直ちに導かれる結論 (参考文献) http://www・・・ 出典 題名 著者 年月日 （要点の抜粋） １）・・・ ２）・・・ ３）・・・ (引用終り) このパターンが主です 独自説を唱えるつもりはない 主に 参考文献に語らせるスタイルを取ります だから、たいていの場合は 検索から引用した 参考文献が正しければ 必然 私の主張も正しい場合が多いのです http://rio2016.5ch.net/test/read.cgi/math/1755784703/959
960: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/09/11(木) 23:16:19.24 ID:RbyHG7kc >>957-958 ここは中高一貫校生も来る可能性があるから 赤ペン先生しておくよ >スライドp4「集合の宇宙」 >・集合すべてからなる集まりを（集合論の）宇宙と呼び、Vで表す >・Vは集合ではない（つまり、固有クラス） だから、そこは Von Neumann universe Vの話だよ (参考) https://en.wikipedia.org/wiki/Von_Neumann_universe Von Neumann universe denoted by V, is the class of hereditary well-founded sets. https://upload.wikimedia.org/wikipedia/commons/thumb/5/50/Von_Neumann_Hierarchy.svg/525px-Von_Neumann_Hierarchy.svg.png An initial segment of the von Neumann universe. Ordinal multiplication is reversed from our usual convention; see Ordinal arithmetic. (引用開始) スライドp8「到達不能基数」 Remark 到達不能基数の存在はグロタンディーク宇宙と同値である ・グロタンディーク宇宙Uは、”集合すべてからなる集まり”（＝（集合論の）宇宙）Vではない ・グロタンディーク宇宙Uは集合である 高卒 ◆yH25M02vWFhP が両者は同じ（つまりV＝U）だと誤解した (引用終り) 間違っている 到達不能基数とは？ 到達可能基数という用語はないが、平たくいえば Von Neumann universe V内の基数 つまり、ZFCで到達できる基数 が 到達可能基数です それを超える基数が、到達不能基数 ”基数”は、集合の用語を流用しているのだが まず、Von Neumann universe V は集合ではないとしたが グロタンディーク宇宙Uとの対比で Uは到達不能基数 V内は 全て 到達可能基数 だから V ⊂ U （∵ Uは Vの到達可能基数を全て含み そのうえ 到達不能基数でもある） ここらの機微は、圏論をかじらないと 分らないよ 君は、圏論を囓ってないよね （＾＾ 私は、わからないなりに 圏論を囓ったんだｗ ；ｐ） にしても、ここのVon Neumann universe V は集合ではない が V ⊂ Uの Uが集合だというのは、相当混乱させられる議論ではありますｗ (参考) https://en.wikipedia.org/wiki/Grothendieck_universe Grothendieck universe The idea of universes is due to Alexander Grothendieck, who used them as a way of avoiding proper classes in algebraic geometry. Grothendieck’s original proposal was to add the following axiom of universes to the usual axioms of set theory: For every set s, there exists a universe U that contains s, i.e., s∈U. The existence of a nontrivial Grothendieck universe goes beyond the usual axioms of Zermelo–Fraenkel set theory; in particular it would imply the existence of strongly inaccessible cardinals. http://rio2016.5ch.net/test/read.cgi/math/1755784703/960
961: １３２人目の素数さん [] 2025/09/11(木) 23:29:21.87 ID:xVcK8Xqk setaさんよう、嘘ばっか吐くのやめような 集合論の宇宙とグロタンディーク宇宙の違いが 分かってないのはお前だけ グロタンディークも望月氏も薄葉氏も>>957も俺も みーんなちゃんと分ってる 集合論の宇宙は集合でない、グロタンディーク宇宙は集合である お前が引用してる薄葉氏のスライドにもそう書いてあるだろ http://rio2016.5ch.net/test/read.cgi/math/1755784703/961
962: １３２人目の素数さん [] 2025/09/11(木) 23:30:22.23 ID:xVcK8Xqk で、グロタンディーク宇宙が集合でないって 書いてある文献はあったんかよ あるわけないよな お前の妄想にすぎないんだから http://rio2016.5ch.net/test/read.cgi/math/1755784703/962
963: １３２人目の素数さん [] 2025/09/11(木) 23:44:10.68 ID:xVcK8Xqk 「圏論を囓った」って嘘じゃないなら何の本を読んだんだか言ってみろよ http://rio2016.5ch.net/test/read.cgi/math/1755784703/963
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
1.871s*