来自当知百科
跳转到: 导航搜索
E.F.F.策梅洛(1871~1953)

  德国数学家,公理集合论的主要开创者之一。1871年7月27日生于柏林,1953年5月21日卒于弗赖堡。1889年大学毕业后,研究数学、物理和哲学,1894年获博士学位,1899年执教于格丁根。1905年被任命为教授。1926年被任命为弗赖堡大学荣誉教授,1935年因驳斥希特勒的统治与该校失去联系,直到第二次世界大战后的1946年才被该校承认复职。

  策梅洛的主要贡献是集合论基础,1904年发表的论文《每一集合都能够被良序的证明》不仅解决了G.(F.P.)康托尔的良序问题,而且给出了一条基本原理即选择公理(也称为策梅洛公理),它有上百种等价形式,已应用于几乎每一个数学分支,成为一个独立的研究领域。他在1908年发表的论文《集合论基础研究 I》中建立了第一个集合论公理系统,给出了外延、空集合、并集合、幂集合、分离、无穷与选择等公理,A.A.弗伦克尔和A.T.斯科朗又作了改进,增加了替换公理,J.冯•诺伊曼进一步提出了正则公理,后经策梅洛的总结构成了著名的集合论公理系统ZF,形成了公理集合论的主要基础。

  策梅洛对物理、数学应用一直有浓厚的兴趣,在变分法、气体运动学等方面也有研究。

个人工具
名字空间

变换
查看
操作
导航
工具箱