当代吴氏名流（49）

数学机械化创始人  杰出贡献青史留名

——记杰出的数学家吴文俊院士

        著名的数学家吴文俊（以下尊称为：吴老）先贤，1919年5月12日出生于上海，祖籍浙江嘉兴，2017年5月7日在京仙逝，享年98岁。

吴老1940年毕业于上海交通大学。

        1949年获法国斯特拉斯堡大学博士学位。

        1957年当选为中国科学院院士。

        他1979年加入中国共产党，是位优秀的共产党员。

        1995年接受香港城市大学名誉博士学位。

        吴老曾任：中科院数学与系统科学研究院系统科学研究所研究员、名誉所长，中国数学会名誉理事长，第三世界科学院院士，国家科委攀登项目“机器证明及其应用”“数学机械化及其应用”专家委员会首席科学家；他是中科院系统所数学机械化研究中心主任和创始人、中科院数理学部主任；在拓扑学、数学机械化领域作出了杰出贡献，吴公式吴方法被国际同行广泛应用。

        吴老曾任教北京大学、中国科学技术大学，西安交通大学、华中理工大学、安徽工业大学（名誉教授）。

        他是第五、六、七、八届全国政协常委。

        他的专著有17部、论文125篇，培养了4名博士。

1956年，吴老在数学所作报告

        “科学技术是第一生产力，数学是发展第一生产力的必要手段与重要保障。”吴老不但这样说，更是将毕生致力于数学对科技的奉献。“功夫不负有心人”！

        2000年，吴老荣获首届国家最高科学技术奖、；建国70周年，获“人民科学家”国家荣誉称号、首届国家自然科学一等奖，全国科学大会奖。

        还有：中科院自然科学一等奖、第三世界科学院数学奖、陈嘉庚数理科学奖、首届香港求是科技基金会杰出科学家奖、Herbrand自动推理杰出成就奖、第三届邵逸夫数学奖、上海交通大学首届“杰出校友终身成就奖”、“最美奋斗者”称号、入选“中国海归70年70人”、“西安交通大学最受崇敬校友”称号等。

江泽民主席与首届国家最高科学技术奖获得者袁隆平(右)、吴老合影

        2010年国际编号为第7683号的小行星，被永久命名为“吴文俊星”。

        2011年中国科学技术大学，组建了中国科学院吴文俊数学重点实验室。

        综观吴老的一生，是为世界数学事业作出了杰出贡献的一生；这位吴氏著名的数学家，是数学机械化研究领域的创始人，也是对我国科技发展的有功重臣。吴老：您青史永留名！

                                    吴忠祥搜集整理于云南昆明

                                                  2024年6月3日

         作者简介:

         吴忠祥   , 名祯祥、字铭；1952年4月生,湖北通城县大坪乡易畈村人,大专文化。二十世纪六七十年代在本村当“乡村医生”,后在咸就读,毕业后在咸宁地区(市)卫生局(卫生健康委员会)工作至退休。因勤于笔耕爱好写作, 而被巜中国中医药报》聘为驻地记者，被《湖北日报》国家巜健康报》及省市多家媒体聘为通讯员。其利用业余时间免费为全市医疗卫生系统的工作“鼓与呼”；工作三十年间,在上述报刊杂志发表文章200余篇,有多篇作品在一些报刊或专题征文中分获二、三等和优秀、鼓励等奖项。退休后，咸宁市卫生局鼓励并支持其编辑出版《卫生情结》吴忠祥作品集一书。

 图文：吴忠祥

 编发：黎   曙

 审稿：吴小艾

 审核：吴合林