Wu Wenjun

Wu machte seinen Vordiplom-Abschluss 1940 an der Jiaotong-Universität Shanghai und arbeitete dann – China war von den Japanern besetzt und mitten im Krieg – als Lehrer. 1946 traf er Shiing-Shen Chern, der gerade das Mathematische Institut der Academia Sinica aufbaute und ihn als Student akzeptierte. Wu zeigte Chern einen einfacheren Beweis (als Whitneys) von Hassler Whitneys Produktsatz für sphärische Faserbündel und wurde nach einer landesweiten Prüfung 1947 für Auslandsstudien akzeptiert. 1949 wurde er an der Universität Straßburg bei Charles Ehresmann promoviert (Sur les classes caractéristiques des structures fibrées sphériques). In Straßburg kam er auch mit René Thom in Kontakt, der ihn in seiner Autobiographie als zurückhaltenden und freundlichen Chinesen, dessen Rechnungen legendär für ihre Zuverlässigkeit waren, charakterisiert.[2] 1950 studierte Wu weiter in Paris bei Henri Cartan, wo er die nach ihm benannten charakteristischen Klassen entdeckte. 1951 kehrte er nach China zurück und wurde ab 1953 Forscher an der Chinesischen Akademie der Wissenschaften. In den 1950er Jahren untersuchte er Einbettungsprobleme in euklidische Räume und führte Einbettungsklassen ein – zusammengefasst in einem Buch 1965.

Nachdem er während der Kulturrevolution in eine Computerfabrik geschickt wurde, begann er sich in den 1970er Jahren für automatische Beweisverfahren in der elementaren Geometrie zu interessieren, was zu seinem künftigen Arbeitsfeld wurde (das er „Mechanisierung der Mathematik“ nennt).[3] 1977 bewies er dazu – basierend auf Methoden von Joseph Ritt – einen zentralen Satz. Er bewies auch, dass die rationale Homotopietheorie von Dennis Sullivan algorithmisch behandelt werden kann.

1957 wurde er in die Chinesische Akademie der Wissenschaften aufgenommen. 1991 erhielt er den Mathematikpreis der Akademie der Entwicklungsländer. 1997 erhielt er den Herbrand Award. 2000 erhielt er den Ersten Staatspreis in Wissenschaft und Technologie der Volksrepublik China (zusammen mit Yuan Longping), verliehen von Jiang Zemin. 2006 erhielt er zusammen mit David Mumford den Shaw Prize.

Wu befasste sich auch mit Geschichte der chinesischen Mathematik und war Herausgeber einer großen achtbändigen Geschichte der chinesischen Mathematik. Außerdem hielt er darüber einen Vortrag auf dem Internationalen Mathematikerkongress in Berkeley 1986 (Recent studies in the history of chinese mathematics).

• Theory of imbedding immersion and isotopy of polytopes in an euclidean space. 1965
• Mathematical theorem proving in geometry. Springer 1994
• Mathematics Mechanization. Springer 2000
• Rational Homotopy Type. Springer 1987
• Selected Works of Wen Tsun-Wu. World Scientific 2006

• Jiri Hudecek: Ancient chinese mathematics in action: Wu Wen-Tsun’s nationalist historicism after the cultural revolution, East Asian Science, Technology and Society: an International Journal, Band 6, Nr. 1, 2012, S. 41–64, Citeseer, pdf

• Autobiographie beim Shaw Preis
• John J. O’Connor, Edmund F. Robertson: Wu Wenjun. In: MacTutor History of Mathematics archive (englisch).

1. 首届国家最高科技奖得主吴文俊院士逝世. In: sciencenet.cn, 7. Mai 2017, abgerufen am 7. Mai 2017 (chinesisch).
2. A discreet and kindley Chinese whose calculations were legendary in their reliability, Rene Thom, Autobiographie in Atiyah, Iagolnitzer Fields Medaillist Lectures, World Scientific 1997, S. 73.
3. Autobiographische Note zur Verleihung des Shaw-Preises

Anmerkung: Bei diesem Artikel wird der Familienname vor den Vornamen der Person gesetzt. Das ist die übliche Reihenfolge im Chinesischen. Wu ist hier somit der Familienname, Wenjun ist der Vorname.