架构思维训练之自己推导图灵机(15)

架构思维训练之自己推导图灵机

图灵机的假想模型

只有一个概念模型还是远远不够的,必须得精确证明这个图灵机模型能够计算所有有限步骤内可计算的数学问题。数学是书写科学的语言,作为科学家的图灵必须要给出图灵机模型的数学证明。图灵的伟大之处也在于此,他提出了图灵机模型并给出了严格的数学证明,从理论上论证了用机器替代人脑计算的可行性,为计算机的实现奠定了理论基础。到此,咱们对图灵机的推导算是告一段落。

(五)推导复盘

下面我们将从三个角度复盘图灵机的推导过程:

第一,我们是从用机器模拟人类计算过程的角度推导出图灵机。为什么能这样做呢?从信息的角度看,人自身就是一个信息处理的生物机体。我们的眼睛、耳朵、鼻子以及布满全身的各类感受器,就是信息的接收装置。通过神经系统把收集到的信息传送给大脑(神经中枢),大脑对信息进行加工处理后产生反应信息,再通过神经系统传达给各类效应器(如:肌肉、腺体等)产生具体反应。

推荐阅读