数学家吴文俊
吴文俊，1919年5月12日生于上海，世界著名数学家，1940年毕业于交通大学，1949年获法国国家博士学位。中国科学院数学与系统科学研究院系统科学研究所研究员、名誉所长，中国数学会名誉理事长。
吴文俊是中国数学机械化研究的创始人之一，中国科学院院士，第三世界科学院院士；曾任中国数学会理事长（1985～1987），中国科学院数理学部主任（1992～1994），全国政协委员、常委（1979～1998）。
吴文俊在拓扑学、自动推理、机器证明、代数几何、中国数学史、对策论等研究领域均有杰出的贡献,在国内外享有盛誉。他在拓扑学的示性类、示嵌类的研究方面取得一系列重要成果，是拓扑学中的奠基性工作并有许多重要应用。他的“吴方法”在国际机器证明领域产生巨大的影响，有广泛重要的应用价值。当前国际流行的主要符号计算软件都实现了吴文俊教授的算法。
吴文俊在数学上的重大贡献
吴文俊在拓扑学方面，在示性类、示嵌类等领域获得一系列成果，还得到了许多著名的公式，指出了这些理论和方法的广泛应用。他还在拓扑不变量、代数流形等问题上有创造性工作。1956年吴文俊因在拓扑学中的示性类和示嵌类方面的卓越成就获中国自然科学奖一等获。
在数学机械化或机器证明方面，吴文俊从初等几何着手，在计算机上证明了一类高难度的定理，同时也发现了一些新定理，进一步探讨了微分几何的定理证明。提出了利用机器证明与发现几何定理的新方法。这项工作为数学研究开辟了一个新的领域，将对数学的革命产生深远的影响。1978年，这项成果获全国科学大会重大科技成果奖。
在中国数学史方面，吴文俊认为中国古代数学的特点是：从实际问题出发，经过分析提高，再抽象出一般的原理、原则和方法，最终达到解决一大类问题的目的。他对中国古代数学在数论、代数、几何等方面的成就也提出了精辟的见解。
吴文俊的数学研究活动，可分为前后两个时期，涉及到好几个数学领域，前期自1947年至20世纪70年代，以代数拓扑为主，他的贡献主要有两个方面：
示性类研究
通过Grassmann流形对在20世纪30年代由瑞士Stiefel、美国Whitney、苏联Pontrjajin和陈省身引入的示性类进行了系统的论述，确定了名称，探讨了相应关系，并应用于流形的构造。他引入的上同调类，后来在文献中被称之为吴示性类，他提出的蕴含拓扑不变性和同伦不变性的两个公式，后来都被称之为吴公式。由于这些结果的根本重要性，在多种问题中被广泛应用，如20世纪50年代德国的Dold,20世纪60年代德国的Hirzebruch苏联的Novikov并因而获Fields奖。
示嵌类研究
他引入具有非同伦拓扑不变量的一种一般构造方法，并系统地用之于嵌入问题，引入了复合形示嵌类，并用同样方法研究浸入问题与同痕问题，引入类似的示浸类与示痕类。瑞士Haefiger由于在1958年听到了他关于上述示嵌类研究工作的讲学，于1961年将嵌入问题作了重要推广，因而成为瑞士主要拓扑专家。美国Smale应用他的工作于维数大于4的Poincare猜测，并因而获Fields奖。他后来应用关于示嵌类的成果于电路布线问题，给出线性图平面性的新的判定准则，与以往的判定准则在性质上完全不同，尤其是可计算。
应当注意的是他在1956年前完成的研究成果的重要性，在多年以后才显现出来，至今仍在国际上广泛引用。
吴文俊的后期数学研究始于1976年，主要从事机器证明与数学机械化等方面的工作。
他提出的用计算机证明几何定理的方法，与常用的基于数理逻辑的方法根本不同，显现了无比的优越性，改变了国际上自动推理研究的面貌，被称为自动推论领域的先驱性工作，并因此获得Herbrand自动推论杰出成就奖。以下是14届国际自动推论大会上对吴文俊工作的介绍与评价。
吴文俊在自动推理界以他于1977年发明的(定理证明)方法著称。这一方法是几何定理自动证明领域的突破。
几何定理自动证明首先由HerbertGerlenter于20世纪50年代开始研究。虽然得到了一些有意义的结果，但在吴方法出现之前的二十年里这一领域进展甚微。
在不多的自动推理领域中，这种被动局面是由一个人完全扭转的。吴文俊很明显是这样一个人。吴的工作将几何定理证明自动推理的一个不太成功的领域变为最成功的领域之一。在很少的领域中，我们可以将机器证明归于一个人的工作。几何定理证明就是这样的一个领域。
吴文俊引入的求解非线性代数方程组的吴方法是求解代数方程组精确解最完整的方法之一，已经被成功地用于解决很多问题，并实现在当前流行的符号计算软件中。欧共体资助的POSSO计划(POlynomialSystemSOlving)中也有吴方法的专用软件包。
吴方法还被用于若干高科技领域，得到一系列国际领先的成果。包括曲面造型，机器人机构的位置分析，智能CAD系统(计算机辅助设计)，机器人，图像压缩等。
20世纪80年代末，他提出了偏微分代数方程组的整序方法，是目前处理偏微分代数方程组的完整的构造性方法。该方法已被应用于微分几何定理机器证明和偏微分方程组求解。扩展了代数簇的通常局限无奇点情形的陈示性数于有任意奇点的陈类与陈数，且定义是可计算的，形成代数几何机械化的新篇章。
他给出了多元多项式组的零点结构定理，这是构造性代数几何发展的重要标志。
② 吴文俊数学家是怎样而成的
吴文俊
(Wentsun
WU)，男，祖籍浙江嘉兴，1919年5月12日出生于中国上海，数学家。吴文俊的研究工作涉及到数学的诸多领域其主要成就表现在拓扑学和数学机械化两个领域。他为拓扑学做了奠基性的工作。他的示性类和示嵌类研究被国际数学界称为“吴公式”、“吴示性类”、“吴示嵌类”至今仍被国际同行广泛引用。吴文俊毕业于交通大学，1949年获得法国斯特拉斯堡大学博士学位。70年代后期，在计算机技术大发展的背景下，他继承和发展了中国古代数学的传统(即算法化思想)，转而研究几何定理的机器证明，彻底改变了这个领域的面貌，是国际自动推理界先驱性的工作，被称为吴特征列方法，产生了巨大影响。吴的研究取得了一系列国际领先成果并已应用于国际上当前流行的符号计算软件方面。吴文俊现在是中国科学院系统科学研究所名誉所长，他获得多项国内外奖，1997年获自动推理领域最高奖Herbrand
Award，2006年获邵逸夫奖数学科学奖。
望采纳
谢谢您。祝生活愉快。
③ 出入相补原理是我国著名数学家吴文俊先生提出的，他认为这个原理
出入相补（又称以盈补虚）积是古中国数学中一条用于推证几何图形的面积或体积的基本原理。其内容有四：一、一个几何图形，可以切割成任意多块任何形状的小图形，总面积或体积维持不变=所有小图形面积或体积之和。 二、一个几何图形，可以任意旋转，倒置、移动、复制，面积或体积不变。 三、多个几何图形，可以任意拼合，总面积或总体积不变。 四、几何图形与其复制图形拼合，总面积或总体加倍。 出入相补原理最早由三国时代魏国数学家刘徽创建。
④ 为什么说吴文俊是一个从古代走向未来的数学家
吴文俊研究中国代数取得了显著成绩。研究成果引起了数学界的极大兴趣
⑤ 吴文俊数学机械化的成就和意义
自1976年冬，中国著名教授吴文俊在中国古代数学机械化思想的启发下，尚不知外国人的研究成果，独辟蹊径，大胆地投入数学机械化的研究，创建了数学机械化方法：从几何公理体系出发，引进坐标，将任意几何问题代数化→将证明题的假设与结论分别表示成多元多项式方程→在电子计算机上运算，以判断定理是否成立。
吴文俊教授运用自己的方法，在电子计算机上完成了西姆森线、费尔巴哈定理、毛莱定理等一系列初等几何的证明。随后，他又把证明的范围扩大到非欧几何、仿射几何、圆几何、线几何、球几何等领域。目前，运用吴文俊教授的方法，已证明出600多条定理，许多定理的证明只需几秒甚至零点几秒就可在电子计算机上完成。甚至有一些定理证明相当繁杂，即便交给杰出的数学家来证，也是相当困难的。
中国数学家吴文俊，终于实现了千百年来几何定理机械化证明的梦想。被誉为“吴方法”的诞生，给两千多年的公理化演绎体系带来了强烈冲击。
吴文俊教授还用自己的方法，证明了可以用计算机程序从刻卜勒定律推导出牛顿定律，这已超出了数学定理机械化证明的范畴，而是属于更广的自动推理。其实，各个科学领域研究的问题，只要涉及到方程求解，“吴方法”都会有用武之地。
美国《自动推理杂志》编委穆尔认为，“吴方法”建立之前，几何定理机械化证明的研究处于一片黑暗，吴不仅冲破了这种沉寂的局面，而且带来了光辉的前景。
美国自动推理的权威人物淮斯认为，吴文俊在自动推理领域的杰出贡献是不可磨灭的，他理应获得最高奖。
吴文俊的心愿：“中国传统数学濒于失传并让位于西方现代数学，已有几个世纪之久了，现在已到了复兴中国数学事业的紧要关头。下个世纪，应该让中国先哲创立的机械化算法体系在数学领域再领风骚”。
⑥ 吴文俊到底是怎样的数学家
首届国家最高科技奖获得者、数学大师吴文俊院士5月7日在北京逝世，享年98岁。中国科学院数学与系统科学研究院发布的讣告称，吴文俊是中国最具国际影响的数学家之一，他的工作对数学与计算机科学研究影响深远。中国数学会原理事长马志明院士今天对中国青年报·中青在线记者说，吴文俊先生是一位数学大师，首届国家最高科技奖颁给他，可见他的地位。“他是我们非常敬爱的一位数学家。他对我们这一代数学家的影响是很深的。”今天上午，马志明接到记者电话时非常惊讶。他前一段时间听说过吴先生病重的消息，还未听到噩耗。记者从吴文俊先生治丧公室获悉，吴先生此次住院是因在家不慎摔倒，脑出血入院治疗。4月初入院后，身体一度恢复良好，但进入5月又恶化。4月11日，中科院院长白春礼去医院看望他时，病情已经趋于平稳。他的主治医生笑称：“爷爷很可爱，也很配合治疗。”据马志明介绍，吴文俊直到晚年都在研究数学。他在数学上的贡献，除了众所周知的数学机械化领域，还包括他对中国古代数学的研究。长期以来，他为把中国建设成为数学强国倾注了大量心血，为中国数学界的组织建设和学科发展做了大量工作。中科院的讣告称，吴文俊曾获得首届国家最高科技奖、邵逸夫数学奖、国际自动推理最高奖Herbrand自动推理杰出成就奖等大奖。他引进的示性类和示嵌类被称为“吴示性类”和“吴示嵌类”，他导出的示性类之间的关系式被称为“吴公式”。他的工作是1950年代前后拓扑学的重大突破之一，成为影响深远的经典性成果。1970年代后期，他开创了崭新的数学机械化领域，提出了用计算机证明几何定理的“吴方法”，被认为是自动推理领域的先驱性工作。2002年，国际数学家大会首次在中国举行。吴文俊担任大会主席，当时担任组委会主席的是时任中国数学会理事长马志明。马志明说，吴先生一直希望中国能够成为数学强国。“他说，我们很多工作做得很好，但都是跟着外国人做的。他希望我们有中国人自己的研究方向，开拓出自己的研究方向来。”这也是吴文俊留给马志明的最深印象。“他经常说我们做研究工作，应该有我们中国人自己的方向，不要老是跟着别人做。”他说，吴先生开创的数学机械化证明，就是中国人自己的方向、自己的思想。吴文俊90岁大寿时，马志明曾代表中国数学会写了一封贺信。他在贺信中引用了吴文俊在不同场合讲过的观点：“我们做的很出色，可是领域是人家开创的，问题也是人家提出来的，我们做出了非常好的工作，有些把人家未解决的问题解决了，而且在人家的领域做出了使人家佩服的工作。可是我觉得还不够，我们应该开创我们自己的领域，我们要提出我们自己的问题来。从长远看我们要创新，我们要有自己的路，我们要有自己的方向，自己的思想，不能完全跟着别人。”马志明说，吴先生对晚辈数学家特别关照。他特别平易近人，对任何人都很和蔼，他是一个“老顽童”，对任何事情都心胸开阔。最近几年，吴文俊很少出门。有一次，马志明见到他在小区门口打车。耄耋之年的吴文俊当时一个人坐出租车，要到附近的一家书店去。他很喜欢去那里看书。虽然地位崇高，吴文俊并没有“专车”待遇。数学家袁亚湘院士在接受中国青年报·中青在线记者采访，谈及院士待遇时曾提到，吴文俊院士没有专车。吴文俊1919年5月12日出生于上海，1940年毕业于上海交通大学，1946年到中研院数学所工作。1947年赴法国斯特拉斯堡大学留学，1949年获得法国国家博士学位，随后在法国国家科学中心任研究员。新中国成立后，吴文俊于1951年回国。在他的一生中，他的老师、国际数学大师陈省身对他影响很深。陈省身带他进入了拓扑学研究领域，这是他最重要的研究领域之一。2004年，陈省身在南开大学逝世。当时，前去吊唁的吴文俊对中国青年报·中青在线记者说：“陈省身是我的领路人，决定了我一生的工作和科学道路。如果当时没遇见他，我很可能在数学上一事无成。”有“东方诺贝尔奖”之称的邵逸夫奖设立时，陈省身获得首届邵逸夫数学奖，吴文俊当时担任该奖项数学科学奖评委会主席。后来，吴文俊自己也获得了这项殊荣。晚年的吴文俊一向有“老顽童”之称。5年前，他在接受中国青年报·中青在线记者采访时表示，自己对于“具体的知识”，已经知之甚少。如今“主要是在看小说”，“各式各样的小说、好看的小说”。他评价“日本的侦探小说有意思”。在他看来，日本侦探小说反映深刻的社会背景，不像英国的福尔摩斯探案系列那样，用一些奇奇怪怪的故事来吸引人。这位数学大师当时还说，在数学上自己“还可以有所作为”——“我想我还可以做一点事情。能够做到多少就不敢说了。”
⑦ 数学家吴文俊的名言
一个问题有原始数据，要求解决这个问题提出的答案，这答案也是用某种数据的形式来表示的，原始数据和结论数据是用某种形式的关系联系起来的，这个关系就是方程，建立起关系就是建立起方程。
2.在这种意义下，中国的古代数学是一种算法的数学，也就是一种计算机的数学，我们最古老的数学也是计算机时代最适合、最现代化的数学。
3.解决各种问题就变成解决各种方程，因此解方程成为中国数学2000多年历史发展中的主要目标。
4.中国古代数学发展出多项式方程、差分方程、不定式方程，但到真正解决微积分的时候，由于政治、思想和社会的各种原因，就停顿下来了，在解析几何微积分的大门口止步了。但是，中国的差分方程实际上是一种最适合计算机时代的方程。(名人名言 www.bufuzao.com)
5.中国古代数学在解方程的发展过程中，线索分明，一步一个脚印，不断前进，在这个过程中形成了新的概念和方法，由此使得数学理论得到相应发展。
6.在中国古代数学的历史上，为了解决问题而解方程，为了解方程而发展出我们的数学理论，发展了我们的基础数学，从中可以看出我们数学方法的优越性。
7.我是从中国古代数学受到启发和指引，结合现代西方的某些技术，用计算机来证明几何定理，最后形成了经常提到的数学机械化。
8.现在的中国数学经常跟着外国人的脚步走。
9.我倒有一个“怪论”，不要老讲什么大师。我记得小时候看过，好像是梁启超还是谁讲过这么一个意思———英雄都是在落后国家出来的。
10.人少，偶尔出一个，大家都很崇拜，而当真正整体发达了，大家都差不多时，就不会特别觉得谁英雄了。
11.将来的数学，应该是走中国古代数学道路，而不是国际道路，这是一条总的趋势。
12.在上学时我最喜欢物理，因为离现实的事物更接近。
仅供参考
⑧ 吴文俊的故事主要内容是什么
吴文俊(1919-)，男，是中国著名的数学家。毕业于交通大学(今上海交通大学、西安交通大学)，1949年在法国斯特拉斯堡大学取得博士学位。 在拓扑学的示性类和示嵌类、数学机械化等领域中作出了重要贡献，后者得益于他对中国数学史的研究。这是近代数学史上的第一个中国原创的领域，被国际上称为“吴方法”。
如果不是亲眼所见，你也许无法想象眼前这位鹤发童颜、乐观开朗的老先生，就是年逾8旬的著名数学家：步履矫健，连小伙子有时都赶不上;思维敏捷，稍不留神就跟不上他的思绪。
2001年2月19日，82岁的吴文俊从国家主席江泽民手中接过国家最高科学技术奖证书，这位平时十分低调的科学家顷刻间成为举世瞩目的新闻人物。
虽然是杰出的数学家，但吴文俊小时候却喜欢看历史书籍，对数学并没有多大兴趣。在大学二年级时还曾一度对数学失去兴趣，甚至想辍学不念，是一位姓武的老师的精彩课程，改变了他对数学的看法。大学三四年级时的刻苦钻研，更使他打下了现代数学的基础。