Science and Technology Daily intern reporter Wang Shuo
I spent my childhood during the War of Resistance Against Japan. The suffering of the nation and the upheaval of the family sowed the seeds of patriotism in the young soul. Who can lead China and put the Chinese nation on the road to prosperity and rejuvenation? This is the question I've been looking for answers to... Knowing that only the Communist Party can save China, he made up his mind to follow the Communist Party.
——Excerpt from Zhang Jingzhong's "Volunteer Book for Joining the Party" in November 1986
Video loading...
Video source: Science and Technology Daily, Producer: Li Zhongming, Zhao Weihua, He Peichang, Ma Yanmei, Qi Wei
In 1954
Zhang Jingzhong came to the Department of Mathematical Mechanics of Peking University
He knows it
"To contribute
Special efforts are needed."
Although clear about the difficulties of pure math majors
Unnamed lakeside
He still stands
Volunteer as a mathematician
Portrait of Academician Zhang Jingzhong
1980s
Computer research has advanced by leaps and bounds
In 1985
Zhang Jingzhong began to work
Theorem machine proof study
This computer science and mathematics
Cross-fertilization of research areas
To achieve further mechanization of certain high-level mental labor
The goal is to liberate people's brainpower
He developed with collaborators
A new approach to geometry
Give the world's first
Can be generated automatically
Readable proof of geometric theorems
Algorithms and programs
An important issue of slow progress in the field of artificial intelligence
There have been breakthroughs
He wrote
Machine Proof in Geometry
"A milestone in the path of computer dealing with geometric problems"
In 2012, Academician Zhang Jingzhong sent a message to the children
He made scientific research and science mutually reinforcing
Create a school of educational mathematics
《Prince of Mathematics》
The Mathematician's Vision
"Juvenile Mathematics Experiment"
From animation to reader
His creations
Bring abstract mathematics to life
"Shame on you
There is a sincere climbing Kunlun left."
He is a famous mathematician in our country
Mathematics educator
Academician of the Chinese Academy of Sciences
Zhang Jingzhong
He joined the Communist Party of China in 1986
bibliography:
1. Luo Yanming and Liang Mingzheng: "Juan'e Bao Huaxia, Sincere Pan Kunlun - Remembering the Famous Scientist Zhang Jingzhong"
2. Peng Qicheng: "Scientific Research and Science Popularization are Two Phases, And The Creation and Teaching qi Panfeng- Zhang Jingzhong's Popular Science Life"
3. Yin Chuanhong: "The Mathematician's Vision - Interview with Zhang Jingzhong"
Edited by: Huang Lei
Review: Wang Xiaolong