维基百科 ひゃっか ,自由 じゆう 的 てき 百科 ひゃっか 全 ぜん 书
保 ほ 罗·约瑟夫 おっと ·寇恩 (英語 えいご :Paul Joseph Cohen ,1934年 ねん 4月 がつ 2日 にち —2007年 ねん 3月 がつ 23日 にち ) ,美国 びくに 数学 すうがく 家 か ,他 た 证明策 さく 梅 うめ 洛 らく -弗 どる 兰克尔公理系 りけい 统加 か 上 じょう 选择公理 こうり (ZFC) 不能 ふのう 反 はん 驳连续统假设 (CH) 的 てき 否 いや 命 いのち 题,而ZF不能 ふのう 反 はん 驳选择公理 こうり (AC) 的 てき 否 いや 命 いのち 题。这一划时代的工作与哥德尔 在 ざい 1930年代 ねんだい 的 てき 工作 こうさく 一 いち 起 おこり ,证明了 りょう CH和 わ AC分 ぶん 别独立 どくりつ 于ZFC和 わ ZF。寇恩在 ざい 证明中 ちゅう 创造了 りょう 力 ちから 迫 はさま 法 ほう ,如今力 りょく 迫 はさま 法 ほう 已 やめ 经成为公理 こうり 集合 しゅうごう 论的 てき 一项基本技术。寇恩凭 もたれ 借 か 连续统假设的独立 どくりつ 性 せい 证明于1966年 ねん 获得菲尔兹奖章 あきら 。
早年 そうねん 经历[ 编辑 ]
保 ほ 罗·寇恩生 せい 于美国 こく 新 しん 泽西州 しゅう 长滩 的 てき 一 いち 个犹太 家庭 かてい ,1950年 ねん 毕业于纽约市 し 的 てき Stuyvesant高 だか 中 ちゅう 。
1950年 ねん 寇恩入 にゅう 读纽约市立 しりつ 大学 だいがく 布 ぬの 鲁克林学 りんがく 院 いん 。不 ふ 过他了解 りょうかい 到 いた 申 さる 请芝 しば 加 か 哥大学 がく 的 てき 研究生 けんきゅうせい 院 いん 只 ただ 需两年 ねん 大学 だいがく 经历,因 いん 此于1953年 ねん 从布鲁克林学 りんがく 院 いん 肄业。1954年 ねん 寇恩在 ざい 芝 しば 加 か 哥大学 がく 取得 しゅとく 硕士学位 がくい ,1958年 ねん 他 た 在 ざい Antoni Zygmund 的 てき 指 ゆび 导下获得博士 はかせ 学位 がくい 。寇恩的 てき 博士 はかせ 论文题为《三角级数唯一性理论的一些问题》(Topics in the Theory of Uniqueness of Trigonometric Series )。
学 がく 术生涯 しょうがい [ 编辑 ]
1957-1959年 ねん ,在 ざい 获得博士 はかせ 学位 がくい 之 の 前 ぜん 曾先后 きさき 执教于罗彻斯特大学 だいがく 和 わ 麻 あさ 省 しょう 理工 りこう 大学 だいがく 。
1959-1961年 ねん ,普 ふ 林 りん 斯顿高等 こうとう 研究 けんきゅう 院 いん 博士 はかせ 后 きさき 研究 けんきゅう 员。
1961年 ねん ,获聘为斯坦福 ぶく 大学 だいがく 数学 すうがく 系 けい 助 じょ 理 り 教授 きょうじゅ 。
1962年 ねん ,升 ます 任 にん 斯坦福 ぶく 大学 だいがく 数学 すうがく 系 けい 副 ふく 教授 きょうじゅ ,同年 どうねん 获得斯隆奖 。
1963年 ねん ,凭 もたれ 借 か 连续统假设的独立 どくりつ 性 せい 证明获得 Research Corp. 奖。
1964年 ねん ,升 ます 任 にん 斯坦福 ぶく 大学 だいがく 数学 すうがく 系 けい 教授 きょうじゅ 。
1966年 ねん ,获得菲尔兹奖章 あきら 。
1967年 ねん ,获得美国 びくに 国家 こっか 科学 かがく 奖章。
2004年 ねん ,从斯坦 ひろし 福 ぶく 大学 だいがく 退 すさ 休 きゅう ,但 ただし 任 にん 教 きょう 直 ちょく 至 いたり 2007年 ねん 春季 しゅんき 。
生前 せいぜん 是 これ 美国 びくに 国家 こっか 科学 かがく 院 いん 和 わ 美国 びくに 艺术科学 かがく 院 いん 的 まと 院 いん 士 し 。
数学 すうがく 贡献[ 编辑 ]
寇恩的 てき 博士 はかせ 论文和 わ 早期 そうき 的 てき 研究 けんきゅう 内容 ないよう 是 ぜ 调和分析 ぶんせき 。1964年 ねん 寇恩凭 もたれ 借 か 分析 ぶんせき 学 がく 论文《关于李 り 特 とく 尔伍德 とく 猜想和 わ 幂等测度》(On a conjecture of Littlewood and idempotent measures )获得美国 びくに 数学 すうがく 学会 がっかい 颁发的 てき 博 ひろし 谢纪念 ねん 奖 。
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年 ねん 获得美国 びくに 国家 こっか 科学 かがく 奖章 。直 ちょく 至 いたり 今 こん 天 てん ,寇恩的 てき 菲尔兹奖章 しょう 依然 いぜん 是 ぜ 数理 すうり 逻辑界 かい 获得的 てき 唯 ただ 一一枚菲尔兹奖章。
寇恩生前 せいぜん 是 これ 斯坦福 ぶく 大学 だいがく 的 てき 教授 きょうじゅ ,也是一 いち 位 い 出色 しゅっしょく 的 てき 教 きょう 师,他 た 指 ゆび 导的博士 はかせ 生 せい 彼 かれ 得 とく ·萨那克 かつ 是 ぜ 一 いち 位 い 杰出的 てき 数学 すうがく 家 か 、美国 びくに 科学 かがく 院 いん 院 いん 士 し 和 かず 英国 えいこく 皇 すめらぎ 家 か 学会 がっかい 会 かい 士 し 。
连续统假设 [ 编辑 ]
据 すえ 说在研究 けんきゅう 连续统假设的过程中 ちゅう ,寇恩曾经感 かん 到 いた 其他数学 すうがく 家 か 认为没 ぼつ 有 ゆう 希望 きぼう 解 かい 决这个问题,因 いん 为当时没有 ゆう 构造集合 しゅうごう 论模型 がた 的 てき 新 しん 方法 ほうほう 。1985年 ねん 寇恩接受 せつじゅ 采 さい 访时提 ひっさげ 到 いた ,人 にん 们甚至 いたり 认为考 こう 虑这个问题的人 じん 多少 たしょう 有 ゆう 点 てん 疯狂。
寇恩的 てき 独立 どくりつ 性 せい 证明引入了 りょう 力 りょく 迫 はさま 法 ほう ,如今力 りょく 迫 はさま 法 ほう 成 なり 为一项强有力的技术,不 ふ 计其数 すう 的 てき 数学 すうがく 家 か 们运用 よう 这一方法 ほうほう 构造模型 もけい ,检验给定的 てき 假 かり 设可否 いな 与 あずか 不同 ふどう 的 てき 公理系 こうりけい 统协调。
外部 がいぶ 链接[ 编辑 ]
1936年 ねん 1950年 ねん 1954年 ねん 1958年 ねん 1962年 ねん 1966年 ねん 1970年 ねん 1974年 ねん 1978年 ねん 1982年 ねん 1986年 ねん 1990年 ねん 1994年 ねん 1998年 ねん 2002年 ねん 2006年 ねん 2010年 ねん 2014年 ねん 2018年 ねん 2022年 ねん
1920年代 ねんだい 1930年代 ねんだい 1940年代 ねんだい 1950年代 ねんだい 1960年代 ねんだい 1970年代 ねんだい 1980年代 ねんだい 1990年代 ねんだい 2000年代 ねんだい 2010年代 ねんだい
行 くだり 为与社会 しゃかい 科学 かがく
1960年代 ねんだい
1980年代 ねんだい
1990年代 ねんだい
2000年代 ねんだい
2010年代 ねんだい
生物 せいぶつ 学 がく
1960年代 ねんだい
1970年代 ねんだい
1980年代 ねんだい
1990年代 ねんだい
2000年代 ねんだい
2010年代 ねんだい
化学 かがく
1960年代 ねんだい
1970年代 ねんだい
1980年代 ねんだい
1990年代 ねんだい
2000年代 ねんだい
2010年代 ねんだい
工程 こうてい 科学 かがく
1960年代 ねんだい
1970年代 ねんだい
1980年代 ねんだい
1990年代 ねんだい
2000年代 ねんだい
2010年代 ねんだい
数学 すうがく 、统计与计算机 つくえ 科学 かがく
1960年代 ねんだい
1970年代 ねんだい
1980年代 ねんだい
1990年代 ねんだい
2000年代 ねんだい
2010年代 ねんだい
物理 ぶつり 科学 かがく
1960年代 ねんだい
1970年代 ねんだい
1980年代 ねんだい
1990年代 ねんだい
2000年代 ねんだい
2010年代 ねんだい