
如果说冯·诺依曼结构是计算机的骨架,那么图灵机就是计算机的灵魂,这以后的计算机发展都是在丰满血肉罢了。
有趣的是,图灵机本来不是为了计算机提出的,而是为了解决希尔伯特在数学上的终极之问——虽然不够准确,但姑且就理解为「数学是万能的吗?」图灵机给出了否定的回答,也恰好框定了计算机的能力边界:
这是图灵机首要的贡献,相当于给出了计算机的数学模型。
其次,图灵机给出了计算机工作的理想模式,我们要判定某台机器是通用计算机,就必须先证明它是图灵等效的。现在图灵等效也用在编程语言的评价上。
还有一点,图灵机其实有存储程序的思想萌芽了,连冯·诺依曼都表示冯·诺依曼结构应该归功于图灵。所以计算机之父有很多,但图灵算得上是No1了。
