保罗·科恩 原名 / 西文Paul Joseph Cohen 时代1934—2007 国籍 / 地区美国 所属20世纪下半叶至今 数理逻辑集合论 核心成果发明「力迫法」(forcing)，证明连续统假设（CH）与选择公理（AC）相对于 ZFC 公理的独立性——解决希尔伯特第一问题的核心部分。 力迫法成为集合论最强大的工具，催生了 20 世纪后半叶的集合论革命。 1966 年获菲尔兹奖（迄今唯一因逻辑学获菲尔兹奖者）。 代表著作 / 文献《集合论与连续统假设》 相关人物 / 主题哥德尔、康托尔、希尔伯特