[過去ログ] 現代数学の系譜 カントル 超限集合論 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
536
(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/11/30(土)20:49 ID:4Ujjq2jv(1/17) AAS
>>508 追加

Kuratowsk有限(1920),iは、仏文らしいね(^^;
https://en.wikipedia.org/wiki/Finite_set
Finite set
(抜粋)
References
・Kuratowski, Kazimierz (1920), "Sur la notion d'ensemble fini" (PDF), Fundamenta Mathematicae, 1: 129?131
http://matwbn.icm.edu.pl/ksiazki/fm/fm1/fm1117.pdf

http://pldml.icm.edu.pl/pldml/element/bwmeta1.element.bwnjournal-article-fmv1i1p17bwm
Fundamenta Mathematicae
1920 | 1 | 1 | 129-131
Sur la notion d'ensemble fini
Kazimierz KuratowskiJ?zyki publikacji FR
Abstrakty
FR
Le but de cette note est d'introduire une definition d'un ensemble fini et de demontrer son equivalence avec la definition donnee par Wac?aw Sierpi?ski.

つづく
549
(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/11/30(土)21:49 ID:4Ujjq2jv(14/17) AAS
>>536
>・Kuratowski, Kazimierz (1920), "Sur la notion d'ensemble fini" (PDF), Fundamenta Mathematicae, 1: 129?131

1920は、2019から見れば、ほぼ100年前

>>544 補足
>W.Sierpinski氏は彼の著書「Zermeloの公理とアンサンブルと分析の理論における彼の役割」1)有限集合の新しい定義を与えました。

Kuratowskiは、Sierpinski氏の著書「Zermeloの公理とアンサンブルと分析の理論における彼の役割」の有限集合の新しい定義を改良したわけです
1920年当時、(20世紀初頭までの)数学を公理的に扱えるようにするというのが、最先端の研究だった時代
「Zermeloの公理」が出ていたんだ
で、みなさんご存知のように、Zermeloはまずは、自然数N (可算無限)を、彼の公理から、構成した
(>>519ご参照)

で、当時既に知られていたようだが、自然数の構成は1通りではない
2019年では、ノイマンの構成が一番有名だが、
https://ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0 自然数 などをご参照
省9
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.044s