@Article{MC-14-1, author = {尼, 克}, title = {为什么是图灵? —— 计算理论的缘起}, journal = {数学文化}, year = {2023}, volume = {14}, number = {1}, pages = {75--92}, abstract = {
丘奇−图灵论题(Church−Turing Thesis)断言:图灵机是最广义的计算装置。丘奇−图灵论题有时也称图灵论题,是计算机科学的基石,它之于计算机科学,宛如公理之于几何学,牛顿定律之于物理学。计算理论的缘起就是丘奇−图灵论题的形成过程。费曼说微积分是上帝的语言。如果我们把第一次工业革命,归因于机械和能量,贴上牛顿的标签,而把当下正在经历的第四次工业革命归因于信息和计算;那么,上帝的语言该改成图灵机了。至少,英国50英镑钞票的头像刚刚从瓦特换成了图灵。