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