目 录

§1．引言

§2．集合与函数理论方面的一些预备知识

1．集合

2．函数

3．代入

4．部分映象

5．广延函数

6．特征函数

7．原始递归

8．可计算函数的例

§ 3．数理逻辑方面的预备知识

1．命题和命题形式

2．真假值

3．谓词及其运算

4．受囿的量词

5．最小数”算子

6．受囿的“最小数”算子

7．受囿的“最大数”算子

9．直观可计算谓词

8．受囿的“算个数”算子

§4．原始递归的函数、集合与谓词

1．原始递归函数

2．原始递归集合

3．原始递归谓词

4．原始递归函数（续完）

5．N与N8之间的原始递归对应

6．集合N∞的原始递归枚举函数

1．递归可枚举集合

§5．递归可枚举的集合与谓词

2．递归可枚举谓词

§6．部分递归函数

1．定义和基本假设

2．具有递归可枚举图形的函数

3．图形定理的推论

§7．一般递归的函数、集合与谓词

1．一般递归的函数与集合

2．一般递归谓词

3．一般递归的枚举函数

1．辅助工具

§8．原始递归函数的通用函数

2．通用函数

3．重要例子

§9．部分递归函数的通用函数和递归可枚举集合的通用集合

1．通用函数

2．重要例子

3．通用集合．通用序偶

§10．关于递归可枚举集合的补充知识

1．可单值化性

2．可分隔性和不可分隔性

3．单纯集

§11．编号和运算

1．编号和已编号集合

2．系统？(s)和P(8)的编号

3．构造性算子

§12．可计算函数论在数学分析中的应用：分出可计算实数

1．实数

（i）康托理论

（ii）狄德金理论

（iv）q进制理论

（iii）区间理论

2．有理数的可计算函数

3．可计算实数

（ i）康托意义下可计算的数

（ii）狄德金意义下可计算的数

（iii）区间意义下可计算的数

（iv）十进制可计算的数；q进制可计算的数

（v）构造性连续统

4．可计算实数的表示系统

§13．可计算函数论在逻辑学中的应用：否定定义的构造化

1．构造性的非有穷性

2．构造性的不可枚举性

3．构造性的不可分隔性

§14．可计算函数论在计算数学中的应用：抽象计算机的可能性

1．Ⅰ型机器

2．Ⅱ型机器

3．多带机器

4．在机器上可计算的函数

5．定理3和4的证明

参考文献

名词索引