图灵机可计算性

来源:学生作业帮助网 编辑:六六作业网 时间:2024/12/22 14:50:12
图灵机可计算性图灵机可计算性图灵机可计算性哥德尔不完全定理出现以后,发现许多明天是不能证明和不能计算的.究竟那些可以计算,不能由人说了算,应该有个机器说了算,于是出现了图灵机等若干个计算模型,凡是在图

图灵机可计算性
图灵机可计算性

图灵机可计算性
哥德尔不完全定理出现以后,发现许多明天是不能证明和不能计算的.究竟那些可以计算,不能由人说了算,应该有个机器说了算,于是出现了图灵机等若干个计算模型,凡是在图灵机上可以计算的函数,称为图灵机可计算函数.
这里有两个问题,第一:可以把图灵机想象成一个计算机.第二,同时出现的这些模型是等价的,因此也被公认是合理的.
所以,直观上的可计算函数,就是图灵机可计算函数.