递归论

递归论，递归论,diguilun，递归,diguilun，[拼音]：diguilun[外文]：recursion theory数理逻辑的一个分支，研究问题类是否存在解的算法；如果不存在，那么不可解的程度如何。在古代中国、希腊就有了算法概念，并且给出了算法的例子。后来古阿拉伯、古印度的人们也着手寻求算法。中世纪阿拉伯数学家花拉子米(al-K...