本书是“逻辑与形而上学教科书系列”中的一本。递归论是数理逻辑的主要分支之一。本书介绍了递归论的基础知识，以及某些有影响的问题与经典构造。本书共分5章。第一章介绍了图灵机、递归、递归可枚举等概念以及相关的定理。第二章列举了一些重要的不可判定问题，其中包括希尔伯特第十问题（丢番图整数解判定问题）的否定性结果（即马季亚谢维奇定理）和它的完整证明。第三章介绍了递归论度理论的核心概念和基本事实。在第四章中，读者可以找到递归论中经典的构造技巧——尾节扩张（算术力迫）和有穷损害优先方法。第五章简单介绍了递归论的当前热点——算法随机性理论的基本概念，其中包含马丁-洛夫随机性的几个等价刻画。 本书可以作为递归论导论课程的教材，以期为进一步学习与研究递归论建立兴趣并打下基础。本书也可以帮助有兴趣的读者了解递归论的基本概念与技巧。

本书是“逻辑与形而上学教科书系列”中的一本。递归论是数理逻辑的主要分支之一。本书介绍了递归论的基础知识，以及某些有影响的问题与经典构造。本书共分5章。第一章介绍了图灵机、递归、递归可枚举等概念以及相关的定理。第二章列举了一些重要的不可判定问题，其中包括希尔伯特第十问题（丢番图整数解判定问题）的否定性结果（即马季亚谢维奇定理）和它的完整证明。第三章介绍了递归论度理论的核心概念和基本事实。在第四章中，读者可以找到递归论中经典的构造技巧——尾节扩张（算术力迫）和有穷损害优先方法。第五章简单介绍了递归论的当前热点——算法随机性理论的基本概念，其中包含马丁-洛夫随机性的几个等价刻画。 本书可以作为递归论导论课程的教材，以期为进一步学习与研究递归论建立兴趣并打下基础。本书也可以帮助有兴趣的读者了解递归论的基本概念与技巧。

简介：地球磁场消失，人类被迫迁入AI管控的地下城。基因筛选、反物质方舟、辐射暴乱背后，埋藏着伪造地核冷却的惊天谎言。当十万变异胚胎觉醒艺术基因，末路狂奔的文明迎来颠覆性重生。

简介：一个没有舌头的记录者

简介：地球磁场消失，人类被迫迁入AI管控的地下城。基因筛选、反物质方舟、辐射暴乱背后，埋藏着伪造地核冷却的惊天谎言。当十万变异胚胎觉醒艺术基因，末路狂奔的文明迎来颠覆性重生。

●继《论数码物的存在》《论中国的技术问题》之后，许煜技术哲学反思系列第三本著作；在令人不安的人类世困境中，审慎而充满希冀地重启技术之思。 ●以递归和偶然两个概念，勾勒自康德以来有机性概念的历史脉络，涵盖自然哲学、有机主义、控制论、系统论、器官学和生态学；对海德格尔的技术预言进行批判性分析，提出超越当前技术范式，走向多元宇宙技术的方法和途径； 生活在深受技术影响的21世纪，“如何理解技术”是每一个现代人无法逃避的问题。本书从递归和偶然这两个概念出发，运用系统论和有机论的思想资源，重启了中西思想资源中对技术的思考与反思，深入地讨论了欧洲现代和当代哲学，同时也以李约瑟为中介，来讨论中国思想的相关性。为我们面对人工智能时代，如何提供具有中国原创性的思考答案，提供了有益的参考。 本书采用递归和偶然作为两个基本概念来研究自然与技术，机器与生物，系统与自由之间的关...(展开全部)