Obwohl er den Mathematikpreis verpasste, bereute er die Entscheidung nie｜Time Letter

Im Alter von 31 Jahren schlug er die „Wu-Formel“ vor, die in der internationalen Mathematikergemeinschaft ein „topologisches Erdbeben“ auslöste. im Alter von 33 Jahren gewann er zusammen mit Hua Luogeng und Qian Xuesen den ersten Preis des National Natural Science Award; im Alter von 38 Jahren wurde er zum Mitglied der Chinesischen Akademie der Wissenschaften gewählt (Akademiker); Im Alter von 58 Jahren begann er, sich selbst das Programmieren beizubringen und entwickelte mit einer zukunftsweisenden strategischen Vision eine einzigartige chinesische und international bekannte Methode zur mathematischen Mechanisierung.

Sein Name ist Wu Wenjun, Mitglied der Chinesischen Akademie der Wissenschaften, Volkswissenschaftler und Gewinner des höchsten nationalen Wissenschafts- und Technologiepreises des Jahres 2000.

Er hat nie die Fields-Medaille gewonnen, den sogenannten „Nobelpreis für Mathematik“, aber seine Leistungen wurden von fünf Fields-Medaillen-Gewinnern gewürdigt. Die von ihm vorgeschlagene „Wu-Methode“ hatte einen tiefgreifenden Einfluss auf die wissenschaftliche Forschung und Entwicklung der künstlichen Intelligenz.

Quelle | Projekt zur Datenerfassung für akademisches Wachstum von leitenden Wissenschaftlern

Die Topologie gilt als „Königin der modernen Mathematik“ und ist auch dafür bekannt, „schwer zu erlernen“ zu sein. Nachdem Wu Wenjun jedoch nur ein Jahr lang Topologie studiert hatte, bewies er kurz die vom Topologiemeister Whitney vorgeschlagene „Produktformel“.

Im Jahr 1950 vereinfachte Wu Wenjun das Konzept topologischer Charakteristikklassen und schlug die „Wu-Charakteristikklasse“ und die „Wu-Formel“ vor, was die Entwicklung der Topologie erheblich förderte.

Wu Wenjuns Bericht am Institut für Mathematik

Quelle | Website des Instituts für Mathematik und Systemwissenschaften, Chinesische Akademie der Wissenschaften

Im Jahr 1951 lehnte Wu Wenjun, der in Frankreich studierte, die Einladung französischer Universitäten und Forschungsinstitute ab und kehrte nach China zurück, um sich dem Aufbau seines Heimatlandes zu widmen. Später sagten seine Freunde zu ihm: „Wenn Sie ein paar Monate später gegangen wären, hätten Sie 1954 vielleicht die Fields-Medaille gewonnen.“ Er lachte nur und sagte: „Das ist mir egal.“

Im Jahr 1957 gewann Wu Wenjun den ersten National Natural Science Award meines Landes für seine herausragenden Leistungen in der Topologie.

25. Januar 1957, zugehörige Berichte über den ersten Nationalen Naturwissenschaftspreis meines Landes

Quelle | Zentralkomitee des Kommunistischen Jugendverbandes

In den 1970er Jahren verbrachte der fast 60-jährige Wu Wenjun mehr als zehn Stunden täglich im Computerraum und lernte Computersprachen. Er schlug die „Wu-Methode“ vor (Verwendung von Computern zum Beweis geometrischer Theoreme), kombinierte alte chinesische Mathematik mit Computern und war Pionier des ersten ursprünglich von den Chinesen geschaffenen Forschungsgebiets in der modernen Mathematikgeschichte – der mathematischen Mechanisierung.

Wu Wenjun setzte große Hoffnungen in die Mechanisierung der Mathematik. Er sagte einmal: „Wir haben keine Chance, körperliche Arbeit zu mechanisieren, deshalb sind wir in eine Krise geraten. Deshalb wurden wir geschlagen. Jetzt dürfen wir uns die Gelegenheit nicht entgehen lassen, geistige Arbeit zu mechanisieren. Wenn wir diese Gelegenheit verpassen, werden wir nie die Wende schaffen. Das habe ich immer betont.“

