保羅·寇恩

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