生活在数学王国里的吴文俊

国际机器证明研究领域的权威人物J.S.穆尔曾这样评价吴文俊的贡献:“在吴文俊之前,机械化的几何定理处于证明黑暗时期,而吴的工作给整个领域带来了光明。”2001年2月19日,对吴文俊院士来说,是一个喜庆的、值得回忆的日子。在灯光璀璨、鲜花烂漫、万人聚集的北京人民大会堂里,中国数学机械化研究的创始人吴文俊从国家主席江泽民手中接过“国家最高科学技术奖”证书,并获得500万元的高额奖金。当我们询问吴老当时的心情时,吴老乐了:“当然高兴。”然后他顿了一下,接着说:“一方面感到是一种荣誉,同时也是一种责任,责任重大。”吴老重重地说了…     

不忘初心的『师生情』

<正>一生如能遇一良师实为人生之幸事。自古以来,无数壮志少年得益于良师指导,最终走向成功。而对良师最大的回报,就是将所学报效祖国。数学情:吴文俊与王东明吴文俊是国内外数学界的泰斗级人物,他创造的"吴方法"对于数学机械化的贡献是历史性的。在上海交大闵行校园里,有一条与学森路齐名的文俊路,这是上海交大师生在用自己的方式向杰出校友吴文俊致敬!     

不断创新的著名数学家——吴文俊

中国科学院数学与系统科学研究院系统科学研究所名誉所长、前中国数学学会理事长吴文俊院士是我国著名数学家及数学史家,他对中国古代数学史研究有独到的见解与成果,在拓扑学研究和数学机械化方面做出了卓越贡献,是我国数学机械化研究方向的主要开拓者,两次获得国家最高科技奖,2006年获邵逸夫科学奖。勤奋求学的少年时代1919年5月12日,吴文俊出生于上海,他是家中的长子,4岁时就被送进弄堂里的文蔚小学读书,学一些很简单的课程。他下面有两个妹妹和一个弟弟。一次,活泼好动的幼弟文杰不小心从楼梯上摔下来,当时表面看好象伤得并不重,没想到几…     

关于“2014年度国家自然科学奖一等奖”的若干讨论——网络计算的模式及基础理论研究

<正>国家自然科学奖授予在基础研究和应用基础研究中阐明自然现象、特征和规律,做出重大科学发现(前人尚未发现或者尚未阐明、具有重大科学价值、得到国内外自然科学界公认)的公民.国家自然科学一等奖是中国自然科学奖领域的最高奖项.1956年党中央和国务院提出"向科学进军",并在当年第一次授奖,名称为"中国科学院科学奖金",一等奖殊荣由华罗庚、吴文俊、钱学森三位科学家获得.此后直到1982年第二次授奖,一等奖正式更名为国家     

中国数学会理事长吴文俊访问美国、加拿大

今年7月5日至8月25日,中国数学会理事长、著名数学家吴文俊应邀参加了在美国举行的国际数学家大会和在加拿大举行的多伦多符号与代数计算讨论会,并到库朗研究所、得克萨斯大学等处进行了学术访问,受到热烈欢迎.吴文俊于1977年开始提出并发展了一套证明定理和处理多项式运算的机械化方法,即公认的吴氏方法.这一方法受到了各国数学家和计算机科学家的高度重视.库朗研究所为吴文俊访美期间的学术活动特     

中国数学史的新研究

吴文俊教授是国际上著名的数学家,过去的研究领域以几何、拓扑为主,近十余年来又潜心研究中国数学史,成果卓著。他在1986年国际数学家代表大会上所作的英文报告《中国数学史的新研究》,内容十分精采,并早已在数学史界流传,这次本刊有幸将吴教授审阅过的译文发表,既可供数学史工作者学习参考,又可供对此有兴趣的广大读者欣赏。     

复杂性研究中的典型信息模型

1970年代,吴文俊继承与发展中国传统数学机械化思想与方法,致力于数学与人工智能交叉研究,其几何定理机械证明研究成果被公认为世界领先.这一典型实例表明,被西方视为"种族科学",沦于边缘地位的中国传统科学,只要充分汲取现代科学技术精华,发挥自身整体观察和辩证思维优势,中西互补,以我为主,在继承中开拓创新,就可能在21世纪复杂性研究中为人类作出较大贡献.刘长林等提出"自然国学"研究的时代背景与现实意义,实在于此.     

古证复原的原则

今年七月,在大连召开了第一次全国数学史学术讨论会。到会代表54名,递交论文26篇。著名数学家吴文俊、数学史家严敦杰参加了大会并作了报告。下列三篇由苏平摘自大会论文。     

一个古老的梦实现了!——几何定理机器证明的吴法浅谈

我国著名数学家吴文俊教授近年来在几何定理的机器证明方面取得了开创性的成果,他发明的方法被誉为“吴法”。《一个古老的梦实现了!——几何定理机器证明的吴法浅谈》对此作了深入浅出的介绍。     

航天员选拔与训练

2003年和2005年中国成功进行了神舟5号和神舟6号载人航天飞行,中国成为继美、俄之后世界上第三个用自己研制的载人航天器将自己选拔训练出的航天员送人太空的国家!2008年9月,中国又成功进行了航天员首次空间出舱活动试验.     

让人工智能更有温度

