保羅·寇恩

保羅·寇恩

保羅·寇恩(Paul Joseph Cohen,1934年4月2日---2007年3月23日) 美國數學家,他證明策梅洛-弗蘭克爾公理系統加上選擇公理 (ZFC) 不能反駁連續統假設 (CH) 的否命題,而 ZF 不能反駁選擇公理 (AC) 的否命題。這一划時代的工作與哥德爾在1930年代的工作一起,證明了 CH 和 AC 分別獨立於 ZFC 和 ZF。寇恩在證明中創造了力迫法,如今力迫法已經成為公理集合論的一項基本技術。寇恩憑藉連續統假設的獨立性證明於1966年獲得菲爾茲獎章。

基本信息

人物生平

保羅·寇恩生於美國新澤西州長灘(Long Branch)的一個猶太家庭,1950年畢業於紐約市的 Stuyvesant 高中。 1950年寇恩入讀紐約市立大學布魯克林學院。不過他了解到申請芝加哥大學的研究生院只需兩年大學經歷,因此於1953年從布魯克林學院肄業。1954年寇恩在芝加哥大學取得碩士學位,1958年他在 Antoni Zygmund 的指導下獲得博士學位。寇恩的博士論文題為《三角級數唯一性理論的一些問題》(Topics in the Theory of Uniqueness of Trigonometric Series)。

1957-1959年,在獲得博士學位之前曾先後執教於羅徹斯特大學和麻省理工大學。

1959-1961年,普林斯頓高等研究院博士後研究員。

1961年,獲聘為史丹福大學數學系助理教授。

1962年,升任史丹福大學數學系副教授,同年獲得 Sloan 基金獎勵。

1963年,憑藉連續統假設的獨立性證明獲得 Research Corp. 獎。

1964年,升任史丹福大學數學系教授。

1966年,獲得菲爾茲獎章。

1967年,獲得美國國家科學獎章。

2004年,從史丹福大學退休,但任教直至2007年春季。

2007年3月23日因病在斯坦福醫院去世,享年72歲。

成就與貢獻

Paul Cohen 年輕時照片 Paul Cohen 年輕時照片

生前是美國國家科學院和美國藝術科學院(American Academy of Arts and Sciences)的院士。寇恩的博士論文和早期的研究內容是調和分析。1964年寇恩憑藉分析學論文《關於李特爾伍德猜想和冪等測度》(On a conjecture of Littlewood and idempotent measures)獲得美國數學學會頒發的博修獎(Bôcher Memorial Prize)。1960年代初,寇恩開始對連續統假設感興趣。最終他發明了力迫法。在 ZF 協調的假設下,他運用力迫法構造了一個 ZFC 的模型 M,M 不滿足 CH,因此 ZFC 不能證明 CH。另外,同樣在 ZF 協調的假設下,寇恩運用力迫法擴張一個給定的 ZFC 模型 M 得到 M[G],然後取 M[G] 的一個子模型 N,N 滿足 ZF、然而不滿足 AC。寇恩的這兩項工作和哥德爾在1930年代的工作一起,證明了 CH 獨立於 ZFC 而 AC 獨立於 ZF,因此 CH 是 ZFC 上的一個不可判定問題。憑藉 CH 的獨立性證明,寇恩於1966年獲得菲爾茲獎章,並於1967年獲得美國國家科學獎章。直至今天,寇恩的菲爾茲獎章依然是數理邏輯界獲得的唯一一枚菲爾茲獎章。 寇恩生前是史丹福大學的教授,也是一位出色的教師,他指導的博士生彼得·薩納克(Peter Sarnak)是一位傑出的數學家、美國科學院院士和英國皇家學會會士。

連續統假設

據說在研究連續統假設的過程中,寇恩曾經感到其他數學家認為沒有希望解決這個問題,因為當時沒有構造集合論模型的新方法。1985年寇恩接受採訪時提到,人們甚至認為考慮這個問題的人多少有點瘋狂。寇恩的獨立性證明引入了力迫法,如今力迫法成為一項強有力的技術,不計其數的數學家們運用這一方法構造模型,檢驗給定的假設可否與不同的公理系統協調。

歷屆菲爾茲獎得主

獲獎時間(公元)獲獎人國籍
2006年

安德烈·奧昆科夫

俄羅斯
格里戈里·佩雷爾曼俄羅斯
2006年陶哲軒澳大利亞
2006年文德林·維爾納法國

2002年

洛朗·拉福格法國
1990年弗拉基米爾·沃埃沃德斯基烏克蘭
1998年理察·博赫茲

英國

1998年威廉·蒂莫西·高爾斯英國
1998年馬克西姆·孔采維奇俄羅斯
1998年柯蒂斯·麥克馬倫美國
1998年讓·布爾甘比利時
1994年皮埃爾·路易·利翁法國
1994年讓·克里斯托夫·約科茲法國
葉菲姆·澤爾曼諾夫俄羅斯
1990年弗拉基米爾·德林費爾德烏克蘭
1990年沃恩·弗雷德里克·蘭德爾·瓊斯紐西蘭
1990年森重文日本
1990年愛德華·威滕美國
1986年西蒙·唐納森英國
1986年格爾德·法爾廷斯德國
1986年麥可·哈特利·弗里德曼美國
1982年阿蘭·孔涅法國
1983年威廉·瑟斯頓美國
1983年丘成桐中國
1978年皮埃爾·德利涅比利時
1978年查爾斯·費夫曼美國
1978年格列戈里·亞歷山德羅維奇·馬爾古利斯前蘇聯
1978年丹尼爾·格雷·奎林美國
1974年恩里科·邦別里義大利
1974年大衛·芒福德美國
1970年艾倫·貝克英國
1970年廣中平祐日本
1970年謝爾蓋·諾維柯夫蘇聯
約翰·格里格斯·湯普森美國
1966年麥可·阿蒂亞英國
1966年保羅·寇恩美國
1966年亞歷山大·格羅滕迪克猶太裔無國籍
1966年史蒂芬·斯梅爾美國
1962年拉爾斯·赫爾曼德瑞典
1962年約翰·米爾諾美國
克勞斯·弗里德里希·羅思英國
1958年勒內·托姆法國
1954年小平邦彥日本
1954年讓·皮埃爾·塞爾法國
洛朗·施瓦茨猶太人
1950年阿特勒·塞爾貝格美國
1936年拉爾斯·瓦萊里安·阿爾福斯芬蘭
1936年傑西·道格拉斯美國

相關詞條

相關搜尋

熱門詞條

聯絡我們