图灵机可计算性

来源:学生作业帮助网 编辑:作业帮 时间:2024/05/03 05:32:41
图灵机可计算性

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

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