首页 > 国内新闻 / 正文
进入 20 世纪以来,中国数学取得了不错的成绩,华罗庚、苏步青、熊庆来、王浩、柯召、姜伯驹、陈景润、田刚、吴文俊等数学家在数学的研究上都得到了国际的认可。其中吴文俊的吴方法对于中国古代数学的探索,更是取得了惊人的成就。
吴文俊师从现代微分几何学之父陈省身,陈省身被誉为最厉害的亚洲数学家,陈省身在国际上与欧拉、高斯、黎曼、嘉当齐名,合称“欧高黎嘉陈”。
吴文俊并没有辱没老师的名声。在拓扑学上取得了非常不错的成绩,有吴文俊类和吴文俊公式。仅用几页纸就证明了 Whitney 乘积公式和对偶定理,当时最具权威的美国《数学年刊》刊载了这个公式。还因拓扑学中的示性类及示嵌类的成就获奖,获得了首届国家自然科学一等奖。
从 70 年代开始,吴文俊就一直致力于研究中国古代数学,他把中国传统数学的特点概括为构造性与机械化。
我们知道,古希腊欧几里得几何的证明模式是从定义和公理出发,按照逻辑规则逐步演绎推断,几何证明过程中没有通用的证明法则,只能一题一证,根据不同的问题构思不同证明的方法。笛卡尔的《几何学》对希腊演绎模式进行了批判,企图以代数改造几何,给出了不同于《几何原本》的证明模式,开创了可用计算进行几何定理证明的新局面,从而将演绎几何引向解析几何。但是笛卡尔并没有摆脱对欧氏几何的依赖,直到欧拉才真正开始了代数独立化运动。
而“解方程”在中国古代数学中有着悠久的传统。《九章算术》中就有用“开方术”和“方程术”(线性联列方程组的消元解法)解各种应用问题。《九章算术》的“方程术”在宋元时期被发展为“四元术”,即解多元代数方程组的消元算法。
基于对数学史的深厚研究,他本人复原了《周髀算经》的“日高公式”的证明,从而发现中国古代数学家利用“出入相补原理”建立二次方程,进而发现中国几何代数化的特征。
最后,吴文俊得出结论认为数学发展沿着两条路线,一条是源自古希腊的抽象演绎(以欧几里得几何为代表的)数学系统,另一条发源于中国,影响到印度和阿拉伯,然后影响到世界的算法化数学系统。
在吴文俊看来,数学发展的主流有两种模式,一种是公理化(演绎)模式,一种是机械化(算法化)模式,前者以希腊演绎几何学为代表,后者以中国古代解方程为中心的代数学为代表。
当时,关于数学机械化的研究已经在国内外展开,被誉为“数学界的无冕之王”的希尔伯特,他的经典著作《几何基础》将几何学引进更抽象的公理化系统,不仅将欧几里得《几何原本》的公理系统加以改良,而且把几何学从一种具体的特定模型上升为抽象、普遍的数学理论。
希尔伯特计划将数学知识纳入严格的公理体系中,并着力在公理化基础上寻找机械化的方法判定命题是否成立。希尔伯特认为,定理的判定问题应当是分类解决的,解决方法要同时强调简单性和严格性。该书可谓论述几何公理化的经典性著作。
后来,希尔伯特还提出了希尔伯特方案,要求把数学完全形式化,列出基本概念、公理以及基本推理规则,而且必须列举详尽无遗,使得数学中一切概念都可以从基本概念定义出来,各概念一切性质也都可以从公理与基本推理规则推出,因而不必再借助于任何直觉、任何图形。然而最终以失败告终。
1959年,我国著名数理逻辑学家王浩设计了一个程序,大家可能对王浩不太了解,他曾担任哈佛大学、牛津大学教授,兼任巴勒斯公司的研究工程师、贝尔电话实验室技术专家、IBM研究中心客座科学家等一系列职务,曾用一种相当完备的方法介绍哥德尔的不完备定理。
他通过计算机仅用了9分钟证明了Russell、Whitehead 的巨著《数学原理》中的几百条有关命题逻辑的定理。王浩工作的意义在于宣告了用计算机进行定理证明的可能性。
在1960年的《IBM研究与发展年报》上, 王浩发表了《迈向数学机械化》的文章。“数学机械化”一词即出自此处。
与王浩同一时期,1965年 Robinson 归结原理的提出是用逻辑方法进行机器证明的又一重要进展。而1976年 K.L.Appel 和 W.Haken 在高速电子计算机上用 1200 小时的计算时间,作了100亿个判断,结果没有一张地图是需要五色的,最终证明了四色定理,轰动了世界,证明了著名的四色定理,使数学家们 100 多年来未能解决的这个难题得到了肯定的回答。
吴文俊在 70 年代借鉴中国数学构造性算法化的传统,将数学(特别是代数几何)与计算机科学相结合,从解多元高次方程组方面取得了重要突破。
1985年,吴文俊的论文《关于代数方程组的零点》发表,具体讨论了多项式方程组所确定的零点集。与国际上流行的代数理想论不同,明确提出了具有中国自己特色的、以多项式零点集为基本点的机械化方法。
他创造的“三角化整序法”是目前唯一完整的非线性多项式方程组消元解法,开创了机器几何定理证明的方向,推动了数学机械化的发展。在国际数学界被称为“吴方法”。
吴方法简单来说就是数学机械化,用计算机证明定理,如何从假设的方程推出结论的方程。吴文俊认为在很大程度上,人们可以用复杂的计算推演来代替抽象的推理,从而用计算机来辅助数学家去发现自然结构、获取数学真理。
当时,为了研究数学机械化的可能性,已经 60 岁的吴文俊听说有个厂在造计算机,就特意跑去参观。从见到计算机,吴文俊就认为计算机会对数学未来发展产生不可估量的影响。当时吴文俊为了掌握计算机的使用,天天上机房,从ABC学起。为了证明定理,吴文俊把自己当作机器,一步步手算,先证特殊情形,再证一般情形,从而证明了计算机可以证明定理。
吴文俊的“吴方法”“吴方法”,被认为是自动推理领域的先驱性工作,对数学与计算机科学研究影响深远。被应用于多个领域。
比如说,他所建立的“吴方法”,吴消元法”及“吴有限核定理”已成为该领域的奠基性成果。运用数学机械化方法,本项研究解决了广义Stewart平台正解问题,这是对机器人运动学领域的一个主要贡献。以此为基础,研制成功我国第一台大型虚拟轴机床样机与集成电路制造装备关键子系统。
而在机器人应用中,机器人通过三维扫描获得物体的三维几何位置信息,从而得到最终机械手的位置和朝向,通过反解各个关节的旋转角度,和机械臂的伸缩,使得机械手达到目标位置,从而可以实现抓取。这被称为是逆向运动学问题,需要求解多项式方程组,而吴方法正是解多项式方程组的有力武器。
当然,用来求解多项式方程组也是十分简单快捷。
吴方法提供了非常基本的算法,能够求解多项式方程组,证明初等几何定理,计算机器人路径规划,生成数控机床加工方案,进行参数样条曲面隐式化,求解代数几何问题等等,从而广泛应用于纯粹数学、计算数学以及众多工程领域。
我们如果查询知网,还会发现,吴方法还被应用于解决染色问题、构建计算机模型、在数学CAI中的应用与研究等。
用吴方法还成功地证明了勾股定理、西姆逊线定理、帕普斯定理、帕斯卡定理、费尔巴哈定理,并在45个帕斯卡点中发现了20条帕斯卡圆锥曲线,这种方法还推广到微分几何,将微分几何曲线论中的贝屈朗定理推广到仿射微分几何。
总体来说,吴方法的确是一种适用于多个领域的方法,在对几何定理机器证明和非线性代数方程组的研究上的确具有重要的作用。开辟了一个新的探索方向。
1997年在获得国际著名的“自动推理杰出成就奖”时,吴文俊得到了这样的赞誉:
“几何定理自动证明首先由赫伯特•格兰特于50年代开始研究,虽然得到了一些有意义的结果,但在吴方法出现之前的20年里这一领域进展甚微。在不多的自动推理领域中,这种被动局面是由一个人完全扭转的。吴文俊院士很明显是这样一个人。”
2001年2月19日,吴文俊荣获2000年度首届国家最高科学技术奖。2010年5月4日,国际小行星中心先后发布公报通知国际社会,将国际永久编号第7683号小行星永久命名为“吴文俊星”。
本文作者:胖福的小木屋(今日头条)
原文链接:http://www.toutiao.com/a6694302669982401036/
声明:本次转载非商业用途,每篇文章都注明有明确的作者和来源;仅用于个人学习、研究,如有需要请联系页底邮箱
猜你喜欢
- 李莲英梳头不掉发,靠这技术得到慈禧重用,这门技术说出来你也会
- 未来20年,这些核心技术关系船企生死
- 河北三大专项高技术产业化和应用示范项港中旅oa目开始申报_河北
- 河北将要组织实施一奇乐听书网批高技术产业化项目_河北
- 河北将要组织实施一批高技术产万圣夜人偶事件簿4业化项目_河北
- 我省发布2017年工业新产品新技术开发大明星小跟班刘诗诗指导计划|新技术|工业|计划
- 机器人做育满芊北京文科数学卷 22分钟交卷考了105分|数学|文科|机器人
- 学者:延迟退休等养老顶层设计方案断剑之裔已确定 |养老保险|个人账户|设计方案
- 河北省企业技术中心实行每年认定|河北省|技术|中雅音闻皦绎心
- 雄安新区产业变局: 3000家包装企业迎转型契机|有趣的汉字教学设计印刷|公司产业|包装_财经
- 搜索
-
- 06-02乾隆给多尔衮平反的政治目的是什么
- 06-02商圣范蠡:3次经商,3散家财。总结的经商18计,道尽了人性的
- 06-02赵匡胤兵变当皇帝以后,面对柴荣漂亮的老婆,他是如何处理的
- 06-02历史小知识---关羽斩华雄为何要温酒?
- 06-02此人比诸葛亮还拽,诸葛亮三顾茅庐就出山,他不仅不出山还玩消失
- 06-02大汉帝国那些事儿之五,王者归来,沛县起义
- 06-02司马懿为啥在五丈原这么害怕出战诸葛亮?原因就在第四次北伐里
- 06-02刘邦:赐给你三万户封地,他:一万户足够了,结局得以善终
- 06-02时隔128年这片领土终于回归,如今发现珍稀资源,供中国使用百年
- 06-02古代美女罕见复原图:商朝王妃长相惊艳众人,堪称绝色佳人
- 999℃今日起河北开启新一轮环保督查|河北|环池塘小马大营救境违法|环保厅_财经
- 999℃河北最新巧孵五彩蛋考核排名来了!这25县区被通报批评_河北
- 999℃斗罗大陆之轮回天瞳石家庄再添104个交管业务办理点 可办8类业务_河北
- 999℃河北事业单位职工注俏模牌轻靓减肥胶囊意:今年这样考核 事关工资等_河北
- 998℃这位正部级中央委员 恳请中央提前1年免职|最高俨然遂良法院|沈德咏|中央委员
- 997℃石家庄一窃贼不到60秒撬开电动tali regal车车锁 当场被擒获_河北
- 996℃整合高端皮革供应链 致胜中国软体家具未散漫白榆风来_家居
- 996℃生态环境www.gradjob.com.cn部日查发现问题92个 河南有12个单位上黑榜_河南
- 996℃2018东京食尸鬼店长河北惠民书市 《品读石家庄》今日签售_河北
- 992℃河北人又有13项补英语在线发音贴可以领 看看你能领多少_河北
- 06-01许褚神勇如虎为何没有指挥过大军团作战?原因竟是曹操不放心!
- 06-01一代才子解缙,卷入一场错误的争斗,落得悲惨下场
- 06-01孙中山让已婚手下照顾女儿,怎知两人产生情愫,孙中山愤怒拆散
- 05-31美国逼迫苏联解体,最大受益者是中国?
- 05-3117岁英雄少年,牺牲前大喊6个字,日军听后下令厚葬
- 05-31红顶商人胡雪岩,临终前告诫后人“勿进白虎”,这是什么意思?
- 05-31三国说18|许攸问粮草,换个姿势看门道!
- 05-31盘点十位历史上的好色帝王,第一位连儿子都感到羞愧
- 05-31科拉超深钻孔深达12262米 黄金钻石成堆 为何苏联禁止开挖了?
- 05-31李莲英梳头不掉发,靠这技术得到慈禧重用,这门技术说出来你也会
- 标签列表
-
- 历史 (316)
- 清朝 (113)
- 河北 (111)
- 不完美妈妈 (86)
- 辛集 (81)
- 明朝 (75)
- 政治 (66)
- 经济 (62)
- 日本 (60)
- 文化 (60)
- 唐朝 (56)
- 曹操 (53)
- 三国 (50)
- 河北省 (46)
- 乾隆 (41)
- 刘邦 (39)
- 中国历史 (39)
- 诸葛亮 (39)
- 秦始皇 (38)
- 刘备 (38)
- 第二次世界大战 (38)
- 宋朝 (37)
- 英国 (37)
- 石家庄 (36)
- 汉朝 (35)
- 关羽 (35)
- 康熙 (35)
- 河南 (35)
- 钢铁 (34)
- 生意 (33)
- 春秋战国 (31)
- 法国 (31)
- 京津冀 (31)
- 环保 (28)
- 朱元璋 (27)
- 读书 (27)
- 德国 (27)
- 唐太宗 (27)
- 秦朝 (26)
- 北宋 (25)