书籍介绍
Classic text considers general theory of computability, computable functions, operations on computable functions, Turing machines self-applied, unsolvable decision problems, applications of general theory, mathematical logic, Kleene hierarchy, computable functionals, classification of unsolvable decision problems and more.
用户评论
讲的非常好，至少前后不矛盾，认真看能看懂。图灵机和godel数的转化。
作者是希尔伯特第十问题的解决者，作为递归论的深入，该作品堪称神作
Dover Publications的其他书籍查看全部
收藏