​策梅洛（德国数学家,公理集合论的主要开创者之一）

策梅洛（德国数学家,公理集合论的主要开创者之一）

策梅洛简介

策梅洛（1871～1953；Zermelo, Ernst Friedrich Ferdinand），德国数学家。公理集合论的主要开创者之一。

1871年7月27日生于柏林，1953年5月21日卒于弗赖堡。

1889年大学毕业后，研究数学、物理和哲学，1894年获博士学位，1899年执教于格丁根。

1905年为教授。

1926年为弗赖堡大学荣誉教授，1935年因驳斥希特勒的统治与该校失去联系，直到第二次世界大战后的1946年才被该校承认复职。

策梅洛的主要贡献是集合论基础，1904年发表的论文不仅解决了G.康托尔的良序问题，而且给出了选择公理（也称为策梅洛公理），它有上百种等价形式，已应用于几乎每一个数学分支，成为一个独立的研究领域。

他在1908年建立了第一个集合论公理系统，给出了外延、空集合、并集合、幂集合、分离、无穷与选择等公理，A.A.弗伦克尔和A.T.斯科朗又作了改进，增加了替换公理，J.冯·诺伊曼进一步提出了正则公理，后经策梅洛的总结构成了著名的集合论公理系统ZF，形成了公理集合论的主要基础。

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