作者:宗传明 来源:中国科学报微信公号 发布时间:2022/7/3 11:07:17
选择字号:
数学到底有多重要?看看手机背后的数学

 

文 | 宗传明(天津大学讲席教授)

近年来,在国家重视和媒体宣传下,人们已经形成了共识“数学很重要”。人们已经认识到数学在科学技术的每一个分支和环节都发挥着重要作用。

很难想象没有数学支撑的天文学和物理学会是什么样子,更难想象没有数学保障的航空航天技术会怎样。

其实,在国家大力提倡原始创新并寻求突破卡脖子的今天,我们更应当认识到数学在现代科学技术中不只是配角,在某些最关键的科技进程中它起了决定性的作用。

以我们最熟悉的高科技产品智能手机为例,手机是带通讯功能的微型电脑:它的智能是由阿兰•图灵和冯•诺伊曼等数学家设计赋予的,它的通讯功能是由克劳德•香农的信息论、诺伯特•维纳的控制论和现代密码学保障的。

而计算机、信息论、控制论和现代密码学的诞生和发展都是由数学奠基主导的。

计算机的诞生

电子计算机是上世纪最伟大的一项发明。它不仅给科学技术的每一个领域都带来了翻天覆地的变化,更是改善了每个人的日常生活,甚至改变了我们的思维方式并且深刻影响到人类文明未来的发展。

自从远古时期以来,人们就不断探索发明高效的计算工具以延伸我们解决问题的能力:3000多年前,人们发明了算盘;400多年前,英国数学家约翰•纳皮尔(John Napier)发明了对数,在此基础上人们制造出了计算尺;1642年,法国数学家布莱士•帕斯卡(Blaise Pascal)制造出了可以进行加减运算的算术机;1671年,德国数学家戈特弗里德•威廉•莱布尼兹(Gottfried Wilhelm Leibniz)制造出了可以进行乘除运算的乘法机;1833年前后,英国数学家查尔斯•巴贝奇(Charles Babbage)分别设计制造了可执行运算程序的差分机和分析机。

在电子计算机的早期发展过程中,许多科学家和工程师做出了杰出的贡献:1930年,美国科学家范内瓦•布什(Vannevar Bush)在麻省理工学院建造了最早的模拟机;1936年,英国数学家阿兰•图灵(Alan M. Turing)在数理逻辑(数学的一个分支)的基础上提出了计算机的理论构架,不仅肯定计算机的计算功能,而且赋予它逻辑推理的使命;1940年前后,德国工程师康拉德•楚泽(Konrad Zuse)提出了计算机程序控制的概念并独立建造了模型机;1945年,美国数学家约翰•冯•诺伊曼(John von Neumann)根据大脑的记忆功能提出了具有存储程序的电子计算机方案。

在这些先驱探索的基础上,电子计算机得以在1945年前后在英国和美国诞生并迅速发展。

阿兰•图灵1912年生于伦敦。1931年他考入剑桥大学国王学院学习数学,深受数理逻辑学家库尔特•哥德尔(Kurt Gödel),阿隆佐•邱奇(Alonzo Church)和戴维•希尔伯特(David Hilbert)的影响。1936年他发表了《论数字计算在决断难题中的应用》。

该论文描述了一种可以辅助数学研究的机器,后来被人们称为图灵机。这个设想首次赋予机器进行符号逻辑推理的使命,为后来计算机和人工智能的产生和发展奠定了基础。

1938年,图灵在邱奇的指导下获普林斯顿大学数学博士学位。二战期间,他应召到英国情报中心布莱切利公园从事破译德军密码的工作。他领导了世界上最早的电子计算机的研制工作并成功破译了德军的密码。战后一段时间,图灵一直参与领导英国在曼彻斯特大学的电子计算机研制工作。

1966年,为纪念他对计算机科学的奠基性工作,美国计算机协会(ACM)设立了阿兰•图灵奖。

阿兰•图灵

