恩斯特·策梅洛（Ernst Friedrich Ferdinand Zermelo）是一位杰出的德國數學家和邏輯學家，1871年7月27日出生于柏林。他在數學基礎領域的工作對哲學產生了深遠的影響。策梅洛是Zermelo-Fraenkel公理集合論的先驅之一，并證明了良序定理。他還在1929年提出了一種排名國際象棋選手的模型，這種成對比較的方法對多個領域產生了重要影響。
人物經歷
恩斯特·策梅洛1889年畢業于柏林的路易森施泰特體育中學，該?，F在被稱為海因里?！な├锫?/a>中學。隨后，他在柏林大學、哈雷大學和弗萊堡大學學習數學、物理和哲學。1894年，他在柏林大學完成了關于變分法的博士學位論文。策梅洛留在柏林洪堡大學，擔任馬克斯·普朗克的助手，并在其指導下開始研究流體力學。1897年，他前往當時世界數學研究中心的哥廷根市，并在1899年完成了教員資格論文。
1910年，策梅洛離開格丁根，被任命為蘇黎世大學的數學教授，但在1916年辭職。1926年，他被任命為弗萊堡大學的名譽教授，但由于不支持阿道夫·希特勒的政權，于1935年辭職。二戰結束后，策梅洛被恢復到弗萊堡的名譽職位。
策梅洛在1900年巴黎國際數學家大會上由戴維·希爾伯特提出的希爾伯特問題的影響下，開始研究集合論問題，并在1902年發表了關于加法的第一篇作品。在此期間，他發現了羅素悖論，并在1904年證明了良序定理，使他聲名鵲起。1905年，他被任命為哥廷根市大學教授。1908年，策梅洛提出了一個改進的良序定理證明，并提出了一套集合論的公理化，這套公理化后來被廣泛接受。
從1905年開始，策梅洛對集合論進行了公理化的嘗試，并在1908年發表了他的研究成果。1922年，阿伯拉罕·弗蘭克爾和索克勒姆對策梅洛的公理系統進行了改進，形成了現在廣泛使用的策梅洛-弗雷德里希公理（ZF）。
1931年，策梅洛提出了策梅洛導航問題，這是一個經典的最優控制問題，涉及在水域上航行的船只如何在最短時間內從起點到達目的地。該問題考慮了外部力如水流和風的影響。
策梅洛于1953年5月21日在弗萊堡逝世。
文獻
英語譯本主要文獻：
Jean Van Heijenoort, 1967. From Frege to Godel: A Source Book in Mathematical Logic, 1879-1931. Harvard Univ. Press.
1904. "Proof that every set can be well-ordered," 139-41.
1908. "A new proof of the possibility of well-ordering," 183-98.
1908. "Investigations in the foundations of set theory I," 199-215.
1930. "On boundary numbers and domains of sets: new investigations in the foundations of set theory" in Ewald, William B., ed., 1996. From Kant to Hilbert: A Source Book in the Foundations of 數學, 2 vols. Oxford Uni. Press: 1219-33.
次要文獻:
Ivor Grattan-Guinness, 2000. The Search for Mathematical Roots 1870-1940. Princeton Uni. Press.
格雷戈里·H·摩爾，《策梅洛選擇公理，其起源、發展和影響》。
策梅洛的著作包括《策梅洛集》第一卷《集合論、雜文》和第二卷《變分法、應用數學和物理學》。
參考資料 >