为什么是图灵？
—— 计算理论的缘起
—— 计算理论的缘起
丘奇−图灵论题（Church−Turing Thesis）断言：图灵机是最广义的计算装置。丘奇−图灵论题有时也称图灵论题，是计算机科学的基石，它之于计算机科学，宛如公理之于几何学，牛顿定律之于物理学。计算理论的缘起就是丘奇−图灵论题的形成过程。费曼说微积分是上帝的语言。如果我们把第一次工业革命，归因于机械和能量，贴上牛顿的标签，而把当下正在经历的第四次工业革命归因于信息和计算；那么，上帝的语言该改成图灵机了。至少，英国50英镑钞票的头像刚刚从瓦特换成了图灵。