On May 7, 2017 (April 12, 2017 in the lunar calendar), Wu Wenjun, an academician of the Chinese Academy of Sciences, passed away. Wu Wenjun, a famous mathematician, an academician of the Chinese Academy of Sciences, the first national first prize for natural science, the first national highest science and technology award, and the winner of the Shao Yifu Mathematics Prize, died on May 7, 2017 in a Beijing hospital at the age of 98. Wu Wenjun (May 12, 1919 - May 7, 2017), a native of Jiaxing, Zhejiang Province, was born in Shanghai and graduated from Jiaotong University. He was a famous mathematician in China. Wu Wenjun's research work involved many fields of mathematics. His main achievements are in the fields of topology and mathematical mechanization. He has done groundbreaking work for topology. His research on expressive classes and expressive class has been called "Wu Formula", "Wu expressive class" and "Wu expressive class" by the international mathematical community and is still widely quoted by international peers. Wu Wenjun is now the honorary director of the Institute of Systems Science of the Chinese Academy of Sciences. He won the Herbrand Award, the highest award in the field of automatic reasoning, in 1997, and the Shao Yifu Prize in Mathematical Sciences in 2006. Asteroid No. 7683 was permanently named "Wu Wenjun Xing". At 7:21 on May 7, 2017, Wu Wenjun passed away in Beijing at the age of 98. Wu Wenjun's life introduction Wu Wenjun is one of the most internationally influential mathematicians in our country. He made significant contributions to the core field of mathematics, topology, pioneered a new field of mathematical mechanization, and had a profound impact on mathematics and computer science research. Wu Wenjun was born in Shanghai in 1919 and graduated from Shanghai Jiao Tong University in 1940. He worked in the Institute of Mathematics of Academia Sinica in 1946 and began to engage in topology research under the guidance of Mr. Chen Shengshen. He studied in France in 1947. He studied with Erisman and Cardang. He graduated from the University of Strasbourg in 1949 and received a French national doctorate. He then worked as a researcher at the French National Science Center. After the founding of New China, Wu Wenjun returned to work in 1951. He first served as a professor in the Department of Mathematics of Peking University, and a researcher at the Institute of Mathematics of the Chinese Academy of Sciences in 1952. He was transferred to the Institute of Systems Science of the Chinese Academy of Sciences in 1980, and to the newly established Institute of Mathematics and Systems Science of the Chinese Academy of Sciences in 1998. He served as the chairperson of the Chinese Mathematical Society (1985-1987), the director of the Mathematics Department of the Chinese Academy of Sciences (1992-1994), a member of the Standing Committee of the National Committee of the Chinese People's Political Consultative Conference (1979-1998), the chairperson of the International Congress of Mathematicians in 2002, and the honorary director of the Chinese Academy of Sciences From 1946 to 1951, Wu Wenjun was mainly engaged in the research of Stifel-Whitney's indicative classes; from 1953 to 1957, he was mainly engaged in the research of Pontriagin's indicative classes. Later, Wu Wenjun turned to the research of indicative classes. For his outstanding work in topological indicative classes and indicative classes, Wu Wenjun won the first prize of the first national natural science in 1956, and was elected as a member of the Chinese Academy of Sciences in 1957. In 1958, Wu Wenjun was invited to give a group report at the International Congress of Mathematicians (for some reason, he could not make it). In 1976, Wu Wenjun opened up a new field of mechanized mathematics on the basis of the study of ancient Chinese arithmetic. In 1986, Wu Wenjun was invited to give a group report at the International Congress of Mathematicians. In 1990, he won the Mathematics Prize of the Third World Academy of Sciences. In 1993, he won the Tan Kah Kee Prize in Mathematical Sciences. In 1994, he won the first Hong Kong Qiushi Outstanding Scientist Award. In 1997, he won the Herbrand Award for Outstanding Achievement in Automatic Reasoning, the highest international award for automatic reasoning. Young Wu Wenjun is giving an academic report in the discussion class. Academician Wu Wenjun is giving an academic report. Yan Jieci, Wu Wenjun, Ma Dayou, Qian Linzhao, Yang Haibo and the students of the junior class are