对计算科学与计算机发展的思考

1、对计算科学与计算机发展的思考摘要 :本文从什么是计算说起 ,通过对计算机的发展历史和人类对计算本质认识的 回顾 , 提出量子计算系统的发展和成熟,并且提出了人类认识未知世界的规律: “计算工具不断发展整体思维能力的不断增强公理系统的不断扩大旧 的神谕被解决新的神谕不断产生”不断循环。关键词 :计算科学计算工具图灵模型量子计算1 计算的本质抽象地说，所谓计算，就是从一个符号串f变换成另一个符号串g。比如说，从 符号串 12+3 变换成 15 就是一个加法计算。如果符号串 f 是 x2, 而符号串 g 是 2x,从f到g的计算就是微分。定理证明也是如此，令f表示一组公理和推导规则， 令g是一个定理

2、，那么从f到g的一系列变换就是定理g的证明。从这个角度看, 文字翻译也是计算 ,如 f 代表一个英文句子 ,而 g 为含意相同的中文句子 ,那么从 f 到 g 就是把英文翻译成中文。这些变换间有什么共同点？为什么把它们都叫做 计算？因为它们都是从己知符号 （串 ）开始,一步一步地改变符号 （串）,经过有限步 骤,最后得到一个满足预先规定的符号 （串）的变换过程。从类型上讲 ,计算主要有两大类 :数值计算和符号推导。数值计算包括实数和 函数的加减乘除、幂运算、开方运算、方程的求解等。符号推导包括代数与各种 函数的恒等式、不等式的证明 ,几何命题的证明等。但无论是数值计算还是符号 推导,它们在本质

3、上是等价的、 一致的 ,即二者是密切关联的 ,可以相互转化 ,具有共 同的计算本质。随着数学的不断发展 ,还可能出现新的计算类型。2 远古的计算工具人们从开始产生计算之日 ,便不断寻求能方便进行和加速计算的工具。因此 计算和计算工具是息息相关的。早在公元前 5 世纪,中国人已开始用算筹作为计算工具 ,并在公元前 3 世纪得 到普遍的采用 ,一直沿用了二千年。后来 ,人们发明了算盘 ,并在 15 世纪得到普遍 采用 ,取代了算筹。它是在算筹基础上发明的 ,比算筹更加方便实用 ,同时还把算法 口诀化 ,从而加快了计算速度。3 近代计算系统近代的科学发展促进了计算工具的发展 :在 1614 年,对数

4、被发明以后 ,乘除运 算可以化为加减运算 ,对数计算尺便是依据这一特点来设计。 1620 年 ,冈特最先利 用对数计算尺来计算乘除。 1850 年,曼南在计算尺上装上光标 ,因此而受到当时科 学工作者 ,特别是工程技术人员广泛采用。机械式计算器是与计算尺同时出现的,是计算工具上的一大发明。 帕斯卡于 1642 年发明了帕斯卡加法器。 在 1671 年, 莱布尼茨发明了一种能作四则运算的手摇计算器 ,是长 1 米的大盒子。自此以后 , 经过人们在这方面多年的研究 ,特别是经过托马斯、奥德内尔等人的改良后 ,出现 了多种多样的手摇计算器 ,并风行全世界。4 电动计算机英国的巴贝奇于 1834 年

5、,设计了一部完全程序控制的分析机 ,可惜碍于当时 的机械技术限制而没有制成 ,但已包含了现代计算的基本思想和主要的组成部分 了。此后 ,由于电力技术有了很大的发展 ,电动式计算器便慢慢取代以人工为动力 的计算器。 1941 年,德国的楚泽采用了继电器 ,制成了第一部过程控制计算器 ,实 现了 100 多年前巴贝奇的理想。5 电子计算机20 世纪初 ,电子管的出现 ,使计算器的改革有了新的发展 ,美国宾夕法尼亚大 学和有关单位在 1946 年制成了第一台电子计算机。电子计算机的出现和发展 使人类进入了一个全新的时代。 它是 20 世纪最伟大的发明之一 ,也当之无愧地被 认为是迄今为止由科学和技术

6、所创造的最具影响力的现代工具。在电子计算机和信息技术高速发展过程中，因特尔公司的创始人之一戈登摩 尔(Godo nMoore)对电子计算机产业所依赖的半导体技术的发展作出预言：半导 体芯片的集成度将每两年翻一番。 事实证明,自20世纪60年代以后的数十年内 , 芯片的集成度和电子计算机的计算速度实际是每十八个月就翻一番,而价格却随之降低一倍。这种奇迹般的发展速度被公认为“摩尔定律”。6“摩尔定律”与“计算的极限” 人类是否可以将电子计算机的运算速度永无止境地提升?传统计算机计算能力的提高有没有极限 ?对此问题 ,学者们在进行严密论证后给出了否定的答案。如 果电子计算机的计算能力无限提高 ,最终

7、地球上所有的能量将转换为计算的结果 造成熵的降低 ,这种向低熵方向无限发展的运动被哲学界认为是禁止的,因此,传统电子计算机的计算能力必有上限。而以 IBM 研究中心朗道 (R.Landauer) 为代表的理论科学家认为到 21 世纪 30 年代,芯片内导线的宽度将窄到纳米尺度 (1 纳米=10-9 米),此时,导线内运动的 电子将不再遵循经典物理规律牛顿力学沿导线运行,而是按照量子力学的规律表现出奇特的“电子乱窜”的现象,从而导致芯片无法正常工作 ;同样,芯片中晶体管的体积小到一定临界尺寸 (约 5 纳米)后,晶体管也将受到量子效应干扰而 呈现出奇特的反常效应。哲学家和科学家对此问题的看法十分

