現代数学の系譜カントル超限集合論他 3

[過去ﾛｸﾞ] 現代数学の系譜カントル超限集合論他 3 (548ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

401: １３２人目の素数さん [] 2021/11/19(金) 21:16:09.87 ID:+7TU/4z5

>>395 補足
>”n・・・”みたく、無限上昇列を、作ったんだ。ノイマンは

https://ja.wikipedia.org/wiki/%E3%83%9A%E3%82%A2%E3%83%8E%E3%81%AE%E5%85%AC%E7%90%86
ペアノの公理

ペアノの公理は以下の図にまとめることができる:
f(x)→f( f(x) )→f( f( f(x) ) )→ ・・・
ここで、各 f(x), f( f(x) ), f( f( f(x) ) ), ... は互いに異なる。

それぞれの自然数を明記しようとするならば、その数より小さい自然数全てを要素とする数の集合、となる。即ち、
0 := {}
1 := suc(0) = {0} = {{}}
2 := suc(1) = {0, 1} = {0, {0}} = { {}, {{}} }
3 := suc(2) = {0, 1, 2} = {0, {0}, {0, {0}}} = { {}, {{}}, { {}, {{}} } }
等々である。 この構成法はジョン・フォン・ノイマンによる[2] 。

https://ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0
自然数
0 := {}, suc(a) := {a} と定義したならば、
0 := {}
1 := {0} = {{}}
2 := {1} = {{{}}}
3 := {2} = {{{{}}}}
と非常に単純な自然数になる。
(引用終り)

つまり、この対応は
数→Zermelo→　Neumann
0 :　 {} 　→　{}
1 :　{{}}  →　{0}
2 : {{{}}}  →　{0, 1}
3 :{{{{}}}} →　{0, 1, 2}
・
・
n :{･･{{{}}}･･} →　{0, 1, 2,･･,n-1}
・
・
ω :{･･･{{{}}}･･･} →　{0, 1, 2,･･,n-1･･･} (注：･･･の部分は全ての自然数を尽くす)
となる

そして、0, 1, 2･･･は、カッコ{}のネスティングの深さにも対応しているのです

http://rio2016.5ch.net/test/read.cgi/math/1595034113/401

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.019s