正2018年,专注视觉智能的云天励飞经过4年沉淀,成为深圳AI名片。从具有自主知识产权的AI芯片流片,到人脸识别黑科技助力新开通的港珠澳大桥智慧边检,在北京安博会一举发布三款AI+新治理产品,再到捧回具有"中国智能科学技术最高奖"之称的吴文俊人工智能科学技术奖……过去的一年收获颇丰。通过人工智能技术构建平安城市,助力智慧商业,更好地服务百姓,是云天励飞技术有限公司董事长兼CEO陈宁及其团队一直以来不变的初心。     

初等几何与初等微分几何次序关系定理的机械化判定

<正> 1977年以来,吴文俊相继发现了初等几何与初等微分几何定理证明的机械化方法(参阅Wo Wencsün,Scientia Stnta,21(1978),159—172 & Mathematics Supplement(1),1979,94—102)。这种方法都是针对不牵涉“次序”关系的定理。我们依据类似     

中国射电天文发展的机遇和挑战

中国天文研究水平总体而言与世界先进国家相比还有很大差距,最根本的原因是我们国家的天文研究设备太差.天文设备成为中国天文研究长期竞争力和原创能力的主要瓶颈.长期以来中国的射电天文研究1一方面依靠杰出天文学家利用国际大射电望远镜进行观测,取得一些(但不是很多)有影响的成果;另一方面是靠自己发展设备,建设一些中小观测平台.     

创新离不开积累和文化——数学家林群院士访谈录

◆科学发展有其自身规律 ,实质性的进步需要积累、准备和机遇 ,往往是几代人努力的结果 ,而数学上的重大创新往往需要千年的积累 ;◆我国基础研究的发展现状和对国家的贡献都是很不够的 ,甚至是远远落后的。原因可能是多方面的 ,有一点是共识 ,那就是科技界存在急于求成和浮燥风气 ;◆当今的技术成果比好是露出海面的冰山一角 ,而数学等基础研究则是藏在海底的更大的部分 ,常人看不到 ,因而往往被社会舆论所忽视 ;◆什么样的文化传统影响就有什么样的科学 ,中科院数学研究所已故的华罗庚、关肇直、冯康、陈景润和现健在的吴文俊等一批大数学…     

封面说明

华中科技大学由原华中理工大学、同济医科大学、武汉城市建设学院于2000年5月26日合并成立,是首批列入国家211工程和985工程建设高校之一.它是凭借新中国自己的力量建设起来的一所重点大学,     

编后

我国著名数学家吴文俊,近年来致力于数学机械化的研究,成绩显著,深受国内外数学界重视.本期所载《几何定理的机器证明》一文,是他于今年9月初在双微北京讨论会上所作报告《初等几何和微分几何定理的机器证明》的前半部分,文中详细阐述利用电子计算机证明几何定理并发现新定理的思想、方法、步骤和效果,谅为读者所欢迎.     

以中国人命名的数学成果

在数学王国中,有些研究成果是以中国人命名的,其中著名的有：华氏定理数学大师华罗庚关于完整三角和方面的研究成果被国际数学界称为“华氏定理”;另外他与数学家王元提出的多重积分近似计算方法在国愿上被誉为、“华—王方法”。苏氏锥面数学大师苏步青在仿射微分几何学方面的研究成果在国际上被命名为“苏氏锥面”。熊氏无穷级数学家熊庆来关于整函数与无穷级的亚纯函数的研究成果被国外学者誉为“熊氏无穷级”。吴氏方法数学家吴文俊关于几何定理机器证明的方法被国际上誉为“吴氏方法”。柯氏定理数学家柯召关于卡特兰问题的研究成果…     

"嫦娥"带着我的梦想奔月——记著名空间飞行器专家、绕月探测工程卫星系统总指挥兼总设计师叶培建院士

20世纪80年代,在日内瓦联合国知识产权总部,各个国家代表自己知识产权的展台上,美国人展出的是一块月球岩石,苏联人展出的是加加林的照片,而中国展出的是一只景泰蓝花瓶.当时来这里参观的一位中国青年学者被深深震撼了.     

有理数域及其代数扩域上的快速因子分解

在许多领域里,分解多项式因子是必不可少的,而且需要方法有效。已有的Kronecker-Hermann和Van der Waerden-Trger方法都无法具体实现。近年来,出现了不少因子分解方面的工作,如文献[4,5],但这些方法的效率仍然不高。我们发现了一种机械化方法,它依据吴文俊发展J.F.Ritt工作创造的整序原理,这种方法不仅效率很高,而且便于实行。遵     

江泽民主席在接受美国《科学》杂志主编埃里斯·鲁宾斯独家专访时的谈话

问：与西方国家领导人相比,中国政府领导人倒愿意使自己成为工程师或科学家,就像您一样。就科学技术对国家的重要性来说您持何种观点？ 答：在中国,人们非常重视科学技术。中国历史悠久,在科技领域有过辉煌的成就,然自明朝末年起,中国在这一领域开始落后于其他民族。从牛顿力学到爱因斯坦的相对论,直至新近出现的互联网,世界科技发展日新月异。于是,我常常思考这样的问题,中国为什么自那时起就开始落后于其他国家？ 总体说来,要归因于久已存在的封建制度。明朝期间,统治者忙于修复和加固长城,禁止人们出洋,此后又实行“海禁”…