约翰•冯•诺伊曼

约翰•冯•诺伊曼1903年生于匈牙利首都布达佩斯。1926年,他在利奥珀德•费耶(Leopold Fejer)的指导下获得布达佩斯大学数学博士学位。随后,他到德国哥廷根大学担任大数学家希尔伯特的助手,深受其数理逻辑理论的影响。1930年,他移民美国,历任普林斯顿大学数学教授、普林斯顿高等研究院数学教授。

基于数理逻辑理论,他开始研究计算机的建造。1945年,他在共同讨论的基础上提出了一个能存储程序的电子计算机方案,具体介绍了制造电子计算机和程序设计的思想。这一方案明确奠定了计算机由五个部分组成:运算器、控制器、存储器、输入和输出设备。

1999年,为纪念他对计算机科学的奠基性工作,美国电气与电子工程师协会(IEEE)设立了约翰•冯•诺伊曼奖。

近100年来,随着科学技术的高速发展,电子计算机已从最初的电子管数字机逐步发展成为晶体管数字机,集成电路数字机,直到今天的大规模集成电路计算机。操作系统也发生了翻天覆地的变化。但是,无论硬件和软件怎么发展,计算机一直沿用图灵和冯•诺伊曼的设计思想。

信息论的诞生

自从有人类活动以来,人们就要面对信息可靠传递的问题:手势、声音、文字、电报、电话、互联网等等。

1837年,英国发明家查尔斯•惠斯通(Charles Wheatstone)和威廉•库克(William Cooke)和美国发明家塞缪尔•莫尔斯(Samuel F. Morse)几乎同时发明了电报。1860年和1876年,意大利发明家安东尼奥•穆齐(Antonio Meucci)和美国发明家亚历山大•贝尔(Alexander G. Bell)分别制造出了电话。1895年,意大利发明家伽利尔摩•马可尼(Guglielmo Marconi)首次成功收发了无线电报。

这些新技术为大规模远距离信息传输提供了手段。但是,如何保障准确、高效的传输却又迎来了挑战。1924年,贝尔实验室的科学家哈利•奈奎斯特(Harry Nyquist)开始研究影响电报传输速度的因素,首次对信息传输速度给出了定量刻画。1928年,同在贝尔实验室的拉尔夫•哈特利(Ralph V. Hartley)更进一步定量地研究了通信系统传输信息的能力,并试图度量系统的信道容量。

在奈奎斯特和哈特利的工作基础上,1948年克劳德•香农(Claude Shannon)发表了划时代的论文“通信的数学理论”,从而宣告信息论的诞生。这篇论文和他于1949年发表的另一篇论文一起奠定了现代信息论的基础。

香农的工作首次在概率统计和几何空间基础上为通讯过程建立了数学模型并通过数学模型推导出一些最重要的量化原理(信息论三大定理)。这些模型和原理不仅引导了信息论的理论研究,也保障了通信工程技术的各个环节。

克劳德•香农

克劳德•香农1916年生于美国密歇根州。他于1940年在弗兰克•希区柯克(Frank L. Hitchcock)指导下获得麻省理工学院数学博士学位。

1941年他加入贝尔实验室数学部,工作到1972年。

自1956年起他同时兼任麻省理工学院教授,1978年成为名誉教授。1972年,为纪念他对信息论的奠基性贡献,IEEE信息论学会设立了克劳德•香农奖。

近一个世纪过去了,随着计算机技术的飞速发展,信息通讯已通过手机和互联网成为每个人日常生活的一部分。

在这一发展过程中,组合数学、图论、数论等数学学科多次起到极其关键的作用,如纠错码和极化码,许多著名数学家也做出了杰出的贡献。

控制论的诞生

控制论的诞生也是20世纪最伟大的科学成就之一。控制论是数学、计算机技术、无线电通讯、神经生理学、语言等多学科相互交叉的产物。

