公理集合論的主要開創者之一:德國數學家策梅洛

公理集合論的主要開創者之一:德國數學家策梅洛

德國歷史故事

公理集合論的主要開創者之一:德國數學家策梅洛

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

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

策梅洛定理表示在二人的有限遊戲中,如果雙方皆擁有完全的資訊,並且運氣因素並不牽涉在遊戲中,那先行或後行者當一必有一方有必勝/必不敗的策略。若運用至國際象棋,則策梅洛定理表示"要麼黑方有必勝之策略、要麼白方有必勝之策略、要麼雙方也有必不敗之策略"。

策梅洛的論文於1913年以德文發表,並被Ulrich Schwalbe和Paul Walker於1997年譯為英文。

共2頁 上一頁 1 2 下一頁
德國歷史故事
實用查詢
文學資料
健康知識
起名參考