[video:31-数学所-吴文俊-20210610-02-50M_x264]
视频简介：
吴文俊毕生践行数学是笨人学的信仰，花甲之年开始几何定理机器证明的研究。当时电子计算机在国内远未普及，他最初尝试并获成功的几条定理都是依靠手算，他幽默地称自己的手和笔为“吴氏计算机”。后来所里有了计算机，但编写程序还得自己来。编程一般都是年轻人做，为了确保研究过程准确无误，好几年的时间里，吴文俊一直坚持自己编程，他从零开始学习编写计算机程序，自己上机。吴文俊是机房里年龄最大的“程序员”，在相当一段时间里也是数学所上机时间最长的人，他敢为人先的创新精神堪称科学典范。在中华人民共和国成立70周年的日子，吴文俊被授予了崇高的“人民科学家”的国家荣誉称号。
相关阅读
