可计算性与不可解性查看源代码讨论查看历史

原图链接来自 豆瓣网 的图片

《可计算性与不可解性》，数理逻辑的可计算理论领域的专著。M.戴维斯著。美国MCGRAW-Hill图书出版公司于1958年在纽约、多伦多和伦敦出版，在美国印刷。中译本北京大学出版社出版。

内容简介

本书分3部分，共10章。第1部分为可计算性的一般理论，分5章从图灵机的概念开始，定义了可计算函数，递归函数与可计算函数的等价性证明，引进了通用图灵机的概念和不可判定问题的概念，建立了回答有关问题的方法；第2部分(即第6—8章)为一般理论的应用，特别讲了希尔伯特第10问题；第3部分(第9—10章)为一般理论的进一步发展，讲述克林尼对算术谓词的分层，可计算泛函和不可解问题的分类。本书是算法理论方面一本既严格又通俗易懂并对希尔伯特第10问题有特殊研究的著作，对于有关问题的进展作出了积极的贡献。以希氏第10问题为例，本书出版后12年即1970年人们在本书所指引的方向上获得了否定解决，即不存算法去回答刁番图问题。

作者简介

M.戴维斯(MartinDavis)，美国数理逻辑学家，美国纽约大学库朗研究所教授。还著有《应用非标准分析》，有关希尔伯特第十问题论文若干篇，1965年编译论文集《不可判定性》。

工具书的发展

“工欲善其事，必先利其器”。工具书是一种依据特定的需要，广泛汇集相关的知识或文献资料，按一定的体例和检索方式编排，专供查资料线索的图书、文献，是人们在书山探宝，学海求知的“器”。学会和善于利用工具书，是做学问的一项基本功。

我国的工具书历史悠久，源远流长。据史籀记载，公元前8世纪周宣王就有字书《史籀篇》。如果说先秦是工具书的萌芽时期的话，那么两汉则是工具书的奠基时期。《方言》，《说文解字》《别录》《七略》等一批定型的字典、词典、书目，为以后工具书的发展打下了坚实的基础。

随着工具书的不断发展，种类也变得越来越多，除字典、词典、百科全书外，年鉴、手册在工具书类型中发展较快，品种多，规模大，既有综合性的，也有专门或专科性的，既有学术性的，也有生活方面的。

视频

可计算性与不可解性 相关视频

第一课时 数理逻辑 2.8数理逻辑的发展