8、一致 ：摩尔定律不久将不再适用。也就是说,电子计算机计算能力飞速发展的可喜景象很可能在 21 世纪前 30 年内终止著名科学家 ,哈佛大学终身教授威尔逊 (EdwardO.Wilson) 指出 : “科学代表着一 个时代最为大胆的猜想 (形而上学)。它纯粹是人为的。 但我们相信,通过追寻“梦 想发现解释梦想”的不断循环 ,我们可以开拓一个个新领域 ,世界最终会 变得越来越清晰 ,我们最终会了解宇宙的奥妙。所有的美妙都是彼此联系和有意 义的。” /论文/网 LunWenNet/Com7 量子计算系统量子计算最初思想的提出可以追溯到 20 世纪 80 年代。物理学家费曼 RichardP .Fey

9、nman 曾试图用传统的电子计算机模拟量子力学对象的行为。 他遇 到一个问题 :量子力学系统的行为通常是难以理解同时也是难以求解的。以光的 干涉现象为例 ,在干涉过程中 ,相互作用的光子每增加一个 ,有可能发生的情况就 会多出一倍 ,也就是问题的规模呈指数级增加。模拟这样的实验所需的计算量实 在太大了 ,不过 ,在费曼眼里 ,这却恰恰提供一个契机。 因为另一方面 ,量子力学系统 的行为也具有良好的可预测性 :在干涉实验中 ,只要给定初始条件 ,就可以推测出 屏幕上影子的形状。 费曼推断认为如果算出干涉实验中发生的现象需要大量的计 算 ,那么搭建这样一个实验 ,测量其结果 ,就恰好相当于完成了一

10、个复杂的计算。因 此 ,只要在计算机运行的过程中 ,允许它在真实的量子力学对象上完成实验 ,并把 实验结果整合到计算中去 ,就可以获得远远超出传统计算机的运算速度。在费曼设想的启发下 ,1985 年英国牛津大学教授多伊奇 DavidDeutsch 提出 是否可以用物理学定律推导出一种超越传统的计算概念的方法即推导出更强的 丘奇图灵论题。费曼指出使用量子计算机时 ,不需要考虑计算是如何实现的 , 即把计算看作由“神谕”来实现的:这类计算在量子计算中被称为“神 谕” (Oracle) 种种。迹象表明 :量子计算在一些特定的计算领域内确实比传统计算更强,例如 ,现代信息安全技术的安全性在很大程度上依

11、赖于把一个大整数(如1024 位的十进制数 )分解为两个质数的乘积的难度。 这个问题是一个典型的“困 难问题” , 困难的原因是目前在传统电子计算机上还没有找到一种有效的办法将 这种计算快速地进行。目前 ,就是将全世界的所有大大小小的电子计算机全部利 用起来来计算上面的这个 1024 位整数的质因子分解问题 ,大约需要 28 万年 ,这已 经远远超过了人类所能够等待的时间。而且 ,分解的难度随着整数位数的增多指 数级增大 ,也就是说如果要分解 2046 位的整数 ,所需要的时间已经远远超过宇宙 现有的年龄。而利用一台量子计算机 ,我们只需要大约 40 分钟的时间就可以分解 1024 位的整数了

12、。8 量子计算中的神谕人类的计算工具 ,从木棍、石头到算盘 ,经过电子管计算机 ,晶体管计算机 ,到现 在的电子计算机 ,再到量子计算。笔者发现这其中的过程让人思考 :首先是人们发 现用石头或者棍棒可以帮助人们进行计算 ,随后 ,人们发明了算盘 ,来帮助人们进 行计算。当人们发现不仅人手可以搬动“算珠” , 机器也可以用来搬动“算珠”, 而且效率更高 ,速度更快。随后 ,人们用继电器替代了纯机械 ,最后人们用电子代替 了继电器。就在人们改进计算工具的同时 ,数学家们开始对计算的本质展开了研 究,图灵机模型告诉了人们答案。量子计算的出现 ,则彻底打破了这种认识与创新规律。它建立在对量子力学 实验

13、的在现实世界的不可计算性。 试图利用一个实验来代替一系列复杂的大量运 算。可以说。这是一种革命性的思考与解决问题的方式。因为在此之前 ,所有计算均是模拟一个快速的“算盘”, 即使是最先进的电子计算机的 CPU 内部 ,64 位的寄存器 (register), 也是等价于一个有着 64 根轴的二进制算盘。量子计算则完全不同 ,对于量子计算的核心部件 ,类似于古代希腊中的“神谕” , 没有人弄清楚神谕内部的机理,却对“神谕”内部产生的结果深信不 疑。人们可以把它当作一个黑盒子 ,人们通过输入 ,可以得到输出 ,但是对于黑盒子 内部发生了什么和为什么这样发生确并不知道。9 “神谕”的挑战与人类自身的回应人类的思考能力,随着计算工具的不断进化而不断加强。电子计算机和互联网的出现 ,大大加强了人类整体的科研能力 那么 ,量子计算系统的产生 ,会给人类整体带来更加强大的科研能力和思考能力 并最终解决困扰当今时代的量子“神谕”。不仅如此 ,量子计算系统会更加深刻 的揭示计算的本质 ,把人类对计算本质的认识从牛顿世界中扩充到量子世界中。如果观察历史 ,会发现人类文明不断增多的“发现”已经构成了我们理解世 界的“公理”, 人们的公理系统在不断的增大,随