標籤: 暫無標籤

1871年7月27日生於柏林,德國數學家。公理集合論的主要開創者之一。他在1908年建立了第一個集合論公理系統,給出了外延、空集合、並集合、冪集合、分離、無窮與選擇等公理。

策梅洛(1871~1953)

Zermelo, Ernst Friedrich Ferdinand

1 策梅洛 -釋義

德國數學家。公理集合論的主要開創者之一。1871年7月27日生於柏林,1953年5月21日卒於弗賴堡。1889年大學畢業后,研究數學、物理和哲學,1894年獲博士學位,1899年執教於格丁根。1905年為教授。1926年為弗賴堡大學榮譽教授,1935年因駁斥阿道夫·希特勒的統治與該校失去聯繫,直到第二次世界大戰後的1946年才被該校承認復職。

2 策梅洛 -歷史

策梅洛的主要貢獻是集合論基礎,1904年發表的論文不僅解決了G.康托爾的良序問題,而且給出了選擇公理(也稱為策梅洛公理),它有上百種等價形式,已應用於幾乎每一個數學分支,成為一個獨立的研究領域。他在1908年建立了第一個集合論公理系統,給出了外延、空集合、並集合、冪集合、分離、無窮與選擇等公理,A.A.弗倫克爾和A.T.斯科朗又作了改進,增加了替換公理,J.馮·諾伊曼進一步提出了正則公理,后經策梅洛的總結構成了著名的集合論公理系統ZF,形成了公理集合論的主要基礎。策梅洛對物理、數學應用一直有濃厚的興趣,在變分法、氣體運動學等方面也有研究。
上一篇[由羅繪里]    下一篇 [如來藏]

相關評論

同義詞:暫無同義詞