[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
224(6): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/09(水)23:51 ID:2o5RsZjT(1/3) AAS
>>221
議論の前提として、ある程度、標準的に認められている現代数学の成果は、認めることにしましょうね（＾＾
ツェルメロから、ノイマンへ至道、それは幾人もの希代の天才たちが、十年以上の歳月をかけた思考の結晶だ
こんなバカ板のバカスレで、１からの数学ゼミやったら、100年かかっても少しも進みませんぜｗ(゜ロ゜;
ツェルメロ構成は、順序数（3.2.2 Ordinality）については、モストフスキー崩壊理論で、一応成立（OKってこと）
但し、基数（3.2.3 Cardinality）については、これじゃだめということですよ
それ、下記の”Zermelo’s Axiomatization of Set Theory Michael Hallett”に書いてあるよ
省15
225: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/09(水)23:54 ID:2o5RsZjT(2/3) AAS
>>224
Stanford Encyclopedia of Philosophyがダブッたな
まあ、ご愛敬（＾＾
226(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/09(水)23:56 ID:2o5RsZjT(3/3) AAS
>>224
3.2.2 Ordinality
Thus, many of the representational problems faced by Zermelo's theory are solved at a stroke by Kuratowski's work, building as it does on Zermelo's own.
って話な（＾＾
227(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/10(木)00:04 ID:JCH5uyU5(1/7) AAS
>>224 訂正します
ツェルメロ構成は、順序数（3.2.2 Ordinality）については、モストフスキー崩壊理論で、一応成立（OKってこと）
↓
ツェルメロ構成は、順序数（3.2.2 Ordinality）については、Kuratowskで、一応成立（OKってこと）
（>>226より）
ｘｘスキーとか、紛らわしいな って、オイオイ(゜ロ゜;
下記の人だろうね（＾＾
省13
241(1): 2019/10/10(木)20:31 ID:JxHMvoEF(1/3) AAS
>>224
＞それ、下記の”Zermelo’s Axiomatization of Set Theory Michael Hallett”に書いてあるよ
英語読めてる？
>VII.Infinity
>This final axiom asserts the existence of an infinitely large set which contains the empty set,
>and for each set a that it contains, also contains the set {a}.
> (Thus, this infinite set must contain ∅, {∅}, {{∅}}, ….)
省6
274: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/12(土)08:07 ID:0oc9Ztsl(6/28) AAS
>>272 追加
ここらは、全部下記の”Stanford Encyclopedia of Philosophy”に、類似のことが書かれていると思うよ
（>>224より）
外部ﾘﾝｸ:plato.stanford.edu
Stanford Encyclopedia of Philosophy
Zermelo’s Axiomatization of Set Theory Michael Hallett
First published Tue Jul 2, 2013
省8
288(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/12(土)11:56 ID:0oc9Ztsl(13/28) AAS
>>287
申し訳ないが、意味が取れない
１）下記、Zermelo (1908b) ”(b) the existence, for any object a, of the singleton set {a} which has a as its sole member”
２）これは、>>175の通り、ZFCでは、対の公理で「a → {a}」が言える
３）で、Zermelo (1908b)では正則性公理は、無かった（∵1925年にジョン・フォン・ノイマンによって導入された）
４）しかし、ZFCの対の公理による「a → {a}」の the singleton set {a}生成 に、正則性公理からの規制（有限回に限られる？）があると、そういう話はないでしょ？
じゃ、ZFCの対の公理による「a → {a}」の the singleton set {a}生成が、これの超限回繰返しが可能なわけですよね
省17
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.041s