Aus Wu Wenjuns Sicht löste die Theorie der mathematischen Mechanisierung später viele Kernprobleme im Bereich der Hochtechnologie und förderte die Forschung und Entwicklung im Bereich der künstlichen Intelligenz erheblich.

Wu Wenjun arbeitet am Computer

Quelle | Website des Instituts für Mathematik und Systemwissenschaften, Chinesische Akademie der Wissenschaften

Im Jahr 1977 konnte Wu Wenjun erstmals die Durchführbarkeit seiner Methode zum maschinellen Beweis geometrischer Theoreme durch manuelle Berechnungen nachweisen. Bald darauf veröffentlichte er den Artikel „Elementary Geometry Decision Problems and Mechanized Proof“, sein erstes Werk auf dem Gebiet der mathematischen Mechanisierung. In den Anmerkungen erklärte er, dass die darin enthaltenen Mechanisierungsideen auf die Erfindung chinesischer Mathematiker der Song- und Yuan-Dynastien zurückgingen.

Im Jahr 1978 schrieb Wu Wenjun einen weiteren Artikel mit dem Titel „Beitrag zur modernen Mathematik durch Durchführung von Forschungen zu maschinellen Beweisen“, in dem er die Mission und Aufgaben der Mathematik in der modernen Entwicklung erläuterte.

Quelle | Projekt zur Datenerfassung für akademisches Wachstum von leitenden Wissenschaftlern

Im Jahr 1986 veröffentlichte Artificial Intelligence, die maßgeblichste Zeitschrift auf dem Gebiet der internationalen künstlichen Intelligenz, eine 300-seitige Sammlung von Artikeln zur „Wu-Methode“, die alle Anwendungen der „Wu-Methode“ in verschiedenen Bereichen der künstlichen Intelligenz enthielt.

Während Wu Wenjun im Bereich der wissenschaftlichen Forschung fruchtbare Ergebnisse erzielt, ermutigt und unterstützt er auch weiterhin jüngere Generationen.

Im Jahr 1988 verfasste er persönlich ein dreiseitiges Empfehlungsschreiben an Professor Eells vom International Center for Theoretical Physics (ICTP) in Italien und empfahl Zhang Jingzhong, dort als Gastwissenschaftler zu studieren. In dem Brief stellte Wu Wenjun Zhang Jingzhongs numerische Parallelmethode zum maschinellen Beweis geometrischer Theoreme und andere wichtige Forschungsergebnisse vor und verlängerte Zhang Jingzhongs Gastaufenthalt am ICTP erfolgreich von 2 auf 11 Monate.

Empfehlungsschreiben von Wu Wenjun für Zhang Jingzhong

Quelle | Projekt zur Datenerfassung für akademisches Wachstum von leitenden Wissenschaftlern

Wu Wenjun stellte seine mathematischen Forschungen auch in seinen späteren Jahren nicht ein. Im Alter von 90 Jahren war er immer noch führend in der wissenschaftlichen Forschung und untersuchte das Weltklasseproblem der „Faktorisierung großer ganzer Zahlen“.

Quelle | Projekt zur Datenerfassung für akademisches Wachstum von leitenden Wissenschaftlern

Wu Wenjun hat sein gesamtes Leben der Mathematik gewidmet. Er sagte einmal: „Mathematik ist für dumme Leute geeignet. Sie erfordert harte Arbeit. Dumme Leute müssen also hart arbeiten, während kluge Leute immer plötzliche Eingebungen haben. Das ist nicht angemessen.“ Vielleicht war es gerade seine Leidenschaft und Konzentration, die ihm herausragende Leistungen in den drei großen Bereichen Topologie, mathematische Mechanisierung und Geschichte der chinesischen Mathematik ermöglichte.

Wu Wenjun

(1919.5-2017.5)

Mathematiker

Akademiker der Chinesischen Akademie der Wissenschaften