递归论

数理逻辑的一个分支，研究问题类是否存在解的算法；如果不存在，那么不可解的程度如何。　　在古代中国、希腊就有了算法概念，并且给出了算法的例子。后来古阿拉伯、古印度的人们也着手寻求算法。中世纪阿拉伯数学家花 ......（本文共 1954 字 ）     [阅读本文] >>