- 作 者：（美）巴克尔，史蒂芬·著；韩光焘译
- 出 版 社：北京：生活·读书·新知三联书店
- 出版年份：1989
- ISBN：7108001217
- 标注页数：220 页
- PDF页数：229 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源229 ≥220页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
第一章 导论 1
关于数学的哲学问题 1
先天的与经验的知识 5
分析的与综合的知识 14
语言构造的开放性 21
第二章 欧几里得几何学 29
埃及人与希腊人 29
欧几里得的程序 32
欧几里得的公设*35）欧几里得的公理和定义 38
欧几里得的定理 42
演绎系统的现代观 44
公理化的动机 48
作为先天知识的几何学 51
作为综合知识的几何学 57
第三章 非欧几里得几何学 64
欧几里得第五公设 64
萨克里 67
罗巴切夫斯基几何学 70
黎曼几何学 71
一致性问题 75
欧几里得《原本》中的逻辑空缺 76
以抽象的方式看待下的演绎系统 80
未解释的几何学及其解释 83
不一致性 90
将几何学解释为经验的知识 96
将几何学解释为先天的知识 101
先天解释的意义 106
第四章 数与数的确实论哲学 113
自然数 117
定义较高类型的数 123
超穷数 128
我们应当解释数的理论吗？ 136
唯名论 142
概念论与直观主义者 147
实在论与逻辑主义命题 159
第五章 走向数的非确实观 167
悖论 168
类型论 174
避免悖论的其它方法 182
形式化的演绎系统 187
不完全性 192
形式主义 199
作为分析陈述的数的定律 204
进一步的阅读书目 214