[译漫画]火箭之父戈达德 | 航天探索小组 | 果壳网 科技有意思

2. 图灵机这个概念是出自图灵为了解决希尔伯特问题中关于“数学是可判定的么？”这一问题而想象出的计算模型，出自他的论文，于1936年提出。但是这个问题美国的邱奇·阿隆索已经使用λ演算进行证明了。不过不同的是图灵的计算模型是基于一种自动计算的机器，而邱奇的λ演算则是一种计算规则。图灵论文写完后邱奇的论文已经发表了，但是图灵的老师依然认为图灵解决问题的思路很有意思，于是写信将图灵推荐给了邱奇，随后图灵成了邱奇的博士生。这篇论文是发表了的，只不过图灵在论文里是没有将这种机器称为图灵机的。所以不存在什么图灵机的概念要保密。