恩斯特·策梅洛

德国数学家
image
恩斯特·策梅洛（Ernst Friedrich Ferdinand Zermelo）是一位杰出的德国数学家和逻辑学家，1871年7月27日出生于柏林。他在数学基础领域的工作对哲学产生了深远的影响。策梅洛是Zermelo-Fraenkel公理集合论的先驱之一，并证明了良序定理。他还在1929年提出了一种排名国际象棋选手的模型，这种成对比较的方法对多个领域产生了重要影响。

人物经历

恩斯特·策梅洛1889年毕业于柏林的路易森施泰特体育中学，该校现在被称为海因里希-施利曼中学。随后，他在柏林大学、哈雷大学和弗莱堡大学学习数学、物理和哲学。1894年，他在柏林大学完成了关于变分法的博士学位论文。策梅洛留在柏林大学，担任普朗克的助手，并在其指导下开始研究流体力学。1897年，他前往当时世界数学研究中心的格丁根，并在1899年完成了教员资格论文。
1910年，策梅洛离开格丁根，被任命为苏黎世大学的数学教授，但在1916年辞职。1926年，他被任命为弗莱堡大学的名誉教授，但由于不支持阿道夫·希特勒的政权，于1935年辞职。二战结束后，策梅洛被恢复到弗莱堡的名誉职位。
策梅洛在1900年巴黎国际数学家大会上由大卫·希尔伯特提出的希尔伯特问题的影响下，开始研究集合论问题，并在1902年发表了关于加法的第一篇作品。在此期间，他发现了罗素悖论，并在1904年证明了良序定理，使他声名鹊起。1905年，他被任命为哥廷根大学教授。1908年，策梅洛提出了一个改进的良序定理证明，并提出了一套集合论的公理化，这套公理化后来被广泛接受。