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

第三，图灵从人用纸笔计算中抽象出图灵机的假想模型，接着用数学进行了论证。这里暗含着一种工作思路：提出假设；验证假设。首先需要根据某种逻辑提出一个假设；然后，要对假设进行验证，验证的方式包括理论验证（数理证明）、实验验证、事实验证等，验证结果是对假设的证明或证伪。这一思路，正是本教程所提倡的演进式架构中的重要方法，大家可在后面课程中去体会。

最后，再重申一下。我们推导出的图灵机模型不是它的精确定义，只是一个好理解的概念模型。如果大家对图灵机的精确定义感兴趣，可以去看图灵的论文《论数字计算在决断难题中的应用》。不过，我要提醒一下，看这个小学数学基础可不行，“外婆交（教）大”的也难，大家需量力而行，且行且珍惜。