它以各类系统所共同具有的通讯和控制方面的特征为对象,研究它们根据周围环境的某些变化来调整自己运动的规律。

自动控制的想法由来已久。1760年前后,詹姆斯•瓦特(James Watt)曾在他的蒸汽机上安装一个调速器以自动调节蒸汽机的运行速度。

1858年,阿弗雷德•华莱士(Alfred R. Wallace)对此做了研究和解释。

1868年,著名物理学家和数学家詹姆斯•麦克斯韦(James C. Maxwell)研究了自动调速器,首次从理论上探讨这种自我调节装置。

1927年,贝尔实验室的工程师哈罗德•布莱克(Harold S. Black)开始探索利用负反馈的信息控制放大器。

1932年,奈奎斯特发现了负反馈放大器的稳定性条件。

1943年,阿图罗•罗森布鲁斯(Arturo Rosenblueth),诺伯特•维纳(Norbert Wiener)和朱利安•毕格罗(Julian Bigelow)利用数学模型研究了利用反馈信息的控制问题。

1945年,维纳把反馈概念推广到一般控制系统,把反馈理解为从受控对象的输出中提取一部分信息作为下一步输入,从而对再输出发生影响的过程。

1948年,诺伯特•维纳发表了著名的《控制论—关于在动物和机器中控制和通讯的科学》,标志着控制论作为一门学科的诞生。维纳把控制论看作是一门研究机器、生命社会中控制和通讯的一般规律的科学。

更具体地说,是研究动态系统在变化的环境条件下如何保持平衡状态或稳定状态的科学。

控制的基础是信息,一切信息传递都是为了控制,而任何控制又都有赖于信息反馈来实现。在微分方程,最优化,概率统计,模糊数学的基础上建立数学模型进行量化研究。

诺伯特•维纳

诺伯特•维纳1894年生于美国密苏里州。1913年,他在卡尔•施密特(Karl Schmidt)和乔西亚•罗伊斯(Josiah Royce)的指导下获哈佛大学数学博士学位。随后,他先后游学于英国剑桥大学和德国哥廷根大学,在伯特兰•罗素(Bertrand A. W. Russell),高德菲尔•哈代(Godfrey H. Hardy),希尔伯特等著名数学家指导下研究数学。

此后,他一直在麻省理工学院任教。1935年8月至1936年5月,他曾在清华大学讲授数学,对华罗庚有极大影响和帮助。1967年,为纪念他对控制论的奠基性贡献,美国工业和应用数学学会(SIAM)设立了诺伯特•维纳奖。

自从维纳创立控制论以来,冯•诺伊曼,列夫•庞特里亚金(Lev S. Pontryagin),贾奎斯•利昂斯(Jacques-Louis Lions)等杰出数学家进一步开拓完善了这一理论。

如今,控制论已广泛应用于航空航天,机器人系统,人工智能等高科技产业。实际上,如果没有科学的控制理论就没有今天的航空航天成就。

数学奠定现代密码学的基础

1969年,互联网在美国西部诞生。这些计算机网络以一组通用的协议相连,形成逻辑上统一的计算机体系。使用互联网可以将信息瞬间发送到数千公里之外,它是信息社会的基础。

随着信息时代的到来,信息安全成为一个突出问题。在军事通讯中,敌方总是希望截获并破译对方的通讯指令。二战期间,密码曾经是某些战争胜负的决定因素,例如西西里登陆,阿拉曼战役,中途岛海战和击落山本五十六大将的座机。在普通通讯中,从高级黑客到低级诈骗犯都想窃取别人的信息。所以,现代密码学应运而生。

1976年,美国密码学家惠特菲尔德•迪菲(Whitfield Diffie)和马丁•赫尔曼(Martin E. Hellman)提出了公开密钥密码体制的思想。

该体制不同于传统的密码体制,它要求密钥成对出现,一个为加密密钥(公钥),另一个为解密密钥(私钥),且不能从公钥推导出私钥。这样,即便窃密方知道加密的密钥也难以破解密码。

