如果您尚未关注我们，可点击标题下方的“
郎
club
”
关注我们
谁，才是中国的巨星？
有人说，这个谁，获得奥斯卡终身成就奖，世界知名！
有人说，那个谁，票房动辄几十亿，粉丝喊叫震地动！
有人说，那谁谁，影片用谁谁蹿红，名字一亮就招风！
其实，中国真正的巨星，让世界侧目、让美国不敢妄动的巨星，根本不是这些开豪车、住别墅、数钱数到手抽筋的娱乐大佬，而是，他们…
昨日上午，中国科学院数学与系统科学研究院发布讣告称，首届国家最高科技奖获得者、著名数学家吴文俊院士因病医治无效，于2017年5月7日7时21分在北京不幸去世，享年98岁。
网站截屏
吴文俊院士，３７岁凭借在拓扑学上的杰出成就，与华罗庚、钱学森一起获得首届国家自然科学奖一等奖；３８岁当选中国科学院学部委员；上世纪７０年代开始攀登数学机械化的高峰；世纪之交，捧得首届国家最高科技奖……
然而我们对他却知之甚少。
吴文俊是数学界的“泰斗”，他的示性类和示嵌类研究被国际数学界称为“吴公式”，“吴示性类”，“吴示嵌类”，至今仍被国际同行广泛引用。
吴文俊在数学界最关注的事情，莫过于数学的探索研究和发展。“我想知道数学界在进行哪些探索，金融数学进展如何，统计和运筹搞得怎样，西部地区的年轻人申请基金是否困难。”吴文俊说道。
吴文俊曾与陈省身、程民德、胡国定等中国老一辈数学家共同提出“
中国数学要在21世纪率先赶上世界先进水平，成为数学强国”的宏伟目标
。
吴文俊补充道，当时还提了“三步走”和具体规划，想把全国数学界动员起来，实现“率先赶上”的中国数学梦。我做梦都在想哪个领域赶上去了。搞数学，光发表论文不值得骄傲，应该有自己的东西。
不能外国人搞什么就跟着搞什么，应该让外国人跟我们跑。这是可以做到的。
现在看，中国数学梦在部分领域已成真。中国人用机械证明定理，全世界都认可。以前认为，计算机只能用于计算，现在还能用于证明，计算机的作用就更大了。
尽管已经不亲自带学生，但吴老一直十分关心年轻人的成长。他看不惯现在少数年轻人“跟着外国人跑”的做法，他说：“如果光是发表个论文，不值得骄傲，应该有自己的东西。”
他始终强调
年轻人要有独立的思想、看法，敢于超越现有的权威，绝不能人云亦云。
说起自己成功的经验，吴老首先想到的是：“做研究不要自以为聪明，总是想些怪招，要实事求是，踏踏实实。功夫不到，哪里会有什么灵感？”
“数学是笨人学的，我是很笨的，脑筋"不灵"。”他说。
可就是这样一位自认为“很笨”的人，总能站在数学研究的最前沿。
上世纪70年代，吴文俊第一次接触到计算机，他敏锐地觉察到计算机的极大发展潜能。受计算机与古代传统数学的启发，他抛开已成就卓著的拓扑学研究，毅然开始攀越学术生涯的第二座高峰数学机械化。
为了解决机器证明几何定理的问题，他年近花甲从头学习计算机语言。那时，在中科院系统科学研究所的机房里，经常会出现一位老人的身影，不分昼夜地忘我工作。有很多年，吴老的上机操作时间都是整个研究所的第一名。
来源：百度百科
正是这种日积月累、刻苦努力的“笨功夫”，经过近十年的努力，他用机器证明几何定理终于获得成功。
吴文俊开创的数学机械化在国际上被称为“吴方法”，这个完全由中国人开创的全新领域，吸引了各国数学家前来学习。此后人工智能、并联数控技术、模式识别等很多领域取得的重大科研成果，背后都有数学机械化的广泛应用。
面对各种荣誉，吴老却看得很轻。获得国家最高科技奖后，他说：“我不想当社会活动家，我是数学家、科学家，我只能尽可能避免参加各种社会活动。”
他曾谦逊地说：“不管一个人做什么工作，都是在整个社会、国家的支持下完成的。有很多人帮助我，我数都数不过来。我们是踩在许多老师、朋友、整个社会的肩膀上才上升了一段。我应当怎么样回报老师、朋友和整个社会呢？我想，只有让人踩在我的肩膀上再上去一截。
我就希望我们的数学研究事业能够一棒一棒地传下去。”
在吴老心里，数学研究就是件“有意思”的事，尤其是晚年从事的中国古代数学研究，更是自己“最得意”的工作。
“我非常欣赏"中国式"数学，而不是"外国式"数学。”说起自己感兴趣的内容，吴老精神十足：“中国古代数学一点也不枯燥，简单明了，总有一种吸引力，有意思！”
对于做研究，吴老有一套自己的“理论”：“天下的学问那么多，大多数马马虎虎过得去就行，其余时间就在一两件自己特别感兴趣的事情上下功夫。”
事实上，从1946年由陈省身先生引荐到中央研究院数学研究所工作，吴文俊就一直沉浸在数学世界里，做自己“感兴趣”、觉得“有意思”的工作。
在被称为“现代数学女王”的拓扑学研究中，初出茅庐的他仅用了一年多时间就取得突破对美国著名拓扑学大师惠特尼的对偶定理做出了简单新颖的证明；
上世纪50年代前后，他提出“吴示性类”、“吴公式”等，为拓扑学开辟了新的天地，令国际数学界为之瞩目，成为影响深远的经典性成果；
上世纪70年代，他开创了近代数学史上的第一个由中国人原创的研究领域数学机械化，实现了将繁琐的数学运算、证明交由计算机来完成。
……
