吴文俊的成果有军事

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

首届国家最高科技奖获得者、数学大师吴文俊院士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日生于上海。1940年毕业于上海交通大学，1949年在法国斯特拉斯堡大学获博士学位。1951年回国，1957年任中国科学院学部委员，1984年当先为中国数学会理事长。吴文俊在数学上作出了许多重大的贡献。

拓扑学方面，在示性类、示嵌类等领域获得一系列成果，还得到了许多著名的公式，指出了这些理论和方法的广泛应用。他还在拓扑不变量、代数流形等问题上有创造性工作。1956年吴文俊因在拓扑学中的示性类和示嵌类方面的卓越成就获中国自然科学奖一等获。

机器证明方面，从初等几何着手，在计算机上证明了一类高难度的定理，同时也发现了一些新定理，进一步探讨了微分几何的定理证明。提出了利用机器证明与发现几何定理的新方法。这项工作为数学研究开辟了一个新的领域，将对数学的革命产生深远的影响。1978年获全国科学大会重大科技成果奖。

中国数学史方面，吴文俊认为中国古代数学的特点是：从实际问题出发，经过分析提高，再抽象出一般的原理、原则和方法，最终达到解决一大类问题的目的。他对中国古代数学在数论、代数、几何等方面的成就也提出了精辟的见解

吴文俊 科技名人

数学家。 上海人。 1940年毕业于上海交通大学。 1949年获法国国家科学研究中心博士学位。 1991年当选为第三世界科学院院士。中国科学院数学与系统科学研究院系统科学研究所研究员、名誉所长，中国数学会名誉理事长。中国数学机械化研究的创始人之一。 50年代在示性类、示嵌类等研究方面取得吴文俊公式、吴文......

吴文俊(1919～ )

中国数学家。中国科学院院士。1919年5月12日生于上海。1940年毕业于上海交通大学。1947年赴法国留学，先后在斯特拉斯堡、巴黎、法国科学研究中心进行数学研究，1949年获博士学位。1951年回国。历任北京大学数学系教授，中国科学院数学研究所研究员、副所长，中国科学院系统科学研究所研究员、副所长、名誉所长，数学机械化研究中心主任，中国数学会理事长、名誉理事长，中国科学院数学物理学部常务委员、主任等职。曾任全国政协常务委员。主要从事拓扑学、机器证明学等方面的研究并取得多项突出成果，是中国数学机械化研究的创始人之一。1952年刊印出版的博士论文《球纤维空间示性类理论》是对纤维空间基本问题的重要贡献。50年代在示性类、示嵌类等研究方面取得一系列突出成果，并有许多重要应用，被国际数学界称为“吴文俊公式”、“吴文俊示性类”，已被编入许多名著。这项成果曾获1956年国家自然科学奖一等奖。60年代继续进行示嵌类方面的研究，独创性地发现了新的拓扑不变量，其中关于多面体的嵌入和浸入方面的成果至今仍居世界领先地位。在庞特雅金示性类方面的成果，是拓扑学纤维丛理论和微分流形的几何学的一项基本理论研究，有深刻的理论意义。近年来创立了定理机器证明的吴文俊原理（国际上称为吴方法），实现了初等几何与微分几何定理的机器证明，达到了世界先进水平。这一重要创新改变了自动推理研究的面貌，在定理机器证明领域产生了巨大影响，并有重要的应用价值，它将引起数学研究方式的变革。这方面的研究成果曾获全国科学大会重大成果奖和中国科学院科技进步奖一等奖。在机器发现和创造定理的研究方面也取得了重要成果。

⑶ 吴文俊的贡献是什么

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

⑷ 中国数学家

筹算女杰王贞仪

女数学家王贞仪(1768－1797 )，字德卿，江宁人，是清代学者王锡琛之女，著有《西洋筹算增删》一卷、《重订策算证讹》一卷、《象数窥余》四卷、《术算简存》五卷、《筹算易知》一卷。

从她遗留下来的著作可以看出，她是一位从事天文和筹算研究的女数学家。算筹，又被称为筹、策、筹策等，有时亦称为算子，是一种棒状的计算工具。一般是竹制或木制的一批同样长短粗细的小棒，也有用金属、玉、骨等质料制成的，不用时放在特制的算袋或算子筒里，使用时在特制的算板、毡或直接在桌上排布。应用“算筹”进行计算的方法叫做“筹算”，算筹传入日本称为“算术”。算筹在中国起源甚早，《老子》中有一句“善数者不用筹策”的记述，现在所见的最早记载是《孙子算经》，至明朝筹算渐渐为珠算所取代。

