架构思维训练之自己推导图灵机( 五 )_前言上节课我们谈到了架构思维就是创造

面对这些问题，图灵出色的完成他的论证，提出了图灵机模型。严格来讲图灵机是一种数学模型、计算理论模型。图灵机一旦被实现，就可以用来解决任何可计算问题，所有的现代计算机，包括量子计算机都没有超出图灵机的理论范畴。

目前作为读者的你，对图灵机了解应该达到了一种“脑瓜子嗡嗡地”程度了吧。如果是，不要着急，咱们前面说过从生活中的例子就能推导出图灵机。当然我们能推导出的只是一个好理解的概念模型并不是图灵机的精确定义，至于数学论证，“臣妾做不到啊！”，恳请大家高抬贵手放过在下吧！

另外，再补充一下。上面提到的“判断一个问题能否在有限时间内计算出结果”，引出了数学界有名的“停机问题”。简单来说：上述判断是由人来判定？还是由运行算法的机器来判定？当然，我们希望由机器来做，但是机器能判断出来吗？事实是机器无法判断，这个结论是被论证过的。停机问题，只能由人来保证：不能让一个不能停止的算法在机器上运行，否则机器将陷入无法停机的状态。

有过编程经验的小伙伴，一定都知道不要编写 “死循环”的程序。对这个问题简单理解就是，如果程序不能停止，势必让计算机陷入“哥忙着呢，不要烦哥”的状态而无法自拔。如果程序能停止，那还要计算机判断干啥？所以，停机问题是编程人员不可推卸的分内活，死循环这锅，计算机可不背。