- Wu Wen-Tsün
-
Wu Wen-Tsün (* 12. Mai 1919 in Shanghai) ist ein chinesischer Mathematiker (Differentialgeometrie, Topologie, Computergeometrie).
Wu machte seinen Vordiplom-Abschluss 1940 an der Jiaotang-Universität in 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 aus Student akzeptierte. Er zeigte Chern eine 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. 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, wo er bis heute ist. 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[1]). 1977 bewies er dazu – basierend auf Methoden von 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-Preis. 2001 erhielt er den Ersten Staatspreis in Wissenschaft und Technologie der Republik China (mit Juan Longping). 2006 erhielt er 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.
Schriften
- 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. World Scientific 2006
Weblinks
Anmerkungen
- ↑ Autobiographische Note zur Verleihung des Shaw-Preises
Kategorien:- Mathematiker (20. Jahrhundert)
- Mathematikhistoriker
- Chinese
- Geboren 1919
- Mann
Wikimedia Foundation.
