现代逻辑若干问题研究PDF电子书下载
- 电子书积分:9 积分如何计算积分?
- 作 者:李娜编著
- 出 版 社:开封:河南大学出版社
- 出版年份:2000
- ISBN:7810417495
- 页数:186 页
第一篇 哥德尔不完全性定理及其哲学意义 4
第一章 哥德尔不完全性定理证明的主要过程 4
1 建立一阶形式数论系统 4
2 关于PQC的算术定理 7
3 配对函数 13
4 原始递归函数和原始递归谓词 14
5 哥德尔数和哥德尔配数法 17
6 关于数字可表示的问题 20
7 不可判定命题的形式结构 21
8 哥德尔不完全性定理 23
第二章 哥德尔不完全性定理的哲学意义 25
参考文献 28
第二篇 公理集合论中若干重大理论问题的逻辑分析第一章 选择公理的逻辑分析 32
1 ZF公理系统 33
2 选择公理的几种等价形式 36
3 选择公理的作用 42
4 选择公理的几种较弱的形式 45
参考文献 48
第二章 连续统假设的逻辑分析 49
1 什么是连续统假设 49
2 连续统假设的等价命题及推论 52
3 希尔伯特的尝试 54
4 连续统假设的相对协调性 56
5 连续统假设的相对独立性 102
6 连续统假设的应用 103
参考文献 104
第三章 马丁公理的逻辑分析 106
1 什么是马丁公理 106
2 马丁公理的等价形式及一些结论 111
3 马丁公理和连续统假设之间的关系 114
4 马丁公理在现代数学发展中的作用 118
参考文献 121
第四章 决定性公理的逻辑分析 122
1 什么是决定性公理 122
2 关于决定性公理的一些结果 123
3 决定性公理和大基数 131
参考文献 136
第五章 大基数理论的逻辑分析 138
1 基本概念 139
2 大基数之间的关系 142
3 大基数的应用 148
参考文献 149
第六章 力迫法的逻辑分析 150
1 力迫概念 152
2 力迫关系的基本性质 156
3 力迫关系的绝对性 160
4 力迫法的应用 172
5 有真类的力迫 177
参考文献 185
- 《红色旅游的社会效应研究》吴春焕著 2019
- 《汉语词汇知识与习得研究》邢红兵主编 2019
- 《生物质甘油共气化制氢基础研究》赵丽霞 2019
- 《东北民歌文化研究及艺术探析》(中国)杨清波 2019
- 《联吡啶基钌光敏染料的结构与性能的理论研究》李明霞 2019
- 《社会学与人类生活 社会问题解析 第11版》(美)James M. Henslin(詹姆斯·M. 汉斯林) 2019
- 《异质性条件下技术创新最优市场结构研究 以中国高技术产业为例》千慧雄 2019
- 《强制执行前沿与热点问题》陈兴责编;乔宇 2020
- 《《国语》和《战国策》词汇比较研究》陈长书著 2017
- 《中国制造业绿色供应链发展研究报告》中国电子信息产业发展研究院 2019
- 《市政工程基础》杨岚编著 2009
- 《家畜百宝 猪、牛、羊、鸡的综合利用》山西省商业厅组织技术处编著 1959
- 《《道德经》200句》崇贤书院编著 2018
- 《高级英语阅读与听说教程》刘秀梅编著 2019
- 《计算机网络与通信基础》谢雨飞,田启川编著 2019
- 《看图自学吉他弹唱教程》陈飞编著 2019
- 《法语词汇认知联想记忆法》刘莲编著 2020
- 《培智学校义务教育实验教科书教师教学用书 生活适应 二年级 上》人民教育出版社,课程教材研究所,特殊教育课程教材研究中心编著 2019
- 《国家社科基金项目申报规范 技巧与案例 第3版 2020》文传浩,夏宇编著 2019
- 《流体力学》张扬军,彭杰,诸葛伟林编著 2019