资本圈那些事：第一深度的资本微信平台！

来源： 楼十三（ID：lou013）

昨日上午，中国科学院数学与系统科学研究院发布讣告称，首届国家最高科技奖获得者、著名数学家 吴文俊 院士因病医治无效，于2017年5月7日7时21分在北京不幸去世，享年98岁。

网站截屏

谁，才是中国的巨星？

其实，中国真正的巨星，让世界侧目、让美国不敢妄动的巨星，根本没有站在前台，而是，默默无闻的他们…

一

吴文俊：数学大师中的“老顽童”走了

吴文俊院士，37岁凭借在拓扑学上的杰出成就，与华罗庚、钱学森一起获得首届国家自然科学奖一等奖；38岁当选中国科学院学部委员；上世纪70年代开始攀登数学机械化的高峰；世纪之交，捧得首届国家最高科技奖…… 吴文俊曾与陈省身、程民德、胡国定等中国老一辈数学家共同提出“ 中国数学要在21世纪率先赶上世界先进水平，成为数学强国”的宏伟目标 。

然而我们对他却知之甚少。

吴文俊对数学的主要领域——拓扑学做出了重大贡献。 他引进的示性类和示嵌类被称为“吴示性类”和“吴示嵌类”，他导出的示性类之间的关系式被称为“吴公式”。他的工作是1950年代前后拓扑学的重大突破之一，成为影响深远的经典性成果。

1970年代后期，他开创了崭新的数学机械化领域，提出了用计算机证明几何定理的“吴方法”，被认为是自动推理领域的先驱性工作，这个完全由中国人开创的全新领域，吸引了各国数学家前来学习。 他是我国最具国际影响的数学家之一，他的工作对数学与计算机科学研究影响深远。 此后人工智能、并联数控技术、模式识别等很多领域取得的重大科研成果，背后都有数学机械化的广泛应用。

现在看，中国数学梦在部分领域已成真 。中国人用机械证明定理，全世界都认可。 以前认为，计算机只能用于计算，现在还能用于证明， 计算机的作用就更大了。

面对各种荣誉，吴老却看得很轻。获得国家最高科技奖后，他说：“我不想当社会活动家，我是数学家、科学家，我只能尽可能避免参加各种社会活动。”

他曾谦逊地说：“不管一个人做什么工作，都是在整个社会、国家的支持下完成的。有很多人帮助我，我数都数不过来。我们是踩在许多老师、朋友、整个社会的肩膀上才上升了一段。我应当怎么样回报老师、朋友和整个社会呢？我想，只有让人踩在我的肩膀上再上去一截。我就希望我们的数学研究事业能够一棒一棒地传下去。”

二

中国“航天四老”均已逝

他， 密歇根大学博士 ，在新中国一清二白时，毅然放弃美国优越生活，回国， 开启两弹一星的征程！

1960年，苏联专家撤走了，西方放言，“中国导弹夭折了”，他，带着火箭的发动机研制组，来到了北京的南苑！