Wu Wenjun (; – ), également connu sous le nom de Wu Wen-tsün, est un mathématicien chinois et membre de l'Académie chinoise des sciences.
Biographie La ville natale ancestrale de Wu est dans le Xian de Jiashan, à Zhejiang. Il est né à Shanghai et diplômé de l'Université nationale Chiao Tung en 1940. En 1945, Wu enseigne plusieurs mois à l'Université de Hangzhou (fusionnée plus tard dans l'université du Zhejiang) à Hangzhou.
En 1947, il part en France pour poursuivre des études à l'Université de Strasbourg. En 1949, il a reçu son doctorat pour sa thèse « Sur les classes caractéristiques des structures fibrées sphériques », écrite sous la direction de Charles Ehresmann. Par la suite, il a travaillé à Paris avec René Thom et découvert la classe de Wu et la formule de Wu en topologie algébrique. En 1951, il est nommé à un poste à l'université de Pékin. Cependant, Wu semble avoir fait partie d'une vague de rappels de chercheurs chinois qui travaillaient à l'Ouest, à la suite de l'éviction de Tchang Kaï-chek de la Chine continentale en 1949, selon le témoignage oculaire de Marcel Berger, selon lequel il a disparu de France un jour, sans dire un mot à quiconque..
Il meurt le , 5 jours avant son 98e anniversaire..
Prix et distinctions En 1957, il est élu académicien de l'Académie chinoise des sciences. En 1990, il est élu académicien de la third World Academy of Sciences. En 1997, il est lauréat du prix Herbrand. Avec Yuan Longping, il a reçu le par le président de la république populaire de Chine Jiang Zemin en 2000, quand ce grand prix scientifique et technologique de Chine a commencé à être attribué. Il a également reçu le en 1990 et le prix Shaw en 2006. Il est président de la société Chinoise de mathématiques.
Travaux de recherche Les recherches de Wu comprennent les domaines suivants : la topologie algébrique, la géométrie algébrique, la théorie des jeux, l'histoire des mathématiques, la démonstration automatique de théorèmes. Ses contributions les plus importantes sont en topologie algébrique. La classe de Wu et la formule de Wu sont nommés d'après lui. Dans le domaine de la démonstration automatique de théorèmes, il est connu pour la .
Il est également actif dans le domaine de l'histoire des mathématiques chinoises. Il est le rédacteur en chef de la série en dix volumes , couvrant les périodes depuis l'antiquité jusqu'à la fin de la dynastie Qin.
Publications Wen-Tsun, Wu : « Rational Homotopy Type: A Constructive Study Via the Theory of the I*-Measure » . Wen-tsun, Wu et Minde Cheng : « Chinese Mathematics into the 21st Century ». Wen-tsun, Wu : « A Theory of Imbedding Immersion and Isotopy of Polytopes in a Euclidian Space ». Wen-tsun, Wu : « Mechanical Theorem Proving in Geometries » . Wen-Tsun, Wu; Georges Reeb : « Sur les espaces fibrés et les variétés feuilletées ». « Select Works of Wen-Tsun Wu » . Wen-tsun, Wu : « Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving » . Wen-Tsun, Wu, et Hu Guo-Ding, eds : « Computer Mathematics » .
Références
Liens externes
Wu page d'accueil
Catégorie:Mathématicien chinois du XXe siècle Catégorie:Universitaire chinois du XXe siècle Catégorie:Naissance en mai 1919 Catégorie:Naissance à Shanghai Catégorie:Décès en mai 2017 Catégorie:Décès à Pékin Catégorie:Décès à 97 ans Catégorie:Historien des mathématiques Catégorie:Membre de l'Académie chinoise des sciences Catégorie:Professeur à l'université de Pékin Catégorie:Topologue Catégorie:Étudiant de l'université de Strasbourg Catégorie:Lauréat du prix Shaw de mathématiques