为什么是图灵——计算理论的缘起

文章预览

点击上方“ 图灵人工智能 ”，选择“星标”公众号 您想知道的人工智能干货，第一时间送达                           1.引言 丘奇−图灵论题(Church−Turing Thesis)断言：图灵机是最广义的计算装置。丘奇−图灵论题有时也称图灵论题，是计算机科学的基石，它之于计算机科学，宛如公理之于几何学，牛顿定律之于物理学。计算理论的缘起就是丘奇−图灵论题的形成过程。费曼说微积分是上帝的语言。如果我们把第一次工业革命，归因于机械和能量，贴上牛顿的标签，而把当下正在经历的第四次工业革命归因于信息和计算；那么，上帝的语言该改成图灵机了。至少，英国50英镑钞票的头像刚刚从瓦特换成了图灵。 丘奇−图灵论题的根据就是所知的最广义的计算机制都是等价的，这些机制包括：广义递归函数、λ−演算、珀斯特(Post)系统、图灵机等 ………………………………