17世纪初叶，英国数学家纳皮尔发明了一种算筹计算法，明末介绍到我国，也称为“筹算”。清代著名数学家梅文鼎、戴震等人曾加以研究。戴震称其为“策算”。王贞仪也从事研究由西洋传入我国的这种筹算，并且写了三卷书向国人介绍西洋筹算。她在著作中对西洋筹算进行增补讲解，使之简易明了。王贞仪介绍的纳皮尔算筹乘除法，当时的读者认为容易了解，但与当时我国的乘除法筹算的方法相比，显得较繁杂，因此，数学家们没有使用西洋筹算，一直使用中国筹算法。今天的读者把中外筹算乘除法视为老古董，采用的是由外国传入的笔算四则运算，这种笔算于1903年才开始被使用，故我国与世界接轨使用笔算的历史只有100年。

数学会女前辈高扬芝

高扬芝(1906－1978 )，江西南昌人，从小学习勤奋，特别喜欢数学。

高中毕业后考入北京大学数学系，由于学习成绩优秀，1930年大学毕业后应聘到上海大同大学担任数学教员，后成为教授、数学系主任。在课堂教学中，她遵循《学记》中所说的：“善歌者使人继其声，善教者使人继其志。”所以，高扬芝的数学教学一贯是兢兢业业、讲求实效，深受学生欢迎。

高扬芝长期从事数学分析(旧时叫高等微积分)、高等代数和复变函数等课程的教学与研究。她深知，高等数学比初等数学更加抽象，外行人常常把它看成是由冷酷的定义、定理、法则统治着的王国。因此，高教授常常告诉学生，数学结构严谨，证明简洁，蕴含着数学的美。它像一座迷宫，只要你潜心学习、研究，就能寻求到走出迷宫的正确道路。一旦顺利走出迷宫，成功的愉悦会使你兴奋不已，你会向新的、更复杂的迷宫挑战，这就是数学的魅力。

她在上海大同大学工作不到五年的时间里，自身潜在的科研天赋很快被唤醒催发。经过刻苦钻研教材，结合教学实践，她撰写出论文《Clebsch氏级数改正》，1935年在交通大学主编的《科学通讯》上连载，得到同行好评。解放后，她又著有《极限浅说》《行列式》等科普读物多部。

高扬芝是中国数学会创始时的少数女性前辈之一。1935年7月25日中国数学会在上海交通大学图书馆举行成立大会，共有33人出席，高扬芝就是其中的一位。在这次年会上，她被推选为中国数学会评议会评议，后连任第二、三届评议会评议。1951年8月，中国数学会在北京大学召开了规模空前的第一次全国代表大会，高扬芝出席了大会。她是这次到会代表63人中惟一的女代表。20世纪60年代，她被选为江苏省数学会副理事长。

第一位数学女博士徐瑞云

徐瑞云，1915年6月15日生于上海，1927年2月考入上海著名的公立务本女中读书。徐瑞云从小喜欢数学，读中学时对数学的兴趣更加浓厚，因此，1932年9月高中毕业后报考了浙江大学数学系。当时，浙大数学系的教授有朱叔麟、钱宝琮、陈建功和苏步青。此外，还有几位讲师、助教。数学系的课程主要由陈建功和苏步青担任。当时数学系的学生很少，前一届两个班学生共五人，她这届也不过十几人。

当时苏步青才30岁，看上去十分年轻，因此徐瑞云的同学中有人认为苏步青是助教，可是听完一堂课后就不住地赞叹说：“想不到助教竟能讲得这么好。”这件事引起知情者的哄笑。徐瑞云在陈建功和苏步青的教导下，勤奋学习，专心听讲，认真做笔记，她的考试成绩经常是满分。1936年7月，徐瑞云以优异成绩毕业了，被浙大数学系留校任助教。1937年2月，26岁的徐瑞云与28岁的生物系助教江希明喜结伉俪。新婚三个月后，徐瑞云夫妇获得亨伯特留学德国的奖学金，双双乘船漂洋赴德国留学，攻读博士学位。

