数学机械化：让数学更加实用——数学机械化领域吴文俊、高小山侧记-论文.pdf

《数学机械化：让数学更加实用——数学机械化领域吴文俊、高小山侧记-论文.pdf》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、第八届国际工业与应用数学大会特刊畅年一，煳己吼数学机械化：让数学更加实用数学机械化领域吴文俊、高小山侧记记者唐琳综合报道开辟新领域之路上，在拓扑学、市几何、中国数学史、又臌域均有杰出的贡献，但鲜为人知的是，吴文俊的学术獬生涯最初始于纯数学。1946年，吴文俊结识了数学大师吴文俊，191g年生，中国科学院院士陈省身。正是由于陈省身的指引与带路，最终，吴文俊走上了真正的数学】生命线，这是我研究道路。[保持的瓤中国著名数学家、上世纪50年代，正值拓扑学从艰难迟缓的发展中走向突飞猛进之时，吴文俊敏锐地抓住了拓扑学的核吴文俊的得意门圭心问题，在示性类与示嵌类的研究上统科学研究院研j取得了

2、国际数学界交相称誉的突出成就。第八届国际工业与应用数学大会特刊吴文俊荣获国家自然科学奖一等奖；机房外等候开门，甚至24小时连轴俊坦言。著名数学家冯·诺依曼开创1957年，年仪38岁的他当选为中科转的情况也时有发生。了现代计算机理论，其体系结构沿用院学部委员(院士)。正是这种奋不顾身与废寝忘食让至今。而反过来，计算机又推动了数原本，就连吴文俊都以为自己会吴文俊再一次把握先机，站在了数学学的进一步发展。在纯数学的研究道路上一直走下去，高lL『之巅。吴文俊所倡导的数学机械化研却没想到这条路在上世纪7t)年代出1977年，吴文俊引入了一种强大究，一方面继承了古代中国数学思想现了转折，的

3、机械方法，将初等几何定理证明问的精华，一方而适应了现代科学技术1971年，吴文俊被下放到北京海题这一自动推理经典困难问题转化为的发展。这无疑是数学研究领域一个淀区学院路附近的北京无线电一厂劳多项式的符号计算问题，由此得到了的跨时代进展动，也就是从这个时候开始，他对数有效的机器证明方法。学有了与以往不一样的感受和理解。吴文俊的这一方法使几何自动于传承中创新当时，北京无线电一厂正在生产推理领域发生了一次彻底的革命性变电子计算机，这让第一次接触到这一化，并实现了该领域研究方法的变革。那么，究竟何为数学机械化?事物的吴文俊在倍感神奇的同时也多在吴文俊之前，几何自动推理r所谓“数学机械化

4、”，就是把数了很多思考。统治地位的方法是AI搜索法，此方学中的方程求解与定理证明转变为计“在工厂里，我看到了计算机的法破证明在计算效率上是行不通的。算机可以接受的形式，并利用计算机威力。”吴文俊说，“把数学方程输通过引人深邃的数学想法，吴文俊开强大的计算功能解决数学与高新技术入进去，结果立刻就能算出来。我被辟了一种全新的方法，该方法被证中的理论问题。这样的威力震惊了，就下决心学计算明在解决一大类问题』-都足极为有效换句话说，就是用计算机做数学机，同时也觉得，把计算机用好，可的，而不仅仪局限在初等几何领域。研究并让计算机更智能化。以解决很多问题。”正是这番努力，使吴文俊开拓了随着

5、计算机技术的飞速发展，人于是，在近耳倾之年，吴文俊毅数学机械化领域。也因此荣获了首届类脑力劳动的机械化有了实现的可能然开始学习计算机。国家最高科学技术奖与2()(16年度邵性．部分实现脑力劳动的机械化，可他一头扎进机房，从HP一1O()f】逸犬数学奖。为科学研究与高新技术研究提供有力机型开始，学习算法语言，编制算法“实际上，我做的数学机械化：r工具，使科研工作者摆脱繁琐的甚至程序⋯⋯经常早上不到8点，他已在作，是用计算机来研究数学。”吴文是人力难以胜任的工作，进行更高层科学新闻SCIENCENEWS55第八届国际工业与应用数学大会特刊础学数的新科叉交与学数家员长院究鼢乖系繇学数

6、院科中山小，。任主副心中。学一为一鼍这!一而一有未所前遇吲一陵一多许决解现了成变问时的用算计往斫沥贻歌涅从究研性新创的儿舭，+教究{过一今如工类人与论理化眦学数吖拉实率霎。，在微分与差分代『可等新领域发展数学机械化方法，试图解决D一有眼函数的自动推信息处理、模式腔技术中的关键建立自动推理高小LIj解释，数学科学是自然乖斗学的理论基础，与物理、力学、信息科学、计算机科学、数字化制造等学科相互交叉。数学也是高新技术的理论基础，这一点对信息科学与信息技术尤其重要。计算机科学被认为是算法的利学，而算法研究的本质是数学问题。计算机在很多领域的应用，如图像传输与压缩、复杂的曲面造型与加工、

7、信息安全中的编码与密码等都在呼唢速髓骅学高等人又进一步针对在工程中经常出现l与差分情形；在几何自动作图与微分的几何约束求解问题发明了系统与高【消元法方面开发出了在国际上领先的效的几何自动作图方法，有效解决了f软件；针对数控系统核心功能，开发一大类几何图形的自动生成问题，使l了时间最优的插补算法，显著提升了机器证明的使用范围得以拓宽。I数控加工的效率与质量等。不久，这一方法再次被普遍应用J由于贡献突出，高小山获得香港于智能CAD、机器人、计算机视觉中。f求是基金会杰出青年学者奖、美国计水到渠成