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