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

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

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

92: 現代数学の系譜 雑談 ◆e.a0E5TtKE  [] 2019/10/05(土) 21:35:51.26 ID:JrhjRl4x

>>91 補足

”The natural numbers are represented by Zermelo as by Φ, {Φ}, {{Φ}}, …, and the Axiom of Infinity gives us a set of these.
Moreover, it seems that, since both the set of natural numbers and the power set axiom are available, there are enough sets to represent the rationals and the reals, functions on reals etc.
What are missing, though, are the details: how exactly does one represent the right equivalence classes, sequences etc.?”

ツェルメロ自然数構成
批判はされているけれど（＾＾

・by Φ, {Φ}, {{Φ}}, …, and the Axiom of Infinity gives us a set of these
・since both the set of natural numbers and the power set axiom are available, there are enough sets to represent the rationals and the reals, functions on reals etc.
・何が不足なの？ What are missing, though, are the details: how exactly does one represent the right equivalence classes, sequences etc.?

まあ、ツェルメロ自然数構成から、無限集合が出来て、自然数とその冪集合から、有理数や実数や実関数などはできる
でも、批判はあった。それは、基礎論パイオニアの宿命でもあったかもしれない（＾＾

http://rio2016.5ch.net/test/read.cgi/math/1570237031/92

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

あと 910 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.017s