[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 45 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
230(6): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/08(金)07:57 ID:g/NZ4Ytw(2/14) AAS
>>227
>面白いけどムズカシすぎて無理。
同じです。でも、”目を慣らして”いけば、だんだん分かるところも出てくる。私もそうだった。最初のころより大分目が慣れてきた
>本スレにある4章の意見が気になる。
下記かな？
Inter-universal geometry と ABC予想 52
2chｽﾚ:math
省25
231(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/08(金)07:57 ID:g/NZ4Ytw(3/14) AAS
>>230
つづき
The various ZFC-models that we work with may be thought of as [but are
not restricted to be!] the ZFC-models determined by various universes that are
sets relative to some ambient ZFC-model which, in addition to the standard axioms of ZFC set theory, satisfies the following existence axiom [attributed to the
“Grothendieck school” ? cf. the discussion of [McLn], p. 193]:
(†G) Given any set x, there exists a universe V such that x ∈ V .
省3
232(5): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/08(金)08:06 ID:g/NZ4Ytw(4/14) AAS
>>230
>俺はZFC公理系の公理の数が9個であるとする論文は見たことがないが、そうする一般向け解説は時-見るから、望月は専門外(笑)なので間違えてる可能性の方が高いと結論せざるを得ない
１．ZFC公理系の公理の数が9個ではなく、
今の論文では、”[i.e., the nine axioms of Zermelo-Fraenkel, together with the axiom of choice - cf., e.g., [Drk], Chapter 1, §3].”
だから、普通には、ZFが9個でしょ？ それは、下記のZF wikipedia の9個と合う
２．かつ、” - cf., e.g., [Drk], Chapter 1, §3]”と書いてあるから、” [Drk], Chapter 1, §3]”をチェックしての発言なのかな？ 自分は[Drk]をチェックする気が無いけどｗ
３．だから、ZFが9個で、ZFCなら10個って話かな？ 元の2012年版の記憶で書いているのかな？ 意味不明ですね（＾＾；
省16
238(2): 2020/05/08(金)10:38 ID:qXGvfbUV(2/26) AAS
>>235
>しかし基礎論の肝心なとこは本人もだし、何人も読んでたら気づくと思うんだけど。
>そこが致命的とか信じられないな。
ほいよ >>236
あなたも、ここで論陣を張りたければ、まずは事実を確認してくださいね
まずは、望月氏 IUT IVが引用している >>230の”cf., e.g., [Drk], Chapter 1, §3”を見ましょうね
（P85 Bibliography
省18
241(2): 2020/05/08(金)10:59 ID:qXGvfbUV(4/26) AAS
>>238
>あなたも、ここで論陣を張りたければ、まずは事実を確認してくださいね
>まずは、望月氏 IUT IVが引用している >>230の”cf., e.g., [Drk], Chapter 1, §3”を見ましょうね
F. R. Drake, Set Theory: an Introduction to Large Cardinals, Studies in Logic and the Foundations of Mathematics 76, North-Holland (1974).
静岡大学附属図書館と 新潟大学附属図書館とがヒットしますね（＾＾；
アマゾン/Set-Theory-Introduction-Foundations-Mathematics/dp/0720422795
Set Theory: An Introduction to Large Cardinals (Studies in Logic and the Foundations of Mathematics) (英語) ハードカバー ? 1974/10/1
省12
315(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/09(土)00:28 ID:NFbqSkQk(2/12) AAS
>>313
>まあこれP21やP31できちんと説明してるし、それ以前に自分で書いてるように論文じゃなくて教科書だしな
同意だ
望月論文 IUT IVでは、ちゃんと引用の教科書 [Drk], Chapter 1, §3].
[Drk] F. R. Drake, Set Theory: an Introduction to Large Cardinals, Studies in Logic and the Foundations of Mathematics 76, North-Holland (1974).
これを見ないで、無限だとかアホをいうやつが、バカだってことよ（＾＾
>公理1とかの名付けは数学的言明でもない
省19
324(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/09(土)08:11 ID:NFbqSkQk(5/12) AAS
>>320
コメントありがとう
＞案の定ZFCGがZFCの保存的拡大だのZFCの9個の公理だの間違えまくってるという
１．「ZFCの9個の公理」は、当時の記述がどうだかしらないが、2020年版では
（>>230-232より 望月 IUT IV）
”[i.e., the nine axioms of Zermelo-Fraenkel, together with the axiom of choice - cf., e.g., [Drk], Chapter 1, §3].”
ってなっているので、 [Drk], Chapter 1, §3].からの引用というスタイルだから、無問題
省3
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.033s