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