吴文俊しゅん

吴文俊しゅん（1919年ねん5月がつ12日にち—2017年ねん5月がつ7日にち），男おとこ，汉族，浙江せっこう嘉よしみ兴人ひと，出生しゅっしょう于上海しゃんはい，中國ちゅうごく著名ちょめい数学すうがく家か。

吴文俊しゅん
出生しゅっしょう	(1919-05-12)1919年ねん5月がつ12日にち 中華民國ちゅうかみんこく上海しゃんはい市し
逝世	2017年ねん5月がつ7日にち(2017歲さい—05—07)（97歲さい） 中ちゅう华人民じんみん共和きょうわ国こく北京ぺきん市し
国籍こくせき	中ちゅう华人民じんみん共和きょうわ国こく
母校ぼこう	交通こうつう大学だいがく 斯特拉ひしげ斯堡大学だいがく
奖项	邵逸夫おっと奖（2006） 国家こっか最高さいこう科学かがく技わざ术奖（2000）
科学かがく生涯しょうがい
研究けんきゅう领域	数学すうがく、中国ちゅうごく数学すうがく史し
博士はかせ導師どうし	夏なつ尔·埃ほこり雷かみなり斯曼
博士はかせ生せい	王おう东明 (数学すうがく家か)

吴文俊しゅん的てき研究けんきゅう工作こうさく涉わたる及到数学すうがく的てき诸多领域，其主要よう成就じょうじゅ表ひょう现在拓つぶせ扑学和わ数学すうがく机つくえ械化两个领域，他た为拓扑学做了奠基性的せいてき工作こうさく。他た的てき示しめせ性せい类和示しめせ嵌はま类研究けんきゅう被ひ国くに际数学界がっかい称しょう为“吴公式しき”、“吴示性せい类”、“吴示嵌はま类”、吴消元もと法ほう至いたり今こん仍被国こく际同行どうこう广泛引用いんよう。

生平おいだいら

1940年ねん毕业于交通こうつう大学だいがく，随ずい后きさき在ざい一いち所しょ中学ちゅうがく任にん教きょう。1945年ねん在ざい浙江せっこう之の江こう大学だいがく任にん教きょう。1946年ねん，陈省身み将はた他た招入中央ちゅうおう研究けんきゅう院いん数学すうがく所しょ，指ゆび导他进行拓つぶせ扑学研究けんきゅう。1947年ねん赴法求もとめ学がく，1949年ねん获得法ほう国こく斯特拉ひしげ斯堡大学だいがく博士はかせ学位がくい。1951年ねん返かえし回かい中国ちゅうごく大だい陆，被ひ聘为北京ぺきん大学だいがく数学すうがく系けい教授きょうじゅ。1952年ねん，任にん中国科学院ちゅうごくかがくいん数学すうがく所しょ研究けんきゅう员。1980年ねん，调往中国科学院ちゅうごくかがくいん系けい统科学かがく研究所けんきゅうじょ。1998年ねん，转入新しん成立せいりつ的てき中国科学院ちゅうごくかがくいん数学すうがく与あずか系けい统科学かがく研究けんきゅう院いん。

从1946年ねん到いた1951年ねん，主要しゅよう从事施ほどこせ蒂费尔-惠めぐみ特とく尼あま示しめせ性せい类的研究けんきゅう工作こうさく。从1953年ねん到いた1957年ねん，主要しゅよう从事庞特里さと亚金示しめせ性せい类的研究けんきゅう工作こうさく。其后，转向示しめせ嵌はま类的研究けんきゅう。1971年ねん文革ぶんかく期き间，吴文俊しゅん被ひ下放かほう到いた北京ぺきん海かい淀よど区く学院がくいん路ろ附近ふきん的てき北京ぺきん无线电一厂強迫きょうはく劳动，巧たくみ合ごう下か碰上70年代ねんだい后きさき期き计算机つくえ技わざ术大发展的てき背景はいけい，他た深深しんしん著ちょ迷於此，吴文俊しゅん因いん而继承和わ发展了りょう中國ちゅうごく古代こだい数学すうがく的てき传统的てき算法さんぽう化か思想しそう，转而研究けんきゅう几何定理ていり的てき机つくえ器き证明，彻底改あらため变了这个领域的てき面貌めんぼう，是ぜ国こく际自动推理すいり界かい先さき驱性的てき工作こうさく，被ひ称しょう为吴特征せい列れつ方法ほうほう，产生了りょう巨きょ大影おおかげ响。吴文俊しゅん的てき研究けんきゅう取得しゅとく了りょう一系いっけい列国れっこく际领先さき成果せいか并已应用于国际上当とう前ぜん流行りゅうこう的てき符号ふごう计算软件方面ほうめん。

1985年ねん至いたり1987年ねん任にん中国ちゅうごく数すう学会がっかい理事りじ长。1992年ねん至いたり1994年ねん任にん中国科学院ちゅうごくかがくいん数すう理学部りがくぶ主任しゅにん。1979年ねん至いたり1998年ねん任にん全ぜん国政こくせい协委ゆだね员、常つね委い。1993年ねん开始任にん中国科学院ちゅうごくかがくいん系けい统所名誉めいよ所しょ长。2002年ねん当とう选国际数学がく家か大会たいかい主席しゅせき。

2017年ねん5月がつ7日にち，因いん病びょう医い治ち无效，在ざい北京ぺきん去さ世よ，享年きょうねん98岁。2019年ねん9月がつ16日にち被ひ追つい授“人民じんみん科学かがく家か”国家こっか荣誉称号しょうごう。

奖项和わ荣誉

曾获得とく多た项国内外ないがい奖：1956年ねん获首届とどけ国家こっか自然しぜん科学かがく一等いっとう奖；1957年ねん增ぞう选为中国科学院ちゅうごくかがくいん学部がくぶ委い员(院いん士し)；1990年ねん荣获第だい三世界科学院数学奖；1993年ねん获陈嘉庚かのえ科学かがく奖数理すうり科学かがく奖；1994年ねん获首届とどけ香港ほんこん求もとめ是ぜ杰出科学かがく家か奖；1997年ねん获自动推理すいり领域最高さいこう奖埃ほこり尔布朗ろう奖；2000年ねん获中ちゅう华人民じんみん共和きょうわ国こく国家こっか最高さいこう科学かがく技わざ术奖；2006年ねん获邵逸夫おっと獎数学すうがく科学かがく奖。

编号第だい7683号ごう小しょう行ぎょう星ほし被ひ永久えいきゅう命名めいめい为“吴文俊しゅん星ほし”。

吳ご公式こうしき

吳ご公式こうしき是ぜ：

$Sq^{i}(w_{j})=\sum _{t=0}^{i}{j+t-i-1 \choose t}w_{i-t}w_{j+t}.$

Sq是ぜSteenrod代数だいすう的てきStiefel–Whitney类。也参见陈类。

著作ちょさく

• 吴文俊しゅん 《数学すうがく机つくえ械化》 中国ちゅうごく科学かがく出版しゅっぱん社しゃ 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

外部がいぶ链接

• 探索たんさく与あずか实践的てき科学かがく研究けんきゅう历程-吴文俊しゅん
• 探さがせ访数学がく家か吴文俊しゅん（页面存そん档备份，存そん于互联网档案あん馆）
• 吴文俊しゅん：中国ちゅうごく古代こだい数学すうがく对世界かい文化ぶんか的てき伟大贡献（页面存そん档备份，存そん于互联网档案あん馆）