策梅洛（1871～1953）

Zermelo, Ernst Friedrich Ferdinand

策梅洛 - 釋義

德國數(shù)學(xué)家。公理集合論的主要開創(chuàng)者之一。1871年7月27日生于柏林，1953年5月21日卒于弗賴堡。1889年大學(xué)畢業(yè)后，研究數(shù)學(xué)、物理和哲學(xué)，1894年獲博士學(xué)位，1899年執(zhí)教于格丁根。1905年為教授。1926年為弗賴堡大學(xué)榮譽(yù)教授，1935年因駁斥阿道夫·希特勒的統(tǒng)治與該校失去聯(lián)系，直到第二次世界大戰(zhàn)后的1946年才被該校承認(rèn)復(fù)職。

策梅洛 - 歷史

策梅洛的主要貢獻(xiàn)是集合論基礎(chǔ)，1904年發(fā)表的論文不僅解決了G.康托爾的良序問題，而且給出了選擇公理（也稱為策梅洛公理），它有上百種等價(jià)形式，已應(yīng)用于幾乎每一個(gè)數(shù)學(xué)分支，成為一個(gè)獨(dú)立的研究領(lǐng)域。他在1908年建立了第一個(gè)集合論公理系統(tǒng)，給出了外延、空集合、并集合、冪集合、分離、無窮與選擇等公理，A.A.弗倫克爾和A.T.斯科朗又作了改進(jìn)，增加了替換公理，J.馮·諾伊曼進(jìn)一步提出了正則公理，后經(jīng)策梅洛的總結(jié)構(gòu)成了著名的集合論公理系統(tǒng)ZF，形成了公理集合論的主要基礎(chǔ)。策梅洛對(duì)物理、數(shù)學(xué)應(yīng)用一直有濃厚的興趣，在變分法、氣體運(yùn)動(dòng)學(xué)等方面也有研究。