软件介绍: PDF扫描版《可计算性与数理逻辑》语言是简体中文，清晰度尚可。    我们的最终目标是给出某些关于计算能力和证明能力局限性的重要定理.在此之前，需要分析可计算性和可证明性.最初，计算涉及正整数1，2，3，…，而证明由通常的字母A，B．C…或某些其他符号的序列组成。重要的是，要通过分析可计算性和可证明性，来理解正整数和符号序列之间的关系，以及本章提供的有关背景材料。讨论的主要问题是区分两类不同的无限集：可枚举集和不可枚举集。本章只是集合论著作中更全面阐述的无限集理论内容的一部分：与计算和证明密切相关的部分。1.1节引进可枚举性的概念，1.2节则列举一些可枚举集的例子。下一章