[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
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”に書いてあるよ
繰返すが、ωについては順序数の話（OKの方）ですよ（＾＾
（基数は、アレフの方の話で別ですよ。当然、お分かりでしょうけど）
https://plato.stanford.edu/entries/zermelo-set-theory/
https://plato.stanford.edu/entries/zermelo-set-theory/
Stanford Encyclopedia of Philosophy
Zermelo’s Axiomatization of Set Theory Michael Hallett
First published Tue Jul 2, 2013
(抜粋)
3. The Major Problems with Zermelo's System
3.1 Separation
3.2 Completeness
3.2.1 Representing Ordinary Mathematics
3.2.2 Ordinality
3.2.3 Cardinality
3.2.4 Ordinals
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より）
ｘｘスキーとか、紛らわしいな って、オイオイ(゜ロ゜;
下記の人だろうね（＾＾
https://ja.wikipedia.org/wiki/%E3%82%AB%E3%82%B8%E3%83%9F%E3%82%A7%E3%82%B7%E3%83%A5%E3%83%BB%E3%82%AF%E3%83%A9%E3%83%88%E3%83%95%E3%82%B9%E3%82%AD
カジミェシュ・クラトフスキ
(抜粋)
カジミェシュ・クラトフスキ（Kazimierz Kuratowski, 1896年2月2日 - 1980年6月18日）はポーランドの数学者。
概要
ロシア帝国領（当時）のワルシャワに生まれ、グラスゴー大学で工学を、ワルシャワ大学で数学を学ぶ。
ワルシャワ大学にて博士号を取得後、1927年にルヴフ工科大学教授に就任。
ルヴフ（現ウクライナ・リヴィウ）ではステファン・バナフ、スタニスワフ・ウラムらとともに測度論に関する研究を行う。
1934年にはワルシャワ大学数学科教授に就任。第二次世界大戦後はポーランド科学アカデミー副理事長等の要職を歴任し、ポーランド数学界の復興に尽力した。
位相空間論・集合論において多大な業績を残し、特に二巻本の大著『トポロジー Topologie』（第1巻1933年刊、第2巻1950年刊）は、ポーランド学派点集合トポロジーの金字塔である。
業績
・クラトフスキ・ツォルンの補題の発見
・順序対 (x,y)と集合 {{x},{x,y}}との同一性。
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 ∅, {∅}, {{∅}}, ….)
>The natural numbers are represented by Zermelo as by ∅, {∅}, {{∅}}, …,
>and the Axiom of Infinity gives us a set of these.
ツェルメロの自然数における無限公理は
{∅, {∅}, {{∅}}, …, }
の存在を述べているだけ
{…{∅}…}なんて全然出てこないけどな
274: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/12(土)08:07 ID:0oc9Ztsl(6/28)調 AAS
>>272 追加
ここらは、全部下記の”Stanford Encyclopedia of Philosophy”に、類似のことが書かれていると思うよ
（>>224より）
https://plato.stanford.edu/entries/zermelo-set-theory/
Stanford Encyclopedia of Philosophy
Zermelo’s Axiomatization of Set Theory Michael Hallett
First published Tue Jul 2, 2013
(抜粋)
3. The Major Problems with Zermelo's System
3.1 Separation
3.2 Completeness
3.2.1 Representing Ordinary Mathematics
3.2.2 Ordinality
3.2.3 Cardinality
3.2.4 Ordinals
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}生成が、これの超限回繰返しが可能なわけですよね
（>>224より）
https://plato.stanford.edu/entries/zermelo-set-theory/
Stanford Encyclopedia of Philosophy
Zermelo’s Axiomatization of Set Theory Michael Hallett
First published Tue Jul 2, 2013
(抜粋)
1. The Axioms
Given this, the one fundamental relation is that of set membership, ‘ε’ , which allows one to state that an object a belongs to, or is in, a set b, written ‘a ε b’.[4] Zermelo then laid down seven axioms which give a partial description of what is to be found in B. These can be described as follows:
I.Extensionality
This says roughly that sets are determined by the elements they contain.
II.Axiom of Elementary Sets
This asserts
(a) the existence of a set which contains no members (denoted ‘0’ by Zermelo, now commonly denoted by ‘?’);
(b) the existence, for any object a, of the singleton set {a} which has a as its sole member; and
(c) the existence, for any two objects a, b, of the unordered pair {a, b}, which has just a, b as its members.
https://ja.wikipedia.org/wiki/%E6%AD%A3%E5%89%87%E6%80%A7%E5%85%AC%E7%90%86
正則性公理（せいそくせいこうり、英: axiom of regularity）は、別名基礎の公理（きそのこうり、英: axiom of foundation） とも呼ばれ、ZF公理系を構成する公理の一つで、1925年にジョン・フォン・ノイマンによって導入された。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.050s