吴文俊（1919年5月12日—2017年5月7日），男，汉族，浙江嘉兴人，出生于上海，中國著名数学家。
吴文俊的研究工作涉及到数学的诸多领域，其主要成就表现在拓扑学和数学机械化两个领域，他为拓扑学做了奠基性的工作。他的示性类和示嵌类研究被国际数学界称为“吴公式”、“吴示性类”、“吴示嵌类”、吴消元法至今仍被国际同行广泛引用。
生平 编辑
1940年毕业于交通大学，随后在一所中学任教。1945年在浙江之江大学任教。1946年，陈省身将他招入中央研究院数学所，指导他进行拓扑学研究。1947年赴法求学，1949年获得法国斯特拉斯堡大学博士学位。1951年返回中国大陆，被聘为北京大学数学系教授。1952年，任中国科学院数学所研究员。1980年，调往中国科学院系统科学研究所。1998年，转入新成立的中国科学院数学与系统科学研究院[1]。
从1946年到1951年，主要从事施蒂费尔-惠特尼示性类的研究工作。从1953年到1957年，主要从事庞特里亚金示性类的研究工作。其后，转向示嵌类的研究。1971年文革期间，吴文俊被下放到北京海淀区学院路附近的北京无线电一厂強迫劳动，巧合下碰上70年代后期计算机技术大发展的背景，他深深著迷於此，吴文俊因而继承和发展了中國古代数学的传统的算法化思想，转而研究几何定理的机器证明，彻底改变了这个领域的面貌，是国际自动推理界先驱性的工作，被称为吴特征列方法，产生了巨大影响。吴文俊的研究取得了一系列国际领先成果并已应用于国际上当前流行的符号计算软件方面。
1985年至1987年任中国数学会理事长。1992年至1994年任中国科学院数理学部主任。1979年至1998年任全国政协委员、常委。1993年开始任中国科学院系统所名誉所长。2002年当选国际数学家大会主席。
2017年5月7日，因病医治无效，在北京去世，享年98岁[2]。2019年9月16日被追授“人民科学家”国家荣誉称号[3]。
奖项和荣誉 编辑
曾获得多项国内外奖：1956年获首届国家自然科学一等奖；1957年增选为中国科学院学部委员(院士)；1990年荣获第三世界科学院数学奖；1993年获陈嘉庚科学奖数理科学奖；1994年获首届香港求是杰出科学家奖；1997年获自动推理领域最高奖埃尔布朗奖；2000年获中华人民共和国国家最高科学技术奖；2006年获邵逸夫獎数学科学奖。
编号第7683号小行星被永久命名为“吴文俊星”。
吳公式 编辑
吳公式是：[4]
Sq是Steenrod代数的Stiefel–Whitney类。也参见陈类。[4]
著作 编辑
- 吴文俊 《数学机械化》 中国科学出版社 2003
- 《吴文俊文集》 山东教育出版社 1986
- 吴文俊 《力学在几何中的一些应用》 科学出版社 2002
- 吴文俊主编 《中国数学史大系》 1-10卷 北京师范大学出版社
- Wen-Tsun, Wu:Rational Homotopy Type: A Constructive Study Via the Theory of the I*-Measure ISBN 0-387-13611-8
- Wen-tsun, Wu & Min-de, Cheng, CHINESE MATHEMATICS INTO THE 21ST CENTURY
- Wen-tsun, Wu, A THEORY OF IMBEDDING IMMERSION AND ISOTOPY OF POLYTOPES IN A EUCLIDEAN SPACE
- Wen-tsun, Wu,Mechanical Theorem Proving in Geometries. ISBN 3211825061
- Wen-Tsun, Wu; Georges Reeb:Sur Les Espaces Fibres Et Les Varietes Feuilletees
- SELECT WORKS OF WEN-TSUN WU ISBN 9789812791078
- Wen-tsun, Wu: Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving ISBN 0-7923-5835-X
- Wen-Tsun, Wu, and Hu Guo-Ding, eds, Computer Mathematics ISBN 9810215282
参考文献 编辑
- ^ . 科技日报. 2007-06-14 [2016-09-22]. （原始内容存档于2016-09-29）.
- ^ 首届国家最高科技奖得主吴文俊院士逝世. 科学网. 2017-05-07 [2017-05-07]. （原始内容于2017-05-10）.
- ^ . 新华社. 2019-09-17 [2019-09-17]. （原始内容存档于2019-09-21）.
- ^ 4.0 4.1 J. P. May. A Concise Course in Algebraic Topology (PDF). （原始内容 (PDF)于2020-11-09）.
外部链接 编辑
- 探访数学家吴文俊（页面存档备份，存于互联网档案馆）
- 吴文俊：中国古代数学对世界文化的伟大贡献（页面存档备份，存于互联网档案馆）
吴文俊, 1919年5月12日, 2017年5月7日, 汉族, 浙江嘉兴人, 出生于上海, 中國著名数学家, 出生, 1919, 1919年5月12日, 中華民國上海市逝世2017年5月7日, 2017歲, 97歲, 中华人民共和国北京市国籍, 中华人民共和国母校交通大学斯特拉斯堡大学奖项邵逸夫奖, 2006, 国家最高科学技术奖, 2000, 科学生涯研究领域数学, 中国数学史博士導師夏尔, 埃雷斯曼博士生王东明, 数学家, 的研究工作涉及到数学的诸多领域, 其主要成就表现在拓扑学和数学机械化两个领域, 他为拓扑. 吴文俊 1919年5月12日 2017年5月7日 男 汉族 浙江嘉兴人 出生于上海 中國著名数学家 吴文俊出生 1919 05 12 1919年5月12日 中華民國上海市逝世2017年5月7日 2017歲 05 07 97歲 中华人民共和国北京市国籍 中华人民共和国母校交通大学斯特拉斯堡大学奖项邵逸夫奖 2006 国家最高科学技术奖 2000 科学生涯研究领域数学 中国数学史博士導師夏尔 埃雷斯曼博士生王东明 数学家 吴文俊的研究工作涉及到数学的诸多领域 其主要成就表现在拓扑学和数学机械化两个领域 他为拓扑学做了奠基性的工作 他的示性类和示嵌类研究被国际数学界称为 吴公式 吴示性类 吴示嵌类 吴消元法至今仍被国际同行广泛引用 目录 1 生平 2 奖项和荣誉 3 吳公式 4 著作 5 参考文献 6 外部链接生平 编辑1940年毕业于交通大学 随后在一所中学任教 1945年在浙江之江大学任教 1946年 陈省身将他招入中央研究院数学所 指导他进行拓扑学研究 1947年赴法求学 1949年获得法国斯特拉斯堡大学博士学位 1951年返回中国大陆 被聘为北京大学数学系教授 1952年 任中国科学院数学所研究员 1980年 调往中国科学院系统科学研究所 1998年 转入新成立的中国科学院数学与系统科学研究院 1 从1946年到1951年 主要从事施蒂费尔 惠特尼示性类的研究工作 从1953年到1957年 主要从事庞特里亚金示性类的研究工作 其后 转向示嵌类的研究 1971年文革期间 吴文俊被下放到北京海淀区学院路附近的北京无线电一厂強迫劳动 巧合下碰上70年代后期计算机技术大发展的背景 他深深著迷於此 吴文俊因而继承和发展了中國古代数学的传统的算法化思想 转而研究几何定理的机器证明 彻底改变了这个领域的面貌 是国际自动推理界先驱性的工作 被称为吴特征列方法 产生了巨大影响 吴文俊的研究取得了一系列国际领先成果并已应用于国际上当前流行的符号计算软件方面 1985年至1987年任中国数学会理事长 1992年至1994年任中国科学院数理学部主任 1979年至1998年任全国政协委员 常委 1993年开始任中国科学院系统所名誉所长 2002年当选国际数学家大会主席 2017年5月7日 因病医治无效 在北京去世 享年98岁 2 2019年9月16日被追授 人民科学家 国家荣誉称号 3 奖项和荣誉 编辑曾获得多项国内外奖 1956年获首届国家自然科学一等奖 1957年增选为中国科学院学部委员 院士 1990年荣获第三世界科学院数学奖 1993年获陈嘉庚科学奖数理科学奖 1994年获首届香港求是杰出科学家奖 1997年获自动推理领域最高奖埃尔布朗奖 2000年获中华人民共和国国家最高科学技术奖 2006年获邵逸夫獎数学科学奖 编号第7683号小行星被永久命名为 吴文俊星 吳公式 编辑吳公式是 4 S q i w j t 0 i j t i 1 t w i t w j t displaystyle Sq i w j sum t 0 i j t i 1 choose t w i t w j t nbsp Sq是Steenrod代数 英语 Steenrod algebra 的Stiefel Whitney类 英语 Stiefel Whitney class 也参见陈类 4 著作 编辑吴文俊 数学机械化 中国科学出版社 2003 吴文俊文集 山东教育出版社 1986 吴文俊 力学在几何中的一些应用 科学出版社 2002 吴文俊主编 中国数学史大系 1 10卷 北京师范大学出版社 Wen Tsun Wu Rational Homotopy Type A Constructive Study Via the Theory of the I Measure ISBN 0 387 13611 8 Wen tsun Wu amp Min de Cheng CHINESE MATHEMATICS INTO THE 21ST CENTURY Wen tsun Wu A THEORY OF IMBEDDING IMMERSION AND ISOTOPY OF POLYTOPES IN A EUCLIDEAN SPACE Wen tsun Wu Mechanical Theorem Proving in Geometries ISBN 3211825061 Wen Tsun Wu Georges Reeb Sur Les Espaces Fibres Et Les Varietes Feuilletees SELECT WORKS OF WEN TSUN WU ISBN 9789812791078 Wen tsun Wu Mathematics Mechanization Mechanical Geometry Theorem Proving Mechanical Geometry Problem Solving and Polynomial Equations Solving ISBN 0 7923 5835 X Wen Tsun Wu and Hu Guo Ding eds Computer Mathematics ISBN 9810215282参考文献 编辑 中国院士 吴文俊 科技日报 2007 06 14 2016 09 22 原始内容存档于2016 09 29 首届国家最高科技奖得主吴文俊院士逝世 科学网 2017 05 07 2017 05 07 原始内容存档于2017 05 10 受权发布 中华人民共和国主席令 第三十四号 新华社 2019 09 17 2019 09 17 原始内容存档于2019 09 21 4 0 4 1 J P May A Concise Course in Algebraic Topology PDF 原始内容存档 PDF 于2020 11 09 外部链接 编辑探索与实践的科学研究历程 吴文俊 探访数学家吴文俊 页面存档备份 存于互联网档案馆 吴文俊 中国古代数学对世界文化的伟大贡献 页面存档备份 存于互联网档案馆 取自 https zh wikipedia org w index php title 吴文俊 amp oldid 78028438, 维基百科，wiki，书籍，书籍，图书馆，
文章
，阅读，下载，免费，免费下载，mp3，视频，mp4，3gp， jpg，jpeg，gif，png，图片，音乐，歌曲，电影，书籍，游戏，游戏。