图灵机的魅力就在于，哪怕是如此简陋的一进制图灵机，它的数学模型其实和我们现代的计算机没有区别。
图灵认为这样的一台设备就足以模拟人类所能进行的任何计算过程。
数学家在思考数学问题的时候、在进行计算的时候，到底发生了些什么？
我们要如何去描述这个计算的过程？
以及，如何从中找到最基本的、最可靠的步骤？
从如何获取数学真理出发，在梳理了「可计算性」理论的发展史之后，我们终于抵达了「图灵机」。
而这也是现代计算机和人工智能诞生的前夜。
图灵机的魅力就在于，哪怕是如此简陋的一进制图灵机，它的数学模型其实和我们现代的计算机没有区别。
图灵认为这样的一台设备就足以模拟人类所能进行的任何计算过程。
数学家在思考数学问题的时候、在进行计算的时候，到底发生了些什么？
我们要如何去描述这个计算的过程？
以及，如何从中找到最基本的、最可靠的步骤？
从如何获取数学真理出发，在梳理了「可计算性」理论的发展史之后，我们终于抵达了「图灵机」。
而这也是现代计算机和人工智能诞生的前夜。