Inter-universal geometry と ABC予想 (応援スレ) 73 (736ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
497(1): １３２人目の素数さん [] 08/11(月)13:47 ID:beOIuuoE(1)
>>496
well-definedではないZFCGを使うんだったら
てめえで全ての証明をきっちり出せなきゃただのオレオレ詐欺w
499(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 08/11(月)15:40 ID:f34iaqr/(4/7)
>>497-498
>well-definedではないZFCGを使うんだったら
ふっふ、ほっほ
妄想のお二人 基礎論ど素人さんｗ
『well-definedではないZFCG』？
まず、下記の 薄葉季路（早大理工） 2017春
最後から２枚目と最後とをみてちょ
21世紀のいまどきの 基礎論 宇宙の話が分かるから
分からない人は、薄葉季路先生に聞いてくださいね
基礎論ど素人さんが、妄想でグダグダ言ってもねｗ ；ｐ）
そもそも 下記のIUT IVの Bibliography [McLn] を否定するつもりかい？
ならば、論文かきなよ 『[McLn]は 間違いだぁー』ってよｗ （＾＾
(参考)
https://www.mathsoc.jp/section/logic_and_history/Tokubetu.html
日本数学会
数学基礎論および歴史分科会 特別講演
2017春(首都大東京) 薄葉季路（早大理工） 集合論の宇宙 -UniverseとMultiverse- (企画特別)
https://www.mathsoc.jp/activity/video/2017spring/0324usuba.html
集合論の宇宙 —Universe と Multiverse— 薄葉 季路 (早大理工) 2017年3月
https://youtu.be/WQzlEj1g71M?t=1
発表スライド『集合論の宇宙 Universe と Multiverse』
https://www.mathsoc.jp/meeting/kikaku/2017haru/2017_haru_usuba-p.pdf
https://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20IV.pdf
[4] Inter-universal Teichmuller Theory IV: Log-volume Computations and Set-theoretic Foundations. (2020-04-22)
P67
Section 3: Inter-universal Formalism: the Language of Species
We shall refer to such models as ZFC-models. Recall that a (Grothendieck) universe V is a set satisfying the following axioms [cf. [McLn], p. 194]:
略
We shall refer to a ZFC-model that also satisfies this additional axiom of the Grothendieck school as a ZFCG-model.
Bibliography
[McLn] S. MacLane, One Universe as a Foundation for Category Theory, Reports of the Midwest Category Seminar III, Lecture Notes in Mathematics 106, SpringerVerlag (1969).
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.032s