徐瑞云有幸被德国著名的数学大师卡拉凯屋独利接受，由他担任她的数学博士指导老师。当时有不少学生想请他作导师，他都没有同意。而徐瑞云这位东方女士因学习勤奋，数学功底扎实，成了卡拉凯屋独利的关门弟子。徐瑞云主要研究三角级数论。这门学科起源于物理学的热传导问题的傅里叶分析的主要部分，是当时国际上研究的热门之一，在中国还是一个空白。

徐瑞云为将来能在分析、函数论方面赶上世界先进水平，废寝忘食，广撷博采，把大部分时间都用在图书馆里。1940年底，徐瑞云获得博士学位，成了中国历史上第一位女数学博士。她的博士论文“关于勒贝格分解中奇异函数的傅里叶展开”，1941年发表在德国《数学时报》上。

完成学业的徐瑞云夫妇，随即离德回国，于1941年4月回到母校，双双被聘为副教授，正式登上在战火硝烟的大后方培养人才的讲台。在艰苦的条件下，陈建功和苏步青没有中断在杭州时共创的函数论和微分几何两个数学讨论班，这是一种教学相长、遴选英彦的科研形式，徐瑞云也参与其间。1944年11月，英国驻华科学考察团团长李约瑟参观了浙大数学系和理学院，连声称赞道：“你们这里是东方的剑桥！”这更加激励了徐瑞云的勤奋工作。她这时教的学生曹锡华、叶彦谦、金福临、赵民义、孙以丰、杨宗道等，后来都成了杰出的数学家和数学教育家。1946年，31岁的徐瑞云提升为正教授。

1952年，徐瑞云调入浙江师院，被任命为数学系主任，从此全身投入了艰苦的创建数学系的工作中。在她的领导下，没有几年功夫，数学系已初具规模，教学质量不断提高。第一届本科毕业生约有三分之一考取了研究生。他们系也成为全国同行的楷模，进入全国同行前列。徐瑞云在建设数学系的同时，没有忘记科学研究。她翻译了苏联那汤松的名著《实变函数论》。译本于1955年由高等教育出版社出版。

第一位女数学院士胡和生

胡和生于1928年出生在南京市一个艺术世家，祖父和父亲都是画家。她从小耳濡目染，聪明好学，画感、乐感很强，祖父和父亲特别喜欢她。读小学和中学时，她不偏科，文理兼优，这些对她后来从事数学事业帮助很大。

胡和生虽然爱好广泛，但她的理想不是成为一位画家，而是考上大学继续深造。抗战胜利以后，胡和生考进大学数学系，1950年毕业，又报考了浙江大学著名数学家、中国微分几何创始人苏步青教授的硕士研究生。1952年院系调整，苏教授与她转入了上海复旦大学。复旦是以苏步青为首的我国微分几何学派的策源地，人才济济，加之老一辈数学家的鼓励指导，同行的互勉竞争，托着这颗新星冉冉升起。

胡和生长期从事微分几何研究，在微分几何领域里取得了系统、深入、富有创造性的成就。例如，对超曲面的变形理论，常曲率空间的特征问题，她发展和改进了法国微分几何大师嘉当等人的工作。19 60－1965年，她研究有关齐次黎曼空间运动群方面的问题，给出了确定黎曼空间运动空隙性的一般有效方法，解决了六十年前意大利数学家福比尼所提出的问题。她把这个结果，整理在与自己的丈夫谷超豪合著的《齐性空间微分几何》一书中，受到同行称赞。她早期在我国最高学术刊物之一《数学学报》上发表了《共轭的仿射联络的扩充》(1953年)、《论射影平坦空间的一个特征》(1958年)、《关于黎曼空间的运动群与迷向群》(1964年)等重要论文。至今，她发表了七十多篇(部)论文、论著。她在射影微分几何、黎曼空间完全运动群、规范场等研究方面都有很好的建树，成为国际上有相当影响和知名度的女数学家。她的一些成果处于国际领先或国际先进水平。例如，在调和映照的研究中，她撰写的专著《孤立子理论与应用》，发展了“孤立子理论与几何理论”的成果，处于世界领先地位。

1982年，胡和生与合作者获国家自然科学三等奖；1984年起担任《数学学报》副主编，并担任中国数学会副理事长；1989年被聘为我国数学界的“陈省身数学奖”的评委；1992年当选为中国科学院数学物理学部委员(1994年改称院士)，至今选出来的数学家院士，只有胡和生一人是女性。

华裔算杰张圣蓉

张圣蓉1948年生于陕西省西安市，出生不久便随父母到台湾居住。她从小聪慧，喜爱读书，对数学情有独钟。张圣蓉中学毕业后考入著名的台湾大学数学系，1970年获学士学位。她不满足于此，又以优异成绩考入美国加利福尼亚大学，攻读数学博士学位。

“函数”是数学中最基本、最重要的概念。一位著名数学家说过“函数概念是近现代数学思想之花”。它的产生、发展实质上反映了近现代数学迅速发展的历程，同时也与函数论、解析数学的发展相辅相成。张圣蓉选择了现代数学的重要前沿分支之一“函数论”作为攻读对象。她的导师是一位著名的函数论世界大师，她要同函数论专家一道去摘取函数论皇冠上的明珠。

1974年，张圣蓉获伯克利加利福尼亚大学博士学位，从此在美国从事函数论的研究工作。她对函数论中复平面上的解析函数、多复变函数以及有界函数的解析函数的逼近等高深领域都有涉猎，1976年，28岁的张圣蓉通过对道格拉斯函数的研究撰写了世人没有发现的这类函数特征的论文，这为第二年著名数学家马歇尔解决著名的道格拉斯猜测铺平了道路。张圣蓉一鸣惊人，1977年又撰写出另一篇令函数论专家惊叹的论文，证明了马歇尔攻克道格拉斯猜测中的一个未发现的难题。在清一色的男数学家主导的函数论领域，她确立了自己的地位。

摘自《女数学家传奇》 徐品方编著 科学出版社2005年1月版 39.50元
回答者：孤单的帆船 - 见习魔法师 二级 1-5 21:37

长知识了
回答者：benjaminlr - 江湖新秀 五级 1-9 10:02

在中国，数学的起源也可追溯到远古。到西周时期（公元前11世纪～前八世纪），“数”作为贵族弟子必习的“六艺”（礼、乐、射、御、书、数）之一，已形成专门的学问，有些知识后成为中国最早的两部传世数学著作——《周捭算经》与《九章算术》的部分内容。

《周捭算经》同时也是一部天文著述，作者不详，成书年代据考当不晚于公元前2世纪。《周捭算经》在数学方面最主要的有勾股定理、分数运算及测量术等。

《周捭算经》本文没有给出勾股定理的证明，但《周捭算经》赵爽注中的“勾股圆方图”说，却蕴涵了迄今所知中国古代最早的勾股定理证明。赵爽，字君卿，生平不详，大约生活于后汉三国时期（公元三世纪前期）。“勾股圆方图”说短短五百余字，概括了整个汉代勾股算术的主要成就。

《九章算术》是中国古代最重要的数学经典，对中国古代数学的发展有深远影响。刘徽《九章算术注序》称《九章》是由周代“九数”发展而来，并由西汉张苍、耿寿昌等人删补。近年发现的湖北张家山汉初古墓竹简《算数书》（1984年出土），有些内容与《九章算术》类似。可以认为，《九章算术》是从先秦开始在长时期里经众多学者编纂、修改，约于西汉中叶（公元前一世纪）最后成书。

《九章算术》采用术文统率例题形式，全书共收246个数学问题，分成九章（①方田，②粟米，③衰分，④少广，⑤商功，⑥均输，⑦盈不足，⑧方程， ⑨勾股）。《九章算术》所包含的数学成就是丰富的和多方面的，最著名的如分数运算法则、双设法（“盈不足”术）、开方法、线性方程组消元解法（“方程术”）及负数的引进（“正负术”）等，都具有世界意义。

《孙子算经》中国是世界上最早采用十进位值制记数的国家，春秋战国之际已普遍应用的筹算，即严格遵循了十进位值制。关于算筹记数法现在仅见的资料载于《孙子算经》。《孙子算经》三卷，作者名不详，成书年代约为公元4世纪，该书上卷是关于筹算法则的系统介绍，下卷则有著名的“物不知数”题，亦称“孙子问题”。

《张丘建算经》——百鸡术

《张丘建算经》三卷，据钱宝琮考，约成书于公元466～485年间.张丘建,北魏时清河(今山东临清一带)人,生平不详。最小公倍数的应用、等差数列各元素互求以及“百鸡术”等是其主要成就。“百鸡术”是世界著名的不定方程问题。13世纪意大利斐波那契《算经》、15世纪阿拉伯阿尔·卡西< <算术之钥》等著作中均出现有相同的问题。

贾宪：〈〈黄帝九章算经细草〉〉

中国古典数学家在宋元时期达到了高峰，这一发展的序幕是“贾宪三角”（二项展开系数表）的发现及与之密切相关的高次开方法（“增乘开方法”）的创立。贾宪，北宋人，约于1050年左右完成〈〈黄帝九章算经细草〉〉，原书佚失，但其主要内容被杨辉（约13世纪中）著作所抄录，因能传世。杨辉〈〈详解九章算法〉〉（1261）载有“开方作法本源”图，注明“贾宪用此术”。这就是著名的“贾宪三角”，或称“杨辉三角”。〈〈详解九章算法〉〉同时录有贾宪进行高次幂开方的“增乘开方法”。

贾宪三角在西方文献中称“帕斯卡三角”，1654年为法国数学家 B·帕斯卡重新发现。

秦九韶：〈〈数书九章〉〉

秦九韶（约1202～1261），字道吉，四川安岳人，先后在湖北、安徽、江苏、浙江等地做官，1261年左右被贬至梅州（今广东梅县），不久死于任所。秦九韶与李冶、杨辉、朱世杰并称宋元数学四大家。他早年在杭州“访习于太史，又尝从隐君子受数学”，1247年写成著名的〈〈数书九章〉〉。〈〈数书九章〉〉全书共18卷，81题，分九大类（大衍、天时、田域、测望、赋役、钱谷、营建、军旅、市易）。其最重要的数学成就——“大衍总数术”（一次同余组解法）与“正负开方术”（高次方程数值解法），使这部宋代算经在中世纪世界数学史上占有突出的地位。

李冶：《测圆海镜》——开元术

随着高次方程数值求解技术的发展，列方程的方法也相应产生，这就是所谓“开元术”。在传世的宋元数学著作中，首先系统阐述开元术的是李冶的《测圆海镜》。

李冶（1192～1279）原名李治，号敬斋，金代真定栾城人，曾任钧州（今河南禹县）知事，1232年钧州被蒙古军所破，遂隐居治学，被元世祖忽必烈聘为翰林学士，仅一年，便辞官回家。1248年撰成《测圆海镜》，其主要目的就是说明用开元术列方程的方法。“开元术”与现代代数中的列方程法相类似，“立天元一为某某”，相当于“设x为某某”，可以说是符号代数的尝试。李冶还有另一部数学著作《益古演段》（1259），也是讲解开元术的。

朱世杰：《四元玉鉴》

朱世杰（1300前后），字汉卿，号松庭，寓居燕山（今北京附近），“以数学名家周游湖海二十余年”，“踵门而学者云集”。朱世杰数学代表作有《算学启蒙》（1299）和《四元玉鉴》（1303）。《算学启蒙》是一部通俗数学名著，曾流传海外，影响了朝鲜、日本数学的发展。《四元玉鉴》则是中国宋元数学高峰的又一个标志，其中最杰出的数学创作有“四元术”（多元高次方程列式与消元解法）、“垛积法”（高阶等差数列求和）与“招差术”（高次内插法）

华罗庚

“数学，如音乐一样，以奇才辈出而著称，这些人即便没有受过正规的教育也才华横溢。虽然华罗庚谦虚地避免使用奇才这个词，但它却恰当地描述了这位杰出的中国数学家。” --G·B·Kolata

华罗庚是一个传奇式的人物，是一个自学成才的数学家。

他1910年11月12日出生于江苏省金坛县一个城市贫民的家庭，1985年6月12日，中国数学届陨灭一颗巨星-华罗庚在日本讲学时不幸因心肌梗塞逝世了。

华罗庚是蜚声中外的数学家。他是中国解析数论、典型群、矩阵几何学、自守与多复便函数等多方面研究的创始人与开拓者。他的著名学术论文《典型域上的多元复变函数论》，由于应用了前人没有用过的方法，在数学领域内做了开拓性的工作，于1957年荣获我国科学一等奖。他研究的成果被国际数学界命名为 “华氏定理”，“布劳威尔-加当-华定理”。华罗庚一生精勤不倦，奋斗不息，著作很多，研究领域很广。他共发表学术论文约二百篇，专著有《堆垒素数论》、《高等数学引论》、《指数和的估计及其在数论中的应用》、《典型群》、《多复变数函数论中的典型域的分析》、《数论引导》、《数值积分及其应用》、《从单位圆谈起》、《优选法》、《二阶两个自变数两个未知函数的常系数偏微分方程》、《华罗庚论文选集》等12部。

名师与高徒——陈省生和丘成桐

当今世界数坛,设有两项奖励,可谓举世瞩目,堪于诺贝尔奖相比.一项是在国际数学家大会颁发的菲尔兹(Fields)奖,这项奖只授予不超过40 岁的年轻数学家;一项是由以色列沃尔夫基金会于1978年颁发的沃尔夫奖;每奖10万美元(数目最初于诺贝尔奖接近),授予当代最大的数学家.

1983年,旅美中国年轻数学家丘成桐教授荣获沃尔夫大奖,而他的老师美籍中国数学家陈省身教授则获沃尔夫大奖.

陈省身教授是美国科学院院士,1975年美国国家科学奖获得者,当代世界最有影响的数学家之一,现代微分几何的奠基人.

陈省身1911年10月26日出生于浙江省嘉兴县,陈省身教授是国际数学届整体微分几何研究的领导人物.

他1931年在清华大学研究发表的第一篇研究论文,其题材就是有关"投影微分几何"的.

他写的积分几何,把希拉克学派的积分几何工作推到了更高的阶段.

陈省身对当时数学界知之甚少的示性类理论很感兴趣.1945年他发现复流上有反映复结构特征的不变量,后来被命名为陈省身示性类是微分几何学、代数几何学、复解析几何学中最重要的不变量。“它的应用及于整个数学及理论物理”。（沃尔夫奖评语）魏伊说：“示性类的概念被陈的工作整个地改观了。”陈省身因建立代数拓补与微分几何的联系，推进了整体几何的发展彪炳于数学史册。

在将近半个世纪里，陈省身教授在微分几何研究中，取得了一系列丰硕的成果，其最突出的有：（1）关于卡勒（Kahleian）G结构的同调和形式的分解定理：（2）欧几里得空间中闭子流的全曲率和紧嵌入的理论；（3）满足几何条件的子流形成唯一性定理；（4）积分几何中的运动公式。（5）他同格里菲恩(P.Griffiths)关于网上几何(Web geometry)的工作使这方面获得新生命,最近的发展(I.Gelfand,R.Mcpherson)；（6）他同莫泽(J.Moser)关于CR- 流形的工作最近多复变函数论进展的基础;(7)他同西蒙斯(J.Simons)的特征式是量子力学异常(anomaly)现象的基本数学工具;(8)他同沃尔夫森(J.Wolfson)关于调和映射的工作是整体微分几何的一个问题,在理论物理有重要应用.1959年他在芝加哥大学所撰写的《微分几何》是一部经典名著。

丘成桐1949年4月4日出生在广东省，不久他们全家移居香港，1976年，年仅27岁的丘成桐就解决了微分几何中的一个著名难题-“卡拉比猜想”。卡拉比猜想的解决，使丘成桐成为数学天空新升起的一颗名星，他除解决了卡拉比猜想外，他还解决了许多停多年毫无进展的问题，例如：（1）正质猜想，（2）实与复的蒙日-安培方程。（3）丘成桐的一系列文章对某些紧流形（或有边界的流型）上的拉普拉斯算子的第一特征值，以及其它的特征值都作了深刻的估计。（4）丘成桐和肖荫堂合作，利用极小曲面对弗兰克尔猜想给出一个漂亮的证明，也就是证明了完备的单连通的、具有正的全纯截面曲率的恺勒流形与一个复射空间双全纯等价；（5）丘成桐和米斯克利用三维流形的拓补方法解决极小曲面的经典理论中一些老问题。反过来，他们利用极小曲面理论得出三维拓补学的一些结果：得恩引理和等变环圈定理及等球定理等。

由于丘成桐的出色成就，他1981年获美国数学颁发的维布伦奖，1983年，他在华沙举行的国际数学家大会上荣获菲尔兹奖是当之无愧的.

吴文俊

数学家。1919年5月12日生于上海市。1940年毕业于上海交通大学。1947年赴法国留学。在巴黎法国国家科学研究中心进行数学研究， 1949年获法国国家科学博士学位。1951年回国。1957年被聘选为中国科学院院士（学部委员）。历任北京大学数学系教授，中国科学院数学研究所研究员及副所长，中国科学院系统科学研究所研究员及副所长、名誉所长、数学机械化研究中心主任。曾任中国数学会理事长、名誉理事长，中国科学院数学物理学部副主任、主任等职。吴文俊主要从事拓扑学、机器证明学等方面的研究并取得多项突出成果，是中国数学机械化研究的创始人，为中国数学研究和科学事业的发展作出了重要贡献。 1952年刊印出版的博士论文《球纤维示性类》是对球纤维理论基本问题的重要贡献。从40年代起示性类、示嵌类等研究方面取得一系列突出成果，并有许多重要应用，被国际数学界称为“吴文俊公式”、“吴文俊示性类”，已被编入许多名著。这方面成果曾获1956年度国家自然科学奖（中国科学院自然科学奖金）一等奖。60年代继续进行示嵌类方面的研究，独创性地发现了新的拓扑不变量，其中关于多面体的嵌入和浸入方面的成果至今仍居世界领先地位。在庞特雅金示性类方面的成果，是拓扑学纤维丛理论和微分流形的几何学的一项基本理论研究，有深刻的理论意义。近年来创立了定理机器证明的吴文俊原理（国际上称为“吴方法”），实现了初等几何与微分几何定理的机器证明，居于世界领先地位。这一重要创新改变了自动推理研究的面貌，在定理机器证明领域产生了巨大影响，并有重要的应用价值，它将引起数学研究方式的变革。这方面的研究成果曾获1978年全国数学大会重大成果奖和1980年中国科学院科技进步奖一等奖。在机器发现和创造定理的研究方面，以及代数几何、中国数学史、对策论等研究中也作出了重要贡献。

杨乐

数学家。1939年11月10日生于江苏南通。1956年考入北京大学数学系，1962年毕业，同年考取中国科学院数学研究所研究生，1966年研究生毕业后留所工作。曾任中国科学院数学研究所所长、中国数学会秘书长、理事长。现任中国科学院数学研究所研究员、学术委员会主任。1980年当选为中国科学院院士（学部委员）。杨乐在函数模分布论、辐角分布论、正规族等领域，以其众多极富创造性的重要贡献，20年来一直站在世界最前列，是国际上的领头数学家之一。一、对整函数、亚纯函数的亏值、亏量函数进行了深入研究与张广厚合作在亚纯函数的亏值数目与Borel方向数目间首次建立了密切联系；在引进亏函数后，给出有穷下级亚纯函数总亏量的估计，从而证明了其亏函数是可数的；给出亚纯函数结合于导数的总亏量的估计，彻底解决了著名学者D.Drasin70年代提出的3个问题。二、对正规族作了系统研究，获得了一些新的重要的正规定则杨乐建立了正规族与不动点之间的联系正规族与微分多项式之间的联系，解决了著名学者W.K.Hayman提出的一个正规族问题等。三、对整函数和亚纯函数的辐角分布进行了系统、深入的研究杨乐研究在亚纯函数涉及的导数的辐角分布时，获得了一种新型的奇异方向；对辐角分布与重值间的关系得到了深入的结果；完全刻划了亚纯函数Borel方向的分布规律；与Hayman合作解决了Littlewood的一个猜想。杨乐的上述各项重要研究成果受到国内外同行的高度评价与许多引用，他所得到的亏量关系，被国外学者称为“杨乐亏量关系‘等。

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

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

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

(5)吴文俊的成果有军事扩展阅读

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

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

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

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

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

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

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

⑺ 中国近代的科技成就有哪些

1、詹天佑和京张铁路：京张铁路是中国人自行设计和施工的第一条铁路干线，是在近代中国科技十分落后，外国人讽刺中国铁路工程师还未出世情况下建成的。

2、冯如研制飞机：冯如是中国第一位飞机设计师、制造家和飞行家，冯如研制的这架飞机的飞行高度、时速和航程均创当时世界纪录。

3、兵器制造家龚振麟：龚振麟鸦片战争爆发后，他眼见大好山河被英国侵略者践踏，刻苦钻研科技、改良兵器，自觉投身于反侵略战争中。他亲身奔赴甬东战场，仔细观察英军火轮，制成用人力驱动的叶轮击水“车轮船”和“车轮战船”。林则徐“戴罪立功”于浙江期间，他被调到炮局工作，造出了“枢机新式炮架”，使大炮能够四面转动，灵活射击。

