我校“第三届吴文俊近现代数学思想讲座(下)”圆满结束
吴文俊：数字之舞
吴文俊：数字之舞作者：王静来源：《科技视界》 2011年第21期吴文俊，1919年5月12日生于上海，数学家。
曾任中国科学院数学与系统科学研究院系统科学研究所研究员、名誉所长，中国数学会理事长、名誉理事长。
1957年增聘为中国科学院学部委员（院士）。
20世纪50年代在示性类、示嵌类等研究方面取得一系列突出成果，并有许多重要应用。
70年代创立了定理机器证明的“吴方法”，影响巨大。
中国数学机械化研究的创始人之一。
2000年度国家最高科学技术奖获得者。
吴文俊是中国当代数学的标志。
他不仅代表着中国人的数学能力和水平，也意味着当代中国数学行走在世界数学科学的前沿高地。
他赢得了整个数学界的喝彩，在国内外多次获奖。
1956年，他成为首届国家自然科学奖一等奖的获得者；1993年，成为陈嘉庚数理科学奖获得者；1994年，成为首届求是科技基金会杰出科学家奖获得者；2000年，又成为首届国家最高科学技术奖获得者。
在国际上，他捧回了1997年自动推理领域的最高奖项——Herbrand奖，2006年摘取了邵逸夫国际数学大奖。
家学渊源走近吴文俊，人们会发现，他与中国科学院老一代其他科学家没有多大区别。
在北京中关村中科院黄庄小区，他有一套老式的小四居室。
吴文俊在这里已住了近40年。
进入他的居所，古色古香的气息迎面而来。
客厅、两间小书房及卧室均摆满了书。
吴文俊喜爱读书，这来源于父亲的熏陶。
童年时代，吴文俊家藏书丰富。
父亲吴福同在亲属支持下接受过西方教育，曾就读于南洋公学，有良好的英文基础。
吴文俊4岁就被送到附近的小学上学。
由于弟弟的夭折，家人对他的看护十分仔细，很少让他独自在外停留。
因此，大多时间他只能待在家里。
父亲的藏书对他很有吸引力，因而养成了爱买书、爱读书的习惯，但不谙人情世故，不善与人交往。
即便上了大学，在同学家“盘桓终日，除了下棋、看棋和吃饭，一言不发”，惹得同学批评他“任性固执”。
1932年，他进入初中。
这一年，上海先后发生了“一·二八”事变和“八一三”淞沪抗战。
了解吴文俊数学机械化思想
有限元方法及工程应用第一次作业2. 了解吴文俊数学机械化思想中国传统数学强调构造性和算法化，注意解决科学实验和生产实践中提出的各类问题，往往把所得到的结论以各种原理的形式予以表述。
吴文俊把中国传统数学的思想概括为机械化思想，指出它是贯穿于中国古代数学的精髓。
吴列举大量事实说明，中国传统数学的机械化思想为近代数学的建立和发展做出了不可磨灭的贡献。
数学问题的机械化，就是要求在运算或证明过程中，每前进一步之后，都有一个确定的、必须选择的下一步，这样沿着一条有规律的、刻板的道路，一直达到结论。
即所谓的机械化就是刻板化和规格化。
这一导源于中国古代传统数学，由于计算机的出现而呈现旺盛生命力的数学机械化思想在数学研究上已经发挥出它的巨大威力，并且对当今数学及数学教学产生了巨大的影响。
当代著名数学家吴文俊先生指出：“所谓机械化，无非是刻板化和规格化。
机械化的动作，由于简单刻板、因而可以让机器来实现。
”数学机械化，正象用机器代替体力劳动一样，是用机器代替脑力劳动，特别是电子计算机的出现和发展，可用计算机代替部分脑力劳动，因此，数学机械化就是数学研究工作的计算机化。
不论是机器代替体力劳动，还是计算机代替部分脑力劳动.他们之所以成为可能，关键就在于所需代替的劳动已经“机械化”，或者说已经实现了刻板化或规格化。
20世纪70年代，吴文俊曾在计算机工厂劳动，切身体会到计算机的巨大威力，敏锐地觉察到计算机的极大发展潜力。
他认为，计算机作为新的工具必将大范围地介入到数学研究中来，使数学家的聪明才智得到尽情发挥。
由此得出结论，中国传统数学的机械化思想与现代计算机科学是相通的。
计算机的飞速发展必将使中国传统数学的机械化思想得以发扬光大，机械化数学的发展必将为中国数学的发展做出巨大贡献。
已故程民德院士认为：“吴文俊倡导数学机械化，是从数学科学发展的战略高度提出的一种构想。
数学机械化的实现，将对中国数学的振兴乃至复兴做出巨大贡献。
”吴文俊身体力行，在数学机械化的征途上奋勇攀登。
从吴文俊和吴方法谈起-数学机械化的观点
（十六）从吴文俊和吴方法谈起－数学机械化的观点本次课主要讲解在数学发展中起着重要作用的机械化思想，并对解代数方程组的机械化方法—吴方法的原理和应用作了介绍，希望学生能通过这次课初步了解数学机械化思想。
一、 吴文俊院士介绍吴文俊，数学家。
中国科学院数学与系统科学研究院研究员，系统科学研究所名誉所长，中国科学院院士，第三世界科学院院士；曾任中国数学会理事长(1984-1987)，中国科学院数理学部主任(1992-1994)，全国政协委员、常委(1979--1998)。
1919年出生于上海。
1940年上海交通大学毕业后任中学教员，直至抗战胜利。
1946年被陈省身先生吸收到中央研究院数学所，从事拓扑学研究。
1947年赴法留学，师从著名数学家埃里斯曼与嘉当，继续从事拓扑学研究，1949年获法国国家博士学位。
1951年回国，在北京大学任教授。
1952年任中国科学院数学所研究员1980年任中国科学院系统所研究员。
吴文俊对数学的主要领域－－拓扑学做出了奠基性的贡献。
70年代后期开创了崭新的数学机械化领域。
此外，在中国数学史、代数几何学、对策论等领域也有独创性成果。
这些成果不仅对数学研究影响深远，还在许多高科技领域得到应用。
他的卓越贡献，得到科技界的高度评价。
1956年，获得首届国家自然科学奖一等奖；1993年获陈嘉庚数理科学奖；1994年获首届求是科技基金会杰出科学家奖；1997年获自动推理的最高奖Herbrand奖；2001年获得首届国家最高科技奖；2006年获邵逸夫数学奖。
邵逸夫数学科学奖是一项国际性大奖，它的评委是来自国际数学界的知名权威。
吴文俊说：这次邵逸夫奖的评委都是国际上有影响的大家，他们宣布我获得邵逸夫奖，是因为我的数学机械化问题的研究，这实际上是国际数学界对数学机械化研究的承认与肯定，它比奖金重要得多。
中央电视台《大家》栏目：《吴文俊·我的不等式》片断［解说］：吴文俊在37岁时，在“现代数学女王”拓扑学方面取得重大成就，享誉国际。
感悟大师吴文俊
感悟大师吴文俊——读《教师博览》文摘版2017年10 《古为今用的“算法”大师》邬晓荣他不像公众明星，为广大民众熟知；他不像政治伟人，谱写时代凯歌；但他在科技支柱的数学领域，更比明星璀璨，堪比伟人变革时代。
作为现代数学支柱之一的拓扑学，他的吴公式是现代示性类理论的基石；他开创了数学机械化的全新领域，为世界数学的发展注入中国思想……这些显著影响的背后，都藏着他的名字——吴文俊，一个普通却伟大的中国人。
他自信，胸怀广阔。
“将来的数学，应该走中国古代数学的道路，而不是现今的国际道路”、“如果沈括的实践精神能早些为人所认识并继承的话，中国早就成了科技大国了。
”大师的高瞻远瞩与民族自信可见一斑!是什么成就了大师如此斐然的成绩？这值得国人深思借鉴！大师读初中时国文好，喜欢阅读，可见外在的民族文化和书本思想精华对其有积极影响。
尤其70年代，对中国数学史的研究与启发，为开创中国传统数学特点的数学机械化之路奠定了基础。
从这里，透射出祖国传统思想的万丈光芒！子孙应为之自豪，肃然敬之。
当然，千里马常有，而伯乐不常有。
大师成长路上的引路人，为大师的养成铺平了大路。
高中时赵贻经老师发现其卓越数学才能，力主他选择数学系，施展他优势才华；后来1940年大学毕业后，国际数学大师陈省身将其引上了拓扑学正途，之后又推荐去法国边陲小镇（远离喧嚣的城市）深造，为大师指引了正确的研究方向。
此外，如果没有当年那100银元的奖学金，一个时代的大师可能就与我们失之交臂了。
显然，社会的资助助推了大师成长。
诚然，外部环境再好，没有健康的体魄和强大的心理素质，坚毅的工作将难以维系。
那些内在的素质，更是大师成长并取得斐然成绩的决定性因素。
勤奋，极强的毅力和耐挫力，健康的兴趣，乐观严谨的心态……是大师心理的闪耀之处。
没有这些特质，就一定没有我们中国的吴大师。
是勤奋、毅力及耐挫力，让大师在清华大学数学研究所得以连续公关：证明，检查，修正，再证明，再检查，再修正……如此反复多次，最终获得成功。
吴文俊的贡献及其对数学发展的推动——深切悼念吴文俊院士
吴文俊的贡献及其对数学发展的推动——深切悼念吴文俊院士陆广地【摘要】吴文俊是世界级数学家,其两大主要贡献是拓扑学和数学机械化.他对数学发展的推动主要体现在:重视数学对于国家的重要性,大胆开拓数学研究新方向,重视数学人才的培养,重视古代数学史的研究视野.【期刊名称】《广西民族大学学报（自然科学版）》【年(卷),期】2017(023)002【总页数】4页(P20-23)【关键词】中国数学家;吴文俊;数学发展【作者】陆广地【作者单位】江苏联合职业技术学院宿迁经贸分院,江苏沭阳 223600【正文语种】中文【中图分类】K826.1惊闻中国数学泰斗吴文俊先生于2017年5月7日去世，不胜哀痛.回想自己与吴先生的一段交往,真是心潮起伏,无法平静.笔者在扬州大学数学科学学院在职研究生进修期间，2002年4月23日在瘦西湖校区，83岁的吴文俊院士穿着简朴，丝毫没有世界名人的架子，和蔼可亲地与我们这些在读的数学硕士、博士研究生进行了3个多小时的座谈.他谈了自己的人生经历、求学生涯和主要工作，态度认真而随和，把我们这些年轻的学子当成自己的孩子和国家未来的建设者加以勉励，殷切期望我们努力学习，报效国家.面对研究生们的提问，他坦陈己见，知无不言，言无不尽，真诚热情.有个提问，数学是主观还是客观的，他大声地回答自己不知道.他的回答让大家大吃一惊，一个世界级数学家，面对后辈学子是如此的坦率和真诚.2007年9月我因为一个小问题写信请教他,原来没认为能收到他的回复.但是很快即收到他的亲笔回信.以我们想象，以他的名望完全可以敷衍，随便谈谈自己的一家之言，没有人会责怪他.但他没有这样随意,而是不摆架子，真心交流，让我们感受到一个数学人的风格、一位科学家的作风、一尊世界名人的风范.收信当时笔者顿时肃立,沉默良久，为他，一位88岁的科学人的求真务实的良好品格而暗暗喝彩.诗经云“高山仰止，景行行止”，可能就是这种境界吧？！吴先生是中国的名人,也是世界的名人,受到国内外众多数学界名人的高度评价,以他姓氏命名的众多成就“吴示性类”“吴示嵌类”“吴公式”“吴方法”等蜚声海内外,2010年国际新发现的小行星也以他的名字命名.他的贡献在世界上大长中国人的脸,甚至他让外国人开始学步中国人.吴先生永远离开了我们，这是中国数学界的悲伤，也是所有中国人的悲伤，对中国来说也是莫大的损失.谨以此文哀悼吴文俊先生.吴文俊1919年5月12日出生于上海.1940年毕业于上海交通大学，1946年到中研院数学所工作.1947年赴法国斯特拉斯堡大学留学，1949年获得法国国家博士学位，随后在法国国家科学中心任研究员.[1]新中国成立后，吴文俊于1951年回国，先后在北京大学，中国科学院数学研究所，中国科学院系统科学研究所，中国科学院数学与系统科学研究院任职.曾任中国数学会理事长，中国科学院数理学部主任，全国政协常委，2002年国际数学家大会主席，中国科学院系统所名誉所长.1957年当选为中国科学院学部委员(院士).吴文俊对数学的主要领域——拓扑学做出了重大贡献.他引进的示性类和示嵌类被称为“吴示性类”和“吴示嵌类”，他导出的示性类之间的关系式被称为“吴公式”.他的工作是50年代前后拓扑学的重大突破之一，成为影响深远的经典性成果.70年代后期，他开创了崭新的数学机械化领域，提出了用计算机证明几何定理的“吴方法”，被认为是自动推理领域的先驱性工作.他是我国最具国际影响的数学家之一，他的工作对数学与计算机科学研究影响深远.在漫长的学术生涯中，吴文俊在拓扑学、自动推理、机器证明、代数几何、中国数学史、对策论等几个研究领域均有杰出贡献，在国内外享有盛誉. 吴文俊曾获得首届国家最高科技奖(2000年)、首届国家自然科学一等奖(1956年)、首届求是杰出科学家奖(1994年)、邵逸夫数学奖(2006年)、国际自动推理最高奖Herbrand自动推理杰出成就奖(1997年).这里简介其两个主要方面的工作.1.1 拓扑学领域的重要贡献——提出一系列突破性方法世界领先拓扑学主要研究几何形体的连续性，是许多数学分支的重要基础，被认为是现代数学的两个支柱之一.拓扑学是现代数学的主要领域之一.法国现代数学家狄多奈称拓扑学是现代数学的女王.陈省身先生称拓扑的发展是20世纪上半世纪在纯粹数学的最大成就.示性类是拓扑学中最基本的整体不变量.20世纪50年代前后，示性类研究还处在起步阶段，吴文俊就把世界范围内基本上陷入困境的拓扑学研究继续推进，取得了一系列重要的成果.吴文俊将示性类概念由繁化简，由难变易，引入新的方法和手段，形成了系统的理论.其中最著名的是“吴示性类”与“吴示嵌类”的引入和“吴公式”的建立，并有许多重要应用，被编入许多名著.他还给出了刻画各种示性类之间关系的“吴公式”.[2]在吴文俊的工作之前，示性类的计算有极大的困难，他的工作给出了示性类之间的关系与计算方法.由此拓扑学和数学的其他分支结合得更加紧密，许多新的研究领域应运而生.这最终使示性类理论成为拓扑学中最完美的一章.在拓扑学研究中，吴文俊起到了承前启后的作用.在他的工作的影响下，研究拓扑学的武器库得以形成，这极大地推进了拓扑学的发展.许多著名数学家从吴文俊的工作中受到启发或直接以他的成果为起始点之一，获得了一系列重大成果.例如，吴文俊的工作被五位国际数学最高奖——菲尔兹奖得主引用，他们分别是法国数学家托姆，美国数学家米尔诺、斯梅尔、维腾，英国数学家阿提亚，其中三位还在他们的获奖工作中使用了吴的结果.[3]数学大师陈省身先生称赞吴“对纤维丛示性类的研究做出了划时代的贡献”.由于以上两项工作，1956年，37岁的吴文俊因其在拓扑学上的杰出成就，与华罗庚、钱学森一起获得当时的“最高科技奖”——国家自然科学一等奖，第二年他便成为当时最年轻的中国科学院学部委员(院士). 1．2 数学机械化——几何定理的计算机“吴方法”世界领先实现脑力劳动机械化，是吴文俊的理想和追求.他说：“工业时代，主要是体力劳动的机械化，现在是计算机时代，脑力劳动机械化可以提到议事日程上来，数学研究机械化是脑力劳动机械化的起点，因为数学表达非常精确严密，叙述简明.我们要打开这个局面.”开创数学机械化领域.机器证明方面，他从初等几何着手，在计算机上证明了一类高难度的定理，同时也发现了一些新定理，进一步探讨了微分几何的定理证明，提出了利用机器证明与发现几何定理的新方法.1977年吴文俊在初等几何定理的机械化证明方面首先取得成功，提出了几何定理机器证明的吴方法.此后，相继提出微分几何的定理机械化证明方法，方程组符号求解的吴消元法，全局优化的有限核定理，建立了数学机械化体系.他不仅建立数学机械化的基础，而且将这一理论应用于多个高技术领域，解决了曲面拼接、机构设计、计算机视觉、机器人等高技术领域核心问题.这样走出了完全是中国人自己开拓的新的数学道路，产生了巨大的国际影响.自1976年冬，中国著名教授吴文俊在中国古代数学机械化思想的启发下，尚不知外国人的研究成果，独辟蹊径，大胆地投入数学机械化的研究，创建了数学机械化方法：从几何公理体系出发，引进坐标，将任意几何问题代数化→将证明题的假设与结论分别表示成多元多项式方程→在电子计算机上运算，以判断定理是否成立.1977年，吴文俊关于平面几何定理的机械化证明首次取得成功，从此，完全由中国人开拓的一条数学道路铺展在世人面前.吴文俊教授运用自己的方法，在电子计算机上完成了西姆森线、费尔巴哈定理、毛莱定理等一系列初等几何的证明.随后，他又把证明的范围扩大到非欧几何、仿射几何、圆几何、线几何、球几何等领域.目前，运用吴文俊教授的方法，已证明出600多条定理，许多定理的证明只需几秒甚至零点几秒就可在电子计算机上完成.[4]其中有一些定理证明相当繁杂，即便交给杰出的数学家来证，也是相当困难的.中国数学家吴文俊，终于实现了千百年来几何定理机械化证明的梦想.这一研究开创了机器定理证明的时代，国际上称为“吴文俊方法” 和“吴消元法” ，实现了初级几何与微分几何定理的机器证明，抓住了数学机械化研究的核心，居于世界领先地位.这些创新有重要的应用价值，为实现笛卡尔与莱布尼茨提出的以机器代替人脑来促进数学研究与思维方式、方法的变革迈出了一大步.吴的这一方法使该领域发生了一次彻底的革命性变化，并导致了该领域研究方法的变革.在吴文俊之前，占统治地位的方法是AI搜索法，该方法被证明在计算上是行不通的.通过引入深邃的数学想法，吴开辟了一种全新的方法，该方法被证明在解决一大类问题上都是极为有效的，而不仅仅是局限在初等几何领域. 美国《自动推理杂志》编委穆尔认为，“吴方法”建立之前，几何定理机械化证明的研究处于一片黑暗，吴文俊不仅冲破了这种沉寂的局面，而且带来了光辉的前景.美国自动推理的权威人物淮斯认为，吴文俊在自动推理领域的杰出贡献是不可磨灭的，他理应获得最高奖.这项工作为数学研究开辟了一个新的领域，对数学的革命产生深远的影响.1978年获全国科学大会重大科技成果奖.1997年吴文俊获得国际自动推理最高奖“Herbrand自动推理杰出成就奖”.授奖词中提到，几何定理自动证明在“吴方法”出现之前进展甚微,“在不多的自动推理领域中，这种被动局面是由一个人完全扭转的.吴文俊很明显是这样一个人”.吴的工作使得“几何定理证明的研究已全面复兴，成为自动推理界最活跃与成功的领域之一”.2010年5月4日，中国科学技术部在北京举行小行星命名仪式，吴文俊院士等4位科学家获颁发小行星命名证书和小行星运行轨道铜牌.数十年间，吴文俊不仅建立了“吴公式”“吴示性类”“吴示嵌类”“吴方法”“吴中心”，更形成了“吴学派”.近代数学史上第一次由中国人开创的这一新领域，吸引了各国的众多数学家前来学习.2．1 重视数学对于国家的重要性科学界需要一个没有英雄的时代，吴文俊进一步诠释这个理念.“比如拓扑学，美国有一批高水平的研究拓扑学的人员，你要说谁是英雄，比不出来，大家都很杰出，都在某个方向做出了重要贡献，这就说明在这个领域美国是拔尖的”.吴文俊说，“评价一个国家的科学发展，不会只针对某一个人的成绩，而是群体的高度.这才是真正的进步”.1961年，美国著名数学家、国际数学联盟第一届主席斯通(M.stone)说：“整体上中国人的贡献在数学界影响不是很大，但少数被公认为富有成就的数学家，他们新近的贡献被高度评价.”这从一个侧面为吴文俊的论断提供了耐人寻味的论据.做数学大国的功课.“吴先生总是念念不忘，多次在各种场合呼吁：做数学研究，要开创自己的领域.1989年在胡国定、吴文俊等数学家的倡议下，国家为增强对数学研究支持设立了‘数学天元基金’，吴先生对它寄予了非常大的希望.他对基金的使用和管理提出许多重要主张，强调从整个数学事业的发展全局出发”.国际数学联盟执委会副主席马志明院士没有谈有关吴先生的趣事，而是谈了吴先生对如何使中国成为数学大国所做的努力.1999年，数学天元基金成立10周年时，吴文俊曾谈到中国成为数学大国的步骤：第一步是规划，规划当时已经有了；第二步是赶超日本；第三步，赶欧美.时隔7年，吴文俊曾说：“在一些领域日本做得还是比较有水平，但在某些点上，比如拓扑学，我觉得他们并不高明.但是，总的来说，日本能举出很多人做出了杰出工作，可以说他们已经到了一个没有英雄的境界.” 由于近几年，国内一大批青年科学家的研究成果纷纷涌现，吴文俊非常乐观地表示，“数学界的学术风气还是比较正、洁净，我看到的年轻人都在埋头苦干，中国离没有英雄的境界很近了，已经能看到这个苗头”.2.2 大胆开创中国数学的新方向早已诸多奖项加身的吴文俊，被誉为我国数学界的杰出代表与楷模.对此，吴文俊说：“对我个人而言，每次获奖都是高兴的事儿.”但对一个国家的科学发展而言，“稍做出成绩，就被大家捧成英雄，像朝圣一样，这个现象不是好事情，甚至可以说是坏事情.这说明我们的科研还在一个相对落后的阶段.有个吴文俊，那能说明什么？要是在这一个领域，发现有十个、八个研究人员的工作都非常好，无法判定谁是英雄，那才说明我们发展了，进步了.”吴文俊说：“这可能是我的怪论.但确实曾有人说过‘英雄是落后国家的产物’，在科学界，至少在数学领域，我很认同这句话.”早些年，与吴文俊同辈的老一代科学家都曾在不同的场合表达过类似的观点，“现在我们做的工作很出色.但是，领域是人家开创的，问题也是人家提出的，我们做出了非常好的工作，有些把人家未解决的问题解决了，而且在人家的领域做出了使人家佩服的工作，但我觉得这还不够.这就好像别人已经开辟出了一片天地，你在这片天地中，即便翻江倒海、苦心经营，也很难超过人家，这片天地终究是人家的”.[5]那么今后做什么？吴文俊认为，最重要的是如何开拓属于我们自己的领域，创造自己的方法，提出自己的问题.讲求效率的他也在不断地思考以何种方法、方式来完成这个目标.数学家多是单兵作战，吴文俊笑指自己说：“我以前也是这样，但现在我看到有一个多学科组合模式，我很欣赏.‘文革’期间，关肇直同志在思想上给了我非常大的启发.他说的‘不要扎根外国、追随外国，立足国内’的这种思想是行得通的.起码在我这儿得到了很好的验证.”2．3 重视数学人才的培养一个缺乏数学思维的民族，在国际科技竞争中也必会受到制约.吴文俊很赞赏历届美国总统对数学人才培养工作的认识和态度.[6]1957年，苏联抢先用火箭把第一颗人造地球卫星送上了天，“看到苏联的火箭上天了，当时的美国总统艾森豪威尔马上反思国民教育要加强，于是政府出台鼓励政策培养数学、物理人才”.美国前总统布什曾在“国情咨文”中强调指出，保持美国竞争力最重要的是继续保持美国人在知识技能和创造性方面的领先优势.他宣布将实施“美国人竞争力计划”：在未来10年把用于数学、物理等基础学科教育和研究的财政预算翻倍；鼓励美国青少年学习更多、更深入的数学、物理等基础科学知识；增加培养约7万名高中教师，其中包括3万名数学、物理和科学研究学科的教师等.吴文俊认为，这是一个大国对数学的态度.2．4 重视对古代数学史的研究分析吴文俊认为另一大受益之处是对中国古代数学史的“挖掘”.“文革”期间，不能读专业书刊，但能读史书，吴文俊转而研究数学史，对中国古代数学有了深刻的认识，使之在后来的数学研究中获益匪浅.他说：“我在香港做报告时就特别强调了解中国古代数学史对我后来工作帮助良多.搞清了数学的历史发展，不但对数学现状知道得更清楚、深刻，还可以对未来的数学起一种指导作用，知道数学应该按怎样的方向发展可以收到最大的效益.”[7]吴文俊的心愿：“中国传统数学濒于失传并让位于西方现代数学，已有几个世纪之久了，现在已到了复兴中国数学事业的紧要关头.下个世纪，应该让中国先哲创立的机械化算法体系在数学领域再领风骚.”【相关文献】[1]张奠宙.现代数学家传略辞典 [M ]. 南京：江苏教育出版社,2001.[2]陈琼.吴文俊的故事[M].合肥：安徽少儿出版社，2015.[3]吴文俊.吴文俊文集[M].北京：中国科学技术出版社，1986.[4]吴文俊.探索与实践-我的科学研究历程[J].科学的力量,2004(2):11-19.[5]路甬祥，郑必坚.计算机时代的东方数学[M]∥世纪机遇:中国科学家人文论坛演讲录，2004:181-194.[6]吴文俊.吴文俊论数学机械化[M].济南：山东教育出版社,1996.[7]吴文俊.创新科研秉烛育人，民族复兴建立功勋[J].科学新闻,2004(18):4.。
吴文俊与几何定理机械化证明
吴文俊与几何定理机械化证明作者：林玉忠来源：《中学课程辅导·教师通讯》2011年第07期【内容摘要】吴文俊是我国当代享誉世界的杰出数学家，人教版《普通高中课程标准实验教科书数学（必修2）》第四章圆与方程中的阅读材料“坐标法与机器证明”一文中，简单地介绍吴文俊和他的几何定理机器证明的思想。
本人在教学中发现，许多中学生并不知道这位数学家，更不用说几何定理的机械化证明。
本文旨在向广大中学生宣传吴文俊的学术成就和治学精神，说明几何定理机械化证明的思想和方法，激发中学生科学探究的兴趣和爱国主义情感，实现数学教材中阅读材料的价值。
【关键词】吴文俊几何定理机械化证明吴文俊教授，我国当代享誉世界的著名数学家。
1919年5月12日生于上海，1940年毕业于上海交通大学，1949年获法国国家博士学位。
中国科学院数学与系统科学研究院系统科学研究所研究员、名誉所长，中国数学会名誉理事长。
中国数学机械化研究的创始人之一，现任中国科学院系统科学研究所名誉所长、研究员，中国科学院院士，第三世界科学院院士。
曾任中国数学会理事长（1985-1987），中国科学院数理学部主任（1992-1994）。
曾获得首届国家自然科学一等奖（1956）、中国科学院自然科学一等奖（1979）、第三世界科学院数学奖（1990）、陈嘉庚数理科学奖（1993）、首届香港求是科技基金会杰出科学家奖（1994）、Herbrand自动推理杰出成就奖（1997）、首届国家最高科学技术奖（2000）、第三届邵逸夫数学奖（2006）。
2010年5月4日，国际小行星中心先后发布公报通知国际社会，将国际永久编号第7683号小行星永久命名为“吴文俊星”。
1976年粉碎“四人帮”之后，中国迎来了科学的春天。
年近花甲的吴文俊在中国古算研究的基础上，分析了西方R.笛卡儿的思想，深入探讨D.希尔伯特《几何基础》一书中隐藏的构造性思想，开拓机械化数学的崭新领域。
数学机械化方法的思想是：从几何公理体系出发，首先取适当的坐标，于是几何定理的假设与终结通常都成为多项式方程，称之为假设方程与终结方程，满足定理假设的几何图像就相当于假设方程组的一个解答或零点。
追忆著名数学家吴文俊数坛风流,百年翘楚
C over P eople封面人物本栏目冠名：东莞鸿企机械有限公司追忆著名数学家吴文俊：数坛风流，百年翘楚淡泊名利，成就斐然吴文俊，1919年5月出生于上海，1940年毕业于上海交通大学，1949年获法国国家科学研究中心博士学位。
中国科学院数学与系统科学研究院研究员、著名数学家、中科院资深院士、第三世界科学院院士。
吴文俊是我国院士中的顶级人物，数学界的“泰斗”，长期从事数学前沿研究，在拓扑学、中国数学史、数学机械化等方面成就突出。
他引进的示性类和示嵌类被称为“吴示性类”和“吴示嵌类”，他导出的示性类之间的关系式被称为“吴公式”。
他的工作是1950年代前后拓扑学的重大突破之一，成为影响深远的经典性成果。
1956年，他因在拓扑学上的杰出成就而获中国最高科技奖———国家自然科学奖一等奖，同期获此殊荣的还有华罗庚和钱学森。
吴文俊同样也是中国人工智能历史上一位里程碑式的开拓者。
1970年代后期，他开创了崭新的数学机械化领域，提出了用计算机证明几何定理的“吴方法”，被认为是自动推理领域的里程碑，他也因此获得1997年的国际自动推理最高奖——埃尔布朗自动推理杰出成就奖。
而“吴文俊”这三个字最为全国、全世界所关注的是在2001年，他与“杂交水稻之父”袁隆平一起，从当时的江泽民总书记手中接过首届国家最高科学技术奖的证书，国家重奖他500万。
化繁为简，做出划时代贡献数学是化繁为简的科学，吴文俊恰恰具备化繁为简的天赋。
拓扑学被称为“现代数学的女王”。
上世纪50年代前后，吴文俊由繁化简、由难变易，提出“吴示性类”“吴公式”等，为拓扑学开辟了新的天地。
他的工作起到了承前启后的作用，令国际数学界瞩目，也因此成为影响深远的经典性成果。
吴文俊的工作被五位国际数学最高奖——菲尔兹奖得主引用，许多著名数学家从中受到启发或直接以他的成果为起始点之一。
“对纤维丛示性类的研究做出了划时代的贡献。
”数学大师陈省身这样称赞吴文俊。
“吴公式”发表于1950年，而吴文俊1940年毕业于上海交通大学。
吴文俊大事记-中国科学院数学与系统科学研究院
吴文俊大事记1919年生于上海市1924－1933年先后在上海文蔚小学，铁华中学，民智(中)小学读小学与初中1933—1936年上海正始中学读高中1936年由正始中学毕业，获得奖学金，指定报考交通大学数学系1937年发现用力学方法证Pascal定理1938年大学三年级，听武崇林讲授的几何、代数与实变函数论课程，开始对现代数学产生兴趣，开始自学实变函数与点集拓扑及组合拓扑的名著，并大量阅读波兰《数学基础》等刊物上论文1940年大学四年级毕业论文论60条Pascal线的种种关系；交通大学毕业，到租界育英中学教书，兼任教务员1941年12月珍珠港战争爆发，日军进占上海各租界，育英中学解散1942—1945年到上海培真中学任教，兼任教务员。
其间曾去南洋模范女中代课几个月1945年日本投降，此后曾在之江大学代课几个月1945—1946年由同学介绍与帮助，认识朱公谨、周炜良与陈省身等教授1946年初到上海临时大学任郑太朴教授的助教1946年夏投考教育部主办的留法交换生；陈省身吸收吴文俊到中研院数学所，开始拓扑学研究1947年春随陈省身教授到北平清华大学，同行者有曹锡华；11月赴法留学，在Strassbourg大学跟随C.Ehresmann学习1947年发表第一篇拓扑学论文，载于法国Comptes Rendus完成一项重要拓扑学研究，证明Whitney乘积公式和对偶定理，1948年在Annals of Math上发表1948年参加CNRS研究工作，初任Attaché de recherches, 1951年升为Chargéde Recherches；获全国科学大会奖1949年完成博士论文“论球丛空间结构的示性类”，获法国国家博士学位,去苏黎世访问1949年夏去巴黎，跟随H.Cartan继续拓扑学研究1950年发表关于流形上Stiefel-Whitney示性类的论文，后通称为吴类与吴公式1951年8月回国，在北京大学数学系任教授1952年10月到新建数学研究所任研究员1953年同陈丕和女士结婚1954年开始非同伦性拓扑不变量的研究，由此引入示嵌类，并开展复合形嵌入、浸入与同胚的研究1956年5月应邀曹家罗马尼亚第四次数学大会；6月赴苏联参加第三届全苏数学会议做《论多面体在欧氏空间中的实现》报告；10月参加在索菲亚召开的保加利亚数学会年会；因示性类及示嵌类的工作荣获国家第一届自然科学奖一等奖1957年1月，获中国科学院科学奖金（自然科学部分）一等奖；增选为中国科学院学部委员会(院士)；3月当选中科院学部委员；9月赴波兰、东德访问，12月赴法国访问讲学1958年在巴黎大学讲课系统介绍示嵌类的工作，对于Ifaefliger等人有很大影响；被邀请在1958年国际数学家大会（爱丁堡）做分组报告（未能成行）；“理论联系实际”的运动中，拓扑学研究中断，开始对策论的研究；到中国科学技术大学任教1960年到中国科学技术大学负责60级“一条龙教学”1961年夏颐和园龙王庙会议，基础理论研究逐步恢复1962年开始对奇点理论进行研究。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
据悉， 我校“ 吴文俊近现代数学思想讲座” ０８ ９月起 ， 成功举办 ３ 共 ４ ）共计 ３ 自２０ 年 已 届（ 期 ， ０场次 ９ ０ 小时， 主讲数学家均为 日 本数学协会会长上野健 尔（ ｅ ｉ ｅｏ 教授。通过这 ４期讲座， Ｋ ｎ ｎ ） ｊＵ 使我校师生从代 数、 几何 、 分析 ３个 方向对 １ 纪 以来近代 数 学思想发展 演进 有 了较 为全 面的 了解 。讲座 的 形 式和 内容 均 ９世 受到 了师生们 的热烈 欢迎 。
一
４ 卷
・
学术 动 态 ・
我校 “ 三届 吴文 俊近 现代 数 学思想 讲座 （ ） 圆满结 束 第 下 ＂
２１ ００年 ５月 ３日至 ５月 ７ 日， 我校 数 学与科 学史研 究 中心举 办 的“ 第三届 吴 文俊 近现 代 数 学思 想讲 座 （ ”圆满 结束 。本 次讲座 由 日本数 学协会 会 长上 野健 尔（ ｅｊ Ｕ ｎ ） 下） Ｋ ｎｉ ｅｏ 教授 以英 语 主讲 ， 我校 数 学 系系主
任 曲安京教 授主持 。
本 次讲座历 时 ５ 日， ｌ 课 时 ， 共 ５ 讲授 变分 法、 ｒ ｈｅ Ｄｉ ｌ ｃ ｔ问题 、ｏｒｒ Ｆｕｉ 分析 等 内容 。讲 座不仅 吸 引 了我校数 ｅ
学系的众多师生参加， 也吸引了 多外校 的老师和 同学。每天讲座结束后 ， 许 上野健 尔教授认真细致地回答师 生提 问， 学术互动 热烈 。