我国数学机械化之父是吴文俊。
吴文俊是著名数学家、“数学机械化之父”。1919年出生在上海一个书香世家，2017年5月7日与世长辞。今年，是他的百年诞辰。在数学世界里，吴文俊对新鲜事物总是抱有一份好奇，想要探个究竟。也因此，他的一生“钻”进了数学诸多领域，探索了数学的深度，也揭示了数学的广度，尤其在拓扑雀樱橡学、数学机械化、中国数学史三大领域取得了卓著的成就。
“悠悠吴氏类，圣手剪裁功。数坛不世文，俊名青史留。”这是首都师范大学副校长、中国科学院院士方复全为纪念吴文俊在拓扑学领域的成就而作的诗。20世纪50年代，吴文俊在法国留学期间，引进的示性类和示嵌类被称为“吴示性类”和“吴示嵌类”，他导出的示性类之间的关系式被称为“吴公式”。
吴文俊的工作是1950年代前后拓扑学的重大突破之一，成为影响深远的经典性成果。成果被5位“菲尔兹奖”获得者引用。
生活中的吴文俊：
常被老伴儿笑称有点“贪玩”，只要觉得好奇，就想试试。与他接触过的人，时至今日仍深刻记得他的乐观豁达和那温暖的笑容、谦逊淡泊的品性。数学院院长、中国科学院院士席南华称吴文俊的笑容为“吴氏笑脸”。“很有顷旁感染力，吴先生的笑容具有艺术价值。”
在席南华看来，这种单纯在今天看来尤为可贵。当我们感到迷失的时候，可以从吴先生留下的珍贵的数学和精神财富中得到启示。那是“文革”前夕颂盯，陈景润对哥德巴赫猜想做出了“1+2”的结果，并将论文提交到了当时的中科院数学所，但那时这项工作被认为是“封资修”，是否发表此文引起了激烈争论。
详情