Wu Wenjun (born May 12, 1919) is a Chinese mathematician and academician at the Chinese Academy of Sciences (CAS).
| Property | Value |
|---|
| dbpedia-owl:abstract
|
- Wu Wen-Tsün ist ein chinesischer Mathematiker. 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). 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.
- Wu Wenjun (born May 12, 1919) is a Chinese mathematician and academician at the Chinese Academy of Sciences (CAS).
- 吴文俊（Template:Bd），浙江嘉兴人，出生于中国上海，数学家。吴文俊的研究工作涉及到数学的诸多领域其主要成就表现在拓扑学和数学机械化两个领域。他为拓扑学做了奠基性的工作。他的示性类和示嵌类研究被国际数学界称为“吴公式”，“吴示性类”，“吴示嵌类”，至今仍被国际同行广泛引用。 吴文俊毕业于交通大学，1949年获得法国斯特拉斯堡大学博士学位。70年代后期，在计算机技术大发展的背景下，他继承和发展了中国古代数学的传统(即算法化思想)，转而研究几何定理的机器证明，彻底改变了这个领域的面貌，是国际自动推理界先驱性的工作，被称为吴特征列方法，产生了巨大影响。吴的研究取得了一系列国际领先成果并已应用于国际上当前流行的符号计算软件方面。 吴文俊现在是中国科学院系统科学研究所名誉所长，他获得多项国内外奖，1997年获自动推理领域最高奖Herbrand Awardhttp://en. wikipedia. org/wiki/Herbrand_Award，2006年獲邵逸夫獎數學科學獎。 编号第7683号小行星被永久命名为“吴文俊星”
- У Вэньцзю́нь (Ву Вэньцзю́нь) — китайский математик. Окончил Цзяотунский университет в Шанхае в 1940. В 1947 он поехал во Францию для продолжения учёбы в Страсбургском университете. Ученик Ш. Эресманна. C 1957 академик АН Китая. Основные работы лежат в области алгебраической топологии. Также внёс вклад в алгебраическую геометрию, теорию игр, теорию искусственного интеллекта, историю китайской математики. Лауреат премии Шау (Shaw Prize) за 2006 год.
|
| dbpedia-owl:almaMater
| |
| dbpedia-owl:award
| |
| dbpedia-owl:birthDate
| |
| dbpedia-owl:birthPlace
| |
| dbpedia-owl:field
| |
| dbpedia-owl:nationality
| |
| dbpedia-owl:wikiPageExternalLink
| |
| dbpprop:almaMater
| |
| dbpprop:birthDate
| |
| dbpprop:birthPlace
| |
| dbpprop:dateOfBirth
| |
| dbpprop:field
| |
| dbpprop:name
| |
| dbpprop:p
| |
| dbpprop:placeOfBirth
| |
| dbpprop:prizes
| |
| dbpprop:s
| |
| dbpprop:t
| |
| dbpprop:w
| |
| dbpprop:wikiPageUsesTemplate
| |
| dbpprop:wordnet_type
| |
| dcterms:subject
| |
| rdf:type
| |
| rdfs:comment
|
- Wu Wenjun (born May 12, 1919) is a Chinese mathematician and academician at the Chinese Academy of Sciences (CAS).
- 吴文俊（Template:Bd），浙江嘉兴人，出生于中国上海，数学家。吴文俊的研究工作涉及到数学的诸多领域其主要成就表现在拓扑学和数学机械化两个领域。他为拓扑学做了奠基性的工作。他的示性类和示嵌类研究被国际数学界称为“吴公式”，“吴示性类”，“吴示嵌类”，至今仍被国际同行广泛引用。 吴文俊毕业于交通大学，1949年获得法国斯特拉斯堡大学博士学位。70年代后期，在计算机技术大发展的背景下，他继承和发展了中国古代数学的传统(即算法化思想)，转而研究几何定理的机器证明，彻底改变了这个领域的面貌，是国际自动推理界先驱性的工作，被称为吴特征列方法，产生了巨大影响。吴的研究取得了一系列国际领先成果并已应用于国际上当前流行的符号计算软件方面。 吴文俊现在是中国科学院系统科学研究所名誉所长，他获得多项国内外奖，1997年获自动推理领域最高奖Herbrand Awardhttp://en. wikipedia. org/wiki/Herbrand_Award，2006年獲邵逸夫獎數學科學獎。 编号第7683号小行星被永久命名为“吴文俊星”
- У Вэньцзю́нь (Ву Вэньцзю́нь) — китайский математик. Окончил Цзяотунский университет в Шанхае в 1940. В 1947 он поехал во Францию для продолжения учёбы в Страсбургском университете. Ученик Ш. Эресманна. C 1957 академик АН Китая. Основные работы лежат в области алгебраической топологии. Также внёс вклад в алгебраическую геометрию, теорию игр, теорию искусственного интеллекта, историю китайской математики. Лауреат премии Шау (Shaw Prize) за 2006 год.
- Wu Wen-Tsün ist ein chinesischer Mathematiker. 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.
|
| rdfs:label
|
- Wu Wen-Tsün
- Wu Wenjun
- У Вэньцзюнь
- 吴文俊
|
| owl:sameAs
| |
| foaf:givenName
| |
| foaf:name
| |
| foaf:page
| |
| foaf:surname
| |
| is dbpedia-owl:doctoralStudent
of | |
| is dbpedia-owl:wikiPageDisambiguates
of | |
| is dbpedia-owl:wikiPageRedirects
of | |
| is dbpprop:doctoralStudents
of | |
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |
