<中文摘要> | 第1页 |
<中文关键词> | 第3-4页 |
<英文摘要> | 第4-5页 |
<英文关键词> | 第5-6页 |
引 言 | 第6页 |
一、集合论悖论的发现及其影响 | 第6-8页 |
二、悖论与数理逻辑的形成和发展 | 第8-33页 |
(一)悖论与数理逻辑的三大学派 | 第9-17页 |
1、悖论与逻辑主义学派 | 第9-12页 |
2、悖论与直觉主义学派 | 第12-14页 |
3、悖论与形式主义学派 | 第14-17页 |
(二)悖论与数理逻辑的三大成就 | 第17-26页 |
1、悖论与哥德尔不完全性定理 | 第17-22页 |
2、悖论与图灵机理论 | 第22-23页 |
3、悖论与塔尔斯基的语义学 | 第23-26页 |
(三)悖论与“四论”的形成和发展 | 第26-33页 |
1、悖论与公理化集合论 | 第26-29页 |
2、悖论与证明论 | 第29-31页 |
3、悖论与递归论 | 第31-32页 |
4、悖论与模型论 | 第32-33页 |
三、意义和启示 | 第33-36页 |
(一)悖论与数理逻辑关系研究的方法论意义 | 第33-34页 |
(二)悖论与数理逻辑关系研究所得到的启示 | 第34-36页 |
结 语 | 第36-37页 |
<参考文献> | 第37-39页 |
后 记 | 第39页 |