吴文俊在数学领域有哪些突出贡献

⑴ 吴文俊到底是怎样的数学家

首届国家最高科技奖获得者、数学大师吴文俊院士5月7日在北京逝世，享年98岁。中国科学院数学与系统科学研究院发布的讣告称，吴文俊是中国最具国际影响的数学家之一，他的工作对数学与计算机科学研究影响深远。中国数学会原理事长马志明院士今天对中国青年报·中青在线记者说，吴文俊先生是一位数学大师，首届国家最高科技奖颁给他，可见他的地位。“他是我们非常敬爱的一位数学家。他对我们这一代数学家的影响是很深的。”今天上午，马志明接到记者电话时非常惊讶。他前一段时间听说过吴先生病重的消息，还未听到噩耗。记者从吴文俊先生治丧公室获悉，吴先生此次住院是因在家不慎摔倒，脑出血入院治疗。4月初入院后，身体一度恢复良好，但进入5月又恶化。4月11日，中科院院长白春礼去医院看望他时，病情已经趋于平稳。他的主治医生笑称：“爷爷很可爱，也很配合治疗。”据马志明介绍，吴文俊直到晚年都在研究数学。他在数学上的贡献，除了众所周知的数学机械化领域，还包括他对中国古代数学的研究。长期以来，他为把中国建设成为数学强国倾注了大量心血，为中国数学界的组织建设和学科发展做了大量工作。中科院的讣告称，吴文俊曾获得首届国家最高科技奖、邵逸夫数学奖、国际自动推理最高奖Herbrand自动推理杰出成就奖等大奖。他引进的示性类和示嵌类被称为“吴示性类”和“吴示嵌类”，他导出的示性类之间的关系式被称为“吴公式”。他的工作是1950年代前后拓扑学的重大突破之一，成为影响深远的经典性成果。1970年代后期，他开创了崭新的数学机械化领域，提出了用计算机证明几何定理的“吴方法”，被认为是自动推理领域的先驱性工作。2002年，国际数学家大会首次在中国举行。吴文俊担任大会主席，当时担任组委会主席的是时任中国数学会理事长马志明。马志明说，吴先生一直希望中国能够成为数学强国。“他说，我们很多工作做得很好，但都是跟着外国人做的。他希望我们有中国人自己的研究方向，开拓出自己的研究方向来。”这也是吴文俊留给马志明的最深印象。“他经常说我们做研究工作，应该有我们中国人自己的方向，不要老是跟着别人做。”他说，吴先生开创的数学机械化证明，就是中国人自己的方向、自己的思想。吴文俊90岁大寿时，马志明曾代表中国数学会写了一封贺信。他在贺信中引用了吴文俊在不同场合讲过的观点：“我们做的很出色，可是领域是人家开创的，问题也是人家提出来的，我们做出了非常好的工作，有些把人家未解决的问题解决了，而且在人家的领域做出了使人家佩服的工作。可是我觉得还不够，我们应该开创我们自己的领域，我们要提出我们自己的问题来。从长远看我们要创新，我们要有自己的路，我们要有自己的方向，自己的思想，不能完全跟着别人。”马志明说，吴先生对晚辈数学家特别关照。他特别平易近人，对任何人都很和蔼，他是一个“老顽童”，对任何事情都心胸开阔。最近几年，吴文俊很少出门。有一次，马志明见到他在小区门口打车。耄耋之年的吴文俊当时一个人坐出租车，要到附近的一家书店去。他很喜欢去那里看书。虽然地位崇高，吴文俊并没有“专车”待遇。数学家袁亚湘院士在接受中国青年报·中青在线记者采访，谈及院士待遇时曾提到，吴文俊院士没有专车。吴文俊1919年5月12日出生于上海，1940年毕业于上海交通大学，1946年到中研院数学所工作。1947年赴法国斯特拉斯堡大学留学，1949年获得法国国家博士学位，随后在法国国家科学中心任研究员。新中国成立后，吴文俊于1951年回国。在他的一生中，他的老师、国际数学大师陈省身对他影响很深。陈省身带他进入了拓扑学研究领域，这是他最重要的研究领域之一。2004年，陈省身在南开大学逝世。当时，前去吊唁的吴文俊对中国青年报·中青在线记者说：“陈省身是我的领路人，决定了我一生的工作和科学道路。如果当时没遇见他，我很可能在数学上一事无成。”有“东方诺贝尔奖”之称的邵逸夫奖设立时，陈省身获得首届邵逸夫数学奖，吴文俊当时担任该奖项数学科学奖评委会主席。后来，吴文俊自己也获得了这项殊荣。晚年的吴文俊一向有“老顽童”之称。5年前，他在接受中国青年报·中青在线记者采访时表示，自己对于“具体的知识”，已经知之甚少。如今“主要是在看小说”，“各式各样的小说、好看的小说”。他评价“日本的侦探小说有意思”。在他看来，日本侦探小说反映深刻的社会背景，不像英国的福尔摩斯探案系列那样，用一些奇奇怪怪的故事来吸引人。这位数学大师当时还说，在数学上自己“还可以有所作为”——“我想我还可以做一点事情。能够做到多少就不敢说了。”

