- 作 者：柯华庆著
- 出 版 社：上海：上海三联书店
- 出版年份：2014
- ISBN：9787542646132
- 标注页数：138 页
- PDF页数：168 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源168 ≥138页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
第1章 直觉主义的数学观 1
1.1区分各种构造主义 1
1.2直觉主义为什么选择数学直觉作为数学的基础？ 3
1.3直觉主义两个阶段的划分 6
1.4直觉主义第一阶段的直觉、构造和无穷 8
1.5直觉主义第二阶段的直觉、构造和无穷 10
1.6自然数序列、自然数的无穷序列与ω-规则 15
1.7直觉主义的无穷观重构 33
1.8直觉主义、排中律、真值性及决定论 37
第2章 直觉主义逻辑的不完全语义 45
2.1直觉主义数学与逻辑的关系 45
2.2 HQC的证明论语义 47
2.3 HQC中的构造性概念 52
第3章 直觉主义逻辑的完全语义 57
3.1 Dalen语义、Beth语义和Kripke语义 57
3.2拓扑和代数解释 69
第4章 构造性理论与可构造的理论 73
4.1构造性理论与可构造的理论之分 73
4.2 HQC与经典逻辑的关系 74
4.3 HQC是认知逻辑 78
第5章 否定词与五个直觉主义逻辑纲领 80
5.1直觉主义逻辑中的否定词存在的可能性 80
5.2从ELMQ看HQC的否定词 84
5.3否定词规则：语法规则还是逻辑规则？ 87
5.4 HQC中两条公理的合理性问题 88
5.5排序的直觉主义逻辑纲领 89
结语：无穷的探索 90
注释 95
参考文献 99
附录1：HQC的基本特征 110
附录2：直觉主义连续统 115
附录3：非构造对象与非构造证明举例 121
附录4：递归函数 124
附录5：ELMQ 126
附录6：符号说明 129
附录7：译名对照 131
后记 136