当前位置： 公理学、元数学与哲学 > 购买云解压PDF图书
- 作 者：张家龙著
- 出 版 社：上海：上海人民出版社
- 出版年份：1983
- ISBN：2074·412
- 注意：在使用云解压之前，请认真核对实际PDF页数与内容!
在线云解压
价格(点数)
购买连接
说明
转为PDF格式
7
（在线云解压服务）
云解压服务说明
1、本站所有的云解压默认都是转为PDF格式，该格式图书只能阅读和打印，不能再次编辑。
云解压下载及付费说明
1、所有的电子图书云解压均转换为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、云解压在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
第一章 公理学的发展 1
1.1 概述 1
1.2 第一阶段—实质公理学：《几何原本》 3
1.3 第二阶段—从实质公理学向形式公理学的过渡：非欧几何和射影几何 14
1.4 第三阶段—形式公理学：《几何基础》 22
1.5 第四阶段—以形式系统为研究对象的元数学的建立 28
第二章 逻辑演算及其元理论 34
2.1 命题演算 34
2.2 谓词演算 47
第三章 形式算术系统。不完全性和不可判定性 60
3.1 自然数算术的公理系统和形式算术系统 60
3.2 哥德尔不完全性定理 68
3.3 真值概念在形式算术系统中的不可定义性定理 83
3.4 车尔赤不可判定性定理 84
第四章 公理学和元数学的若干哲学问题 89
4.1 公理学的辩证本性 89
4.2 公理学中的唯心主义和形而上学观点批判 94
4.3 元数学成果的哲学意义 112
［附］参考文献 125