一切都源自图灵机
“计算”这个概念虽然易于识别,却难以定义。有一种说法认为,计算就是计算机所做的工作。但是,人类也可以进行计算的工作(事实上,图灵提到的“电脑”指的是人,而不是机器),并且计算机所做的也并不都是计算工作(如发送电子邮件和打印文件)。
当某人做减法时,比如从千位上减1、百位上加10,我们认为这是一种计算。但当我们看到一辆汽车撞翻了一张桌子时,我们却并不认为这是计算。
大致来讲,当过程中涉及步骤或序列,且该步骤或序列被限制在一定范围内时,我们就认定其为计算。两个数字间的减法是逐列进行的;列数越多,计算过程便越长。我们不妨将汽车撞翻桌子时的能量转移想象成一个整体的变化。我们无须考虑桌子最远端对于汽车碰撞的瞬间反应,这毕竞要取决于桌子的大小。
(但这只是大体上正确。我们不难想到,现代计算机能够同时处理大量的数据计算。我们能够对物理过程进行电脑模拟计算,以确定汽车撞翻桌子的瞬间动能是如何转化和分解的,然后再重新集合在一起。)其实,我们不必纠结于如何给“计算”下定义,只需要选取一个实例,建立一个具体的模型,分析其属性,然后再决定该定义是否完善就可以了。这样做更有实际意义。
第日章符号与符号处理
131