⑵ 吴文俊是当代数学的标志具体表现在哪些方面

主要在拓扑学，数学机械化有贡献

⑶ 吴文俊在数学研究上开创了哪些领域

吴文俊，1919年5月12日出生于上海，祖籍浙江嘉兴，数学家，中国科学院院士，中国科学院数学与系统科学研究院研究员，系统科学研究所名誉所长。
吴文俊毕业于交通大学（现上海交通大学、西安交通大学）数学系，1949年，获法国斯特拉斯堡大学博士学位；1957年，当选为中国科学院学部委员（院士）；1991年，当选第三世界科学院院士；2001年2月，获2000年度国家最高科学技术奖。
吴文俊的研究工作涉及数学的诸多领域，其主要成就表现在拓扑学和数学机械化两个领域。他为拓扑学做了奠基性的工作；他的示性类和示嵌类研究被国际数学界称为“吴公式”，“吴示性类”，“吴示嵌类”，至今仍被国际同行广泛引用。

⑷ 我国学者，吴文俊院士在人工智能的，什么领域做出了贡献。

吴文俊是我国最具国际影响的数学家之一，他对数学的核心领域拓扑学做出了重大贡献、开创了数学机械化新领域，对数学与计算机科学研究影响深远。

吴文俊的研究工作涉及数学的诸多领域，其主要成就表现在拓扑学和数学机械化两个领域。他为拓扑学做了奠基性的工作；他的示性类和示嵌类研究被国际数学界称为“吴公式”，“吴示性类”，“吴示嵌类”，至今仍被国际同行广泛引用。

(4)吴文俊在数学领域有哪些突出贡献扩展阅读

上世纪七十年代末，吴文俊用算法的观点对中国古算作了正本清源的分析，认为中国古算是算法化的数学。由此，开辟了中国数学史研究的新思路与新方法，在数学史领域产生了重大影响。

1986年吴文俊被邀请到国际数学家大会作分组报告，介绍他在中国古代数学史研究中的成果。不仅如此，他又在中国古算研究的启发下，开拓了机械化数学的崭新领域。

1977年他在初等几何定理的机械化证明方面首先取得成功，提出了几何定理机器证明的吴方法。此后，相继提出微分几何的定理机械化证明方法，方程组符号求解的吴消元法，全局优化的有限核定理，建立了数学机械化体系。

他不仅建立数学机械化的基础，而且将这一理论应用于多个高技术领域，解决了曲面拼接、机构设计、计算机视觉、机器人等高技术领域核心问题。这样走出了完全是中国人自己开拓的新的数学道路，产生了巨大的国际影响。

⑸ 吴文俊数学机械化的成就和意义

