作业帮 > 数学 > 作业

图灵机可计算性

来源:学生作业帮 编辑:神马作文网作业帮 分类:数学作业 时间:2024/11/11 09:42:05
图灵机可计算性
图灵机可计算性
哥德尔不完全定理出现以后,发现许多明天是不能证明和不能计算的.究竟那些可以计算,不能由人说了算,应该有个机器说了算,于是出现了图灵机等若干个计算模型,凡是在图灵机上可以计算的函数,称为图灵机可计算函数.
这里有两个问题,第一:可以把图灵机想象成一个计算机.第二,同时出现的这些模型是等价的,因此也被公认是合理的.
所以,直观上的可计算函数,就是图灵机可计算函数.