数理逻辑和算法理论课件：丘奇-图灵论题的创立和计算机的出现.pptx

丘奇-图灵论题的创立

和计算机的出现

目录1可计算性理论的兴起2丘奇-图灵论题的创立3图灵理想计算机的意义4计算机的出现

可计算性理论的兴起5.1

5.1可计算性理论的兴起哥德尔首次精确地给出原始递归函数的描述性定义之后，激起了人们在原始递归函数基础上进一步寻找与研究更为一般的可计算函数的热情，开始提出并猜测:原始递归函数是否穷尽了一切可计算的函数？结果很快发现了其答案是否定的。因为，令0,…,如表示原始递归函数的有穷序列,如果定义函数g(n)=如3)+1,则这个函数g直观上是可计算的，但它不出现在这一有穷序列之中，而且不是原始递归的。据此,可计算的但非