自1976年冬，中国着名教授吴文俊在中国古代数学机械化思想的启发下，尚不知外国人的研究成果，独辟蹊径，大胆地投入数学机械化的研究，创建了数学机械化方法：从几何公理体系出发，引进坐标，将任意几何问题代数化→将证明题的假设与结论分别表示成多元多项式方程→在电子计算机上运算，以判断定理是否成立。
吴文俊教授运用自己的方法，在电子计算机上完成了西姆森线、费尔巴哈定理、毛莱定理等一系列初等几何的证明。随后，他又把证明的范围扩大到非欧几何、仿射几何、圆几何、线几何、球几何等领域。目前，运用吴文俊教授的方法，已证明出600多条定理，许多定理的证明只需几秒甚至零点几秒就可在电子计算机上完成。甚至有一些定理证明相当繁杂，即便交给杰出的数学家来证，也是相当困难的。
中国数学家吴文俊，终于实现了千百年来几何定理机械化证明的梦想。被誉为“吴方法”的诞生，给两千多年的公理化演绎体系带来了强烈冲击。
吴文俊教授还用自己的方法，证明了可以用计算机程序从刻卜勒定律推导出牛顿定律，这已超出了数学定理机械化证明的范畴，而是属于更广的自动推理。其实，各个科学领域研究的问题，只要涉及到方程求解，“吴方法”都会有用武之地。
美国《自动推理杂志》编委穆尔认为，“吴方法”建立之前，几何定理机械化证明的研究处于一片黑暗，吴不仅冲破了这种沉寂的局面，而且带来了光辉的前景。
美国自动推理的权威人物淮斯认为，吴文俊在自动推理领域的杰出贡献是不可磨灭的，他理应获得最高奖。
吴文俊的心愿：“中国传统数学濒于失传并让位于西方现代数学，已有几个世纪之久了，现在已到了复兴中国数学事业的紧要关头。下个世纪，应该让中国先哲创立的机械化算法体系在数学领域再领风骚”。

⑹ 吴文俊丘成桐谁数学地位高

丘吧

⑺ 吴文俊获得过哪些奖项

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

而数学界也一直公认：吴文俊对数学的主要领域—拓扑学做出了重大贡献。他引进的示性类和示嵌类被称为“吴示性类”和“吴示嵌类”，他导出的示性类之间的关系式被称为“吴公式”，他是我国最具国际影响的数学家之一，他的工作对数学与计算机科学研究影响深远。

⑻ 吴文俊对数学有什么贡献

吴文俊，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年代末，他提出了偏微分代数方程组的整序方法，是目前处理偏微分代数方程组的完整的构造性方法。该方法已被应用于微分几何定理机器证明和偏微分方程组求解。扩展了代数簇的通常局限无奇点情形的陈示性数于有任意奇点的陈类与陈数，且定义是可计算的，形成代数几何机械化的新篇章。

他给出了多元多项式组的零点结构定理，这是构造性代数几何发展的重要标志。

⑼ 吴文俊的贡献是什么

吴文俊对数学的贡献 吴文俊在数学上作出了许多重大的贡献。 ◆ 拓扑学方面，在示性类、示嵌类等领域获得一系列成果，还得到了许多着名的公式，指出了这些理论和方法的广泛应用。他还在拓扑不变量、代数流形等问题上有创造性工作。1956年吴文俊因在拓扑学中的示性类和示嵌类方面的卓越成就获中国自然科学奖一等获。 ◆ 数学机械化或机器证明方面，从初等几何着手，在计算机上证明了一类高难度的定理，同时也发现了一些新定理，进一步探讨了微分几何的定理证明。提出了利用机器证明与发现几何定理的新方法。这项工作为数学研究开辟了一个新的领域，将对数学的革命产生深远的影响。1978年获全国科学大会重大科技成果奖。 ◆ 中国数学史方面，吴文俊认为中国古代数学的特点是：从实际问题出发，经过分析提高，再抽象出一般的原理、原则和方法，最终达到解决一大类问题的目的。他对中国古代数学在数论、代数、几何等方面的成就也提出了精辟的见解。