科恩

　p.j.科恩(p.choen)生于美國，是波蘭猶太移民的后裔，1966年獲獎，他證明了連續(xù)統(tǒng)假設與zf集合公理系統(tǒng)彼此獨立，從而使連續(xù)統(tǒng)假設成為一種既不能證明，又不能推翻的現代邏輯工具。
 

　　科恩生于美國新澤西州的長溪，不到20歲就從紐約的布魯克林學院畢業(yè)，然后進入芝加哥大學讀研究生，20歲獲得碩士學位，1958年獲博士學位，1957—1958年在羅切斯特大學任教，其后在麻省理工學院任教一年。1959—1961年在普林斯頓高等研究院做研究，1961年起到斯坦福大學任教，1964年升任教授至今。
 

　　1962年之前科恩的主要工作是在調和分析方面，1959—1960年，他做出杰出的工作，特別是證明利特爾伍德（littlewood)猜想，這個成就是如此杰出，以至科恩獲得美國數學會1964年度波謝（bocher）獎。這是美國在分析方面的最高獎，是個了不起的榮譽�？墒�，這時他已轉向另一領域并取得更大的成就：在1963年證明連續(xù)統(tǒng)假設的獨立性，這時離他轉行還不到一年。由于這個成就相當于在數學中建立了非歐幾何—非康托爾集合論，從而榮譽紛至沓來：除了榮獲菲爾茲獎之外，科恩還在1967年被選為美國國家科學院院士，同年榮獲總統(tǒng)頒發(fā)的國家科學獎章。
 

　　集合論的第三大成就就是科恩在1963年證明：由zf既推不出連續(xù)統(tǒng)假設，也推不出連續(xù)統(tǒng)假設不成立，換句話說，科恩證明zf與ch是相對獨立的。同樣，他也證明選擇公理的獨立性。他的證明用到他獨創(chuàng)的力迫法，在集合論中有重要應用，特別是證明許多數學命題在zf或更一般的系統(tǒng)中是不可判定的。
 

　　圖為數學家科恩。
 

　　科恩(1923～) 美國化學家
 

　　科恩、波普爾提出密度泛函理論，發(fā)展了量子化學計算方法并加上電腦的運算能力，能對復雜分子的性質和化學反應過程作深入的理論探討和微觀上的解釋。于1998年獲獎。