图灵机可计算性
收藏:
0
点赞数:
0
评论数:
0
1个回答

哥德尔不完全定理出现以后,发现许多明天是不能证明和不能计算的.究竟那些可以计算,不能由人说了算,应该有个机器说了算,于是出现了图灵机等若干个计算模型,凡是在图灵机上可以计算的函数,称为图灵机可计算函数.

这里有两个问题,第一:可以把图灵机想象成一个计算机.第二,同时出现的这些模型是等价的,因此也被公认是合理的.

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

点赞数:
0
评论数:
0
关注公众号
一起学习,一起涨知识