吴文俊：从古代走向未来的数学家阅读答案

《吴文俊：从古代走向未来的数学家阅读答案》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、吴文俊：从古代走向未来的数学家阅读答案吴文俊：从古代走向未来的数学家阅读答案连绵数千公里的美国大草原在科罗拉多州被中部的洛基山所阻遏。在终年积雪的山脉的映衬之下，州府丹佛显得格外洁净端庄。1984年，“全美定理机器学术会议”在丹佛近郊的格里美大学城召开，这是个不大不小的会议，与会者100余人，全是国际数学自动推理领域的精英。会议上，周咸青交了一篇题为《用吴方法证明几何定理》的论文，同时在现场用电脑演示，短短的十几分钟证明了几百条几何定理，整个会场顿时轰动。吴方法?吴文俊?吴文俊何许人也?闻所未闻，与会的年轻精英们搔首皱眉，似曾相知。老一代的精英们却依稀记得：三四十年前，在巴黎有个叫吴文

2、俊的中国人，对示性类平方运算及其流形给出了明确的表达式，这个表达式被国际上誉为“吴公式”。销声匿迹多少年，这一次又以“吴方法”重露头角，再现辉煌。学术会后，美国《自动推理》杂志主编致信吴文俊，希望能在该杂志上重新发表他的奠基之作《几何定理机器证明的基本原理》。这一，吴文俊的声名再次鹊起，各方邀请信纷至沓。吴文俊欣然前往。1986年，67岁的他到了美国。在阿格纽国家实验室，他看到专家们对用电脑从开普勒定律推导牛顿定律一筹莫展，就用自己带的电脑软件，三下五除二干净利落地完成了自动推导工作，使亲睹者惊讶不已。1940年，吴文俊以出色的成绩从大学毕业。上海当时是日本占领的沦陷区。日本人早已注意

3、到这个貌不惊人、聪慧异常的学生。他们愿提供奖学金，让他到日本去深造，或者，他也可去日本的数学研究所工作，由吴文俊自己选择。吴文俊的选择非常简单：留上海。而留上海意味着穷困潦倒，也意味着从此告别神圣的数学研究殿堂。他到处奔波，费了九牛二虎之力，才在郊区的一所中学找到了一个位置。此后的整整五年，他再也没有接触数学研究，只是长夜梦醒，才浮现依稀模糊的a、b、c……命运之神再一次惠顾了他：抗战胜利，吴文俊结识了陈省身教授，他被安排在中央研究院数学研究所工作。吴文俊不负师望，在一年半的短短时间内，就在新兴的拓扑学的研究方面取得了重大进展，并在这个迷离晦涩的领域有了突破：对惠特尼提出的对偶定理做出

4、了简单新颖的证明。陈省身对此大喜过望，在赞叹之余立刻把他送往国外留学。于是在1947年，吴文俊到了法国。1949年获得法国国家科学博士学位后，他继续全力向拓扑学进军。1950年，他提出了“吴公式”和“吴文俊示性类”，这一让他崭露头角的新成果使当时欧洲数学界为之瞩目。然而，吴文俊又面临着不是选择的选择。中华人民共和国的成立在他心里引起了持久的激动。义无反顾———爱国不用喧嚷，甚至不用表白，他一声不响地回了，这是1951年的冬天。他开始任教于北京大学，仅半年，就调到中国科学院数学研究所任研究员。吴文俊现在是春风得意马蹄疾了。他凭着自己年富力强和满腹经纶，在拓扑学的领域里横冲直撞，左右开弓。

5、1958年，他开始对策论的研究；1967年，他专注于示嵌类理论与线性图平面的相关问题；1970年，又提出了Ⅰ量度的概念……到了1974年，突如其地，他开始涉足研究中国古代数学史。也许这是命运之神的最大恩赐；他对中国古代数学史的研究以及这些研究成果与现代电脑相结合所开创的中国别其一格的数学机械化领域，铸成了吴文俊人生之途的第二块里程碑。平心而论，吴文俊起初对中国古代数学也了解不多，但不久他便发现中国古代数学自成一体，不仅与西方理论是完全不同的两套思路，而且对现代数学也有启迪。他深入了，忘情了，而且激情澎湃了。1977年，他发表了《中国古代数学对世界文化的伟大贡献》；在10年之后的1987

6、年，他发表了更加重要的《中国传统数学的再认识》，引起了数学界的极大兴趣。吴文俊目光敏锐，当世界电脑发展初露端倪之时，他立刻把电脑与自己所研究的中国古代算术思想联系起，从而开#from本文来自学优网.gkstk.end#辟了一条与西方迥然不同的数学机械化一定理机器证明的道路。在“吴方法”为世人所推崇之后，1989年吴文俊任数学机械化研究中心主任，他即把他创造的方法用于不等式证明，从而使它在机器人学和非线性规划方面具有广泛的应用前景。也许是吴文俊大兴奋了，有一天，一向谦虚谨慎的他竟然口吐“狂言”：“我是真正理解中国古代数学的第一人。”同时又补上了一句：“我国古代机械化和代数化的光辉思想和伟

7、大成就是无法磨灭的。”这两句话刻画出一个完整的吴文俊：从古代走向未的数学家。（摘编自樊洪业《院士故事》）（1）下列对文章有关内容的分析和概括，最恰当的两项是（）（）（5分）A．文章开篇，用充满诗意的笔触描写美丽的大草原、终年积雪的山脉、洁净端庄的丹佛城，这些描写为吴文俊的出场渲染气氛，为全文奠定了优美欢快的基调。B．1984年在丹佛近郊格里美大学城召开的“全美定理机器学术会议”，精英云集，吴文俊虽然没有与会，但一篇《用吴方法证明几何定理》的论文