恩斯特·弗里德里希·費狄南·策梅洛(德語:Ernst Friedrich Ferdinand Zermelo)或譯策莫羅,1871年7月27日-1953年5月21日),生於柏林,是德國數學家,其工作主要為數學基礎,因而對哲學有重要影響。
基本介紹
- 中文名:恩斯特·策梅洛
- 外文名:Ernst Friedrich Ferdinand Zermelo
- 出生日期:1871年7月27日
- 逝世日期:1953年5月21
恩斯特·弗里德里希·費狄南·策梅洛(德語:Ernst Friedrich Ferdinand Zermelo)或譯策莫羅,1871年7月27日-1953年5月21日),生於柏林,是德國數學家,其工作主要為數學基礎,因而對哲學有重要影響。
恩斯特·弗里德里希·費狄南·策梅洛(德語:Ernst Friedrich Ferdinand Zermelo)或譯策莫羅,1871年7月27日-1953年5月21日),生於柏林,是德國數學家,其工作...
在1908 年,恩斯特·策梅洛提議了第一個公理化集合論,策梅洛集合論。這個公理化理論不允許構造序數;而多數“普通數學”不使用序數就被不能被開發,序數在多數...
《策梅洛集合論》是1908年出版的圖書,作者是(德)策梅洛。本書主要是對作者...Zermelo 集合論,設立自恩斯特·策梅洛在1908年的重要論文,它是現代集合論的...
策梅羅集合論策梅洛集合論 編輯 Zermelo 集合論,設立自恩斯特·策梅洛在1908年的重要論文,它是現代集合論的祖先。它與它的後代有特定的差別,經常被誤解並經常...
恩斯特·策梅洛在他 1908 年發表的成為現代集合論基礎的論文"Untersuchungen über die Grundlagen der Mengenlehre I"中有一個定理(他稱之為康托爾定理)同於...
,對每一個 ,均有 。選擇公理最早於1904年,由恩斯特·策梅洛為證明良序定理而公式化完成。非正式地說,選擇公理聲明:給定一些盒子(可以是無限個),每個盒子中都...
恩斯特·策梅洛接著引入了選擇公理作為證明良序定理的“不討厭的邏輯原理”。這揭示了良序定理等價於選擇公理,在它們中的一個和Zermelo-Fraenkel公理一起足夠證明另...
恩斯特·策梅洛在他1908年發表的成為現代集合論基礎的論文《Untersuchungen über die Grundlagen der Mengenlehre I》中有一個定理(他稱之為康托爾定理)同於上面...
選擇公理(Axiom of choice),是一條集合論公理,由德國數學家恩斯特·策梅洛在1904年公式化。 物理 交流電(Alternating current),是指大小和方向都發生周期性變化...
Zermelo選擇公理是數學中的一條集合論公理,最早於1904年由恩斯特·策梅洛為證明良序定理而公式化完成。...
1908年,恩斯特·策梅洛提出了被稱作策梅洛-弗蘭克爾集合論(或ZFC)的公理化集合論。該理論採用了選擇公理,並作為數學的基礎理論存在,因所有的數學對象均可通過...
。選擇公理最早於1904年,由恩斯特·策梅洛為證明良序定理而公式化完成。非正式地說,選擇公理聲明:給定一些盒子(可以是無限個),每個盒子中都含有至少一個小球,那么...
選擇公理(Axiom of choice),是一條集合論公理,由德國數學家恩斯特·策梅洛在1904年公式化。AC物理 交流電(Alternating current),是指大小和方向都發生周期性變化...