4、李善兰与《方圆阐幽》：方圆阐幽》是清代的数学著作。其内容是关于幂级数展开式方面的研究。李善兰创造了一种“尖锥术”，并把“尖锥术”用于对数函数的幂级数展开；用求诸尖锥之和的方法来解决各种数学问题。虽然他在创造“尖锥术”的时候还没有接触微积分，但他已经实际上得出了有关定积分公式。英人伟烈亚力认为李善兰所著书中，“其理有甚近微分者”。李善兰的这一成就表明，即使没有西方传入微积分，中国数学也会通过自己特殊的途径，运用独特的思想方式达到微积分，基本上完成了由初等数学到高等数学的转变。

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

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

⑼ 吴文俊数学家是怎样而成的

吴文俊
(Wentsun
WU)，男，祖籍浙江嘉兴，1919年5月12日出生于中国上海，数学家。吴文俊的研究工作涉及到数学的诸多领域其主要成就表现在拓扑学和数学机械化两个领域。他为拓扑学做了奠基性的工作。他的示性类和示嵌类研究被国际数学界称为“吴公式”、“吴示性类”、“吴示嵌类”至今仍被国际同行广泛引用。吴文俊毕业于交通大学，1949年获得法国斯特拉斯堡大学博士学位。70年代后期，在计算机技术大发展的背景下，他继承和发展了中国古代数学的传统(即算法化思想)，转而研究几何定理的机器证明，彻底改变了这个领域的面貌，是国际自动推理界先驱性的工作，被称为吴特征列方法，产生了巨大影响。吴的研究取得了一系列国际领先成果并已应用于国际上当前流行的符号计算软件方面。吴文俊现在是中国科学院系统科学研究所名誉所长，他获得多项国内外奖，1997年获自动推理领域最高奖Herbrand
Award，2006年获邵逸夫奖数学科学奖。
望采纳
谢谢您。祝生活愉快。

⑽ 什么是创新无止境的吴文俊

吴文俊是我国著名数学家。1957年年仅38岁的吴文俊被选为中国科学院学部委员(院士)。在国际数学界，科学家们常常引用他的成果，称作“吴公式”。上个世纪70年代后期，已经60高龄的吴文俊，又将数学研究与计算机技术结合起来，从事几何定理的机器证明，开创了数学机械化的先河，成为国际自动推理界的先驱，他的研究成果又被国际同行称为“吴方法”。即使到了耄耋之年，吴文俊仍成果迭出。他成功的奥秘是什么呢？“创新就是follow me(跟我学)，而不是跟在别人后边。”

一天，一位客人来拜访他，见面就说：“听您夫人讲，今天是您的60大寿，特来祝贺！”“噢，是吗？”吴教授听了，若无其事地说。客人感到迷惑不解，心想：“这位数学家恐怕是老糊涂了，记忆力衰退，不然怎么连自己的生日都忘了呢？”可是，后来客人发现并非如此，当他俩谈到吴教授所研究的用机器证明几何问题时，客人指着教授所设计的一台机器问道：“这台机器是什么时候安装好的？”

“去年12月6日。”教授不假思索地回答。

“您在研究用机器证明几何问题方面有哪些进展？”客人又问。

“大的进展谈不上。今年1月11日以前，我为计算机编了300多道‘命令’的程序，完成了第一步准备工作。”教授继续回答。

这时，客人十分惊讶地问道：“吴教授，您自己的生日都记不住，这几个日子却记得这么清楚，这是什么原因？”

吴文俊教授爽朗地笑了：“我从来不记那些无意义的数字。在我看来，生日，早一天，晚一天，有什么要紧？所以，我的生日，爱人的生日，孩子们的生日，我都记不得，但有些数字就非记不可，也很容易记。例如，年底，当然是12月；而6正好是12的一半。年初，自然是1月，而1月11日，排成阿拉伯数字是111，三个1连排，很好记。”

为了献身数学，他将自己的生活简单了再简单，惟一可算作爱好的就是看别人下棋，可他很少与人对弈，因为怕上瘾，花去太多的时间。他说最大的爱好就是睡觉，可是躺在床上，思考最多的还是他喜爱的数学！

“搞数学当然是很艰苦的，”吴老收起笑容，“要说我为什么永不放弃，主要还是因为爱数学，为了给中国的数学在世界上争口气！”