图灵机什么是“图灵机”和“图灵实验”

图灵机可计算性

哥德尔不完全定理出现以后，发现许多明天是不能证明和不能计算的。

究竟那些可以计算，不能由人说了算，应该有个机器说了算，于是出现了图灵机等若干个计算模型，凡是在图灵机上可以计算的函数，称为图灵机可计算函数。

这里有两个问题，第一：可以把图灵机想象成一个计算机。

第二，同时出现的这些模型是等价的，因此也被公认是合理的。

所以，直观上的可计算函数，就是图灵机可计算函数。

什么是“图灵机”和“图灵实验”

图灵机的内容看这里/view/117065.htm 图灵试验（Turing test）是图灵提出的一个关于判断机器是否能够思考的著名试验。

试验内容：如果一个人使用任意一串问题去询问两个他不能看见的对象：一个是正常思维的人；一个是机器，如果经过若干询问以后他不能得出实质的区别，则此机器通过图灵试验。