首页--哲学、宗教论文--逻辑学(论理学)论文--形式逻辑(名学、辩学)论文

悖论与数理逻辑的发展探析

<中文摘要>第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页

论文共39页,点击 下载论文
上一篇:电热水器远程控制器的实现及其于SOPC的设计
下一篇:强作用介质中具有细致平衡的喷注淬火和双轻子产生