论文部分内容阅读
2002年之前,除了数学界,知道他的人还非常少,他不但不和媒体打交道,甚至连周边的人他也不会凑得很近。而今98岁的他时常光脚穿皮鞋在家走动,说这是懒人最好的锻炼方法。他满头银发径直竖着,胖胖的脸上架了一副眼镜,高兴时脖子一缩,笑了。这位“老顽童”就是中外公认的数学大师吴文俊!吴文俊,我国著名数学家,其主要成就表现在拓扑学和数学机械化两个领域。他的“吴方法”在国际机器证明领
Before 2002, except for mathematics circles, there were still very few people who knew him. Not only did he not deal with the media, he did not even get close to the people around him. Now 98 years old, he often walked barefoot shoes at home, saying this is the best lazy exercise. His head was straight with silver hair, a pair of glasses on his fat face, his neck shrank when he was happy, and laughed. The “old urchin” is Wu Wenjun, a math guru recognized both at home and abroad. Wu Wenjun, a famous mathematician in our country, has two major achievements in topology and math mechanization. His “Wu method ” in the international machine to prove collar