E.F.F.策梅洛

  德國數學傢,公理集合論的主要開創者之一。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,形成瞭公理集合論的主要基礎。

  策梅洛對物理、數學應用一直有濃厚的興趣,在變分法、氣體運動學等方面也有研究。