Inter-universal geometry と ABC予想 (応援スレ) 74 (974ﾚｽ)
Inter-universal geometry と ABC予想 (応援スレ) 74 http://rio2016.5ch.net/test/read.cgi/math/1755784703/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
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
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
959: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/09/11(木) 22:36:22.42 ID:RbyHG7kc >>955 ＞「オレ、専門家より数学に詳しいもんね」ではなく 補足しておくと 私 スレ主構文は 下記のパターンが多い すなわち ・あとの参考文献からのポイントの引用 ・そこから 直ちに導かれる結論 (参考文献) http://www・・・ 出典 題名 著者 年月日 （要点の抜粋） １）・・・ ２）・・・ ３）・・・ (引用終り) このパターンが主です 独自説を唱えるつもりはない 主に 参考文献に語らせるスタイルを取ります だから、たいていの場合は 検索から引用した 参考文献が正しければ 必然 私の主張も正しい場合が多いのです http://rio2016.5ch.net/test/read.cgi/math/1755784703/959
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.029s