由于这一革命性的方案,迪菲和赫尔曼荣获2015年度图灵奖。

赫尔曼和迪菲

李维斯特, 沙米尔和阿德曼

1977年,麻省理工学院的三位数学家罗纳德•李维斯特(Ronald L. Rivest), 阿迪•沙米尔(Adi Shamir)和莱纳德•阿德曼(Leonard M. Adleman)基于数学中的大整数分解问题首次实现了这一思想,提出了RSA加密方案。

早在古希腊时期,欧几里得就已经证明:每一个正整数都可以被唯一地分解为素数的乘积。但是,当整数很大时,如何找到具体的分解方式却是一个非常困难的数学问题。

正是因为这一问题的复杂性,RSA密码体系的安全性才得以保障。由于这一方案,李维斯特,沙米尔和阿德曼荣获2002年度图灵奖。

自1976年以来,数学家和密码学家又建立了多种基于基础数学困难问题的密码体系。例如,基于离散对数的加密体系,基于椭圆曲线的加密体系等等。这些密码体系的应用极大地推动了信息科学和产业的发展,为网络时代的信息安全提供了保障。从此,原本被认为无用的基础数学直接进入了高技术的最核心领域。

数学护航量子科技

近30年来,量子科学与技术得到了飞速的发展。尽管还在实验探索阶段,量子计算机已被广泛地认为是下一次技术革命的发动机。

在量子计算机时代,计算机的智能性和计算速度将极大地提高。这将给许多科学问题的解决带来希望和曙光。

1994年,美国贝尔实验室的数学家彼得•绍尔(Peter Shor)提出了量子算法,并应用于密码学。

他的工作表明:在量子计算机时代,基于整数分解的公钥密码体系将被攻破。

也就是说,RSA密码体系在量子攻击下将不再安全。绍尔于1985年在麻省理工学院获数学博士学位,是一位享誉世界的当代数学家。

在绍尔的先驱工作基础上,人们进一步证明:在量子计算机时代,基于离散对数的密码体系和基于椭圆曲线的密码体系等多种广泛应用的密码体系都将被攻破。量子科学对现行的实用密码体系带来了严峻的挑战和危机。

彼得•绍尔

早在1840年,伟大的数学家弗里德里希•高斯(Carl Friedrich Gauss)提出了格的概念。

近两百年过去了,在许多数学家的努力下格理论已发展成为一个重要的数学分支。

1996年,美国数学家米克劳斯•阿杰泰(Miklós Ajtai)在格理论的基础上构建了一套密码加密体系。阿杰泰于1976年在匈牙利布达佩斯大学获数学博士学位,自1991年起在美国IBM研究院工作。

20多年过去了,人们至今没有找到攻破这一密码体系的量子算法。

密码学家普遍认为,格密码体系是能够抵抗量子算法攻击的。与此同时,人们也在不断地探索新的抗量子攻击的密码体系,为量子时代的科技护航。

科学技术的发展是无止境的。所以,我们必须认清科技创新的源头,布局人才、埋头实干,以求抢占先机。

在过去的一个世纪中,数学已经证明它在科技革命中不可替代的智能作用。在未来的科技革命中,数学也一定不会缺席。

 
特别声明:本文转载仅仅是出于传播信息的需要,并不意味着代表本网站观点或证实其内容的真实性;如其他媒体、网站或个人从本网站转载使用,须保留本网站注明的“来源”,并自负版权等法律责任;作者如果不希望被转载或者联系转载稿费等事宜,请与我们接洽。
 
 打印  发E-mail给: 
    
 
相关新闻 相关论文

图片新闻
遗传分析追踪潘多森林的进化 团队研制出高性能的蓝光量子点液体激光
宇航员可搭乘小行星前往金星或火星 泡菜等发酵食品真的对肠道有益吗?
>>更多
 
一周新闻排行
 
编辑部推荐博文