第三次数学危机PDF格式文档图书下载
- 购买点数:9 点
- 作 者:胡作玄著
- 出 版 社:成都:四川人民出版社
- 出版年份:1985
- ISBN:17118·115
- 标注页数:198 页
- PDF页数:218 页
引言 1
1.历史上的数学危机 1
1.1 什么是数学危机 3
1.2 第二次数学危机 6
1.3 第一次数学危机的产物——古典逻辑与欧氏几何学 8
1.4 非欧几何学的诞生 11
1.5 第二次数学危机 15
2.第三次数学危机产生的背景 21
2.1 数学符号化的扩充:数理逻辑的兴起 24
2.1.1 命题演算 29
2.1.2 一阶谓词演算 37
2.1.3 其他逻辑演算 43
2.2 寻找数学的基础:集合论的创立 46
2.2.1 集合论的创立和传播 46
2.2.2 集合论简介 52
2.3 数学的公理化 68
2.3.1 初等几何学的公理化 69
2.3.2 算术的公理化 73
2.3.3 其他数学对象的公理化 78
3.悖论及其解决方案 81
3.1 一连串的悖论的出现 83
3.2 悖论动摇了整个数学的基础 90
3.3 罗素的类型论 92
3.4 策梅罗的公理集合论 97
4.哥德尔的发现:意想不到的结果 109
4.1 哥德尔小传 112
4.2 1930年数理逻辑的状况 117
4.3 1930年哥德尔的两项主要贡献 119
5.数理逻辑的大发展 123
5.1 证明论 126
5.2 递归论 133
5.3 模型论 143
5.4 公理集合论 155
5.4.1 选择公理 156
5.4.2 连续统假设 157
5.4.3 可构成性公理 158
5.4.4 马丁公理(MA) 160
5.4.5 大基数公理 161
5.4.6 决定性公理 162
6.数学与哲学 165
6.1 逻辑主义 168
6.2 直觉主义 173
6.3 形式主义 178
6.4 数学与哲学 187
结束语 195
- 《第三次数学危机》胡作玄著 1985
- 《数学悖论与三次数学危机》韩雪涛著 2016
- 《数学悖论与三次数学危机》韩雪涛著 2006
- 《二次数域的高斯猜想》陆洪文著 1994
- 《土壤质地灌溉次数及肥料用量与烟草生长之关系》管荣法 1946
- 《双三次数值模式引论》辜旭赞,张兵著(中国气象局武汉暴雨研究所) 2008
- 《从高斯到盖尔方特 二次数域的高斯猜想 the Gauss conjecture of quadratic field》陆洪文著 2013
- 《危机管理战略》余明阳,张慧彬等编著 2009
- 《企业危机管理》向荣,岑杰主编 2016
- 《危机管理》肖鹏英编著 2008
- 《数学与社会》胡作玄著 1991
- 《数学是什么》胡作玄著 2008
- 《数学与社会》胡作玄著 2016
- 《第三次数学危机》胡作玄著 1985
- 《近代数学史》胡作玄著 2006
- 《从毕达哥拉斯到费尔马》胡作玄著 1997
- 《数学与社会》胡作玄著 2008
- 《350年历程 从费尔马到维尔斯》胡作玄著 1996
- 《通向信息世界的异端之路 维纳》李醒民丛书主编;胡作玄著 1995
- 《引起纷争的金苹果 哲人科学家-康托尔》胡作玄著 1993
- 《最高人民法院新闻发布会实录 2012=records of supreme people's court press conferences 2012》 2222
- 《中华人民共和国国家标准 GB/T16623-1996 压配式实心轮胎=Pressed-on solid tyres》 2222
- 《中华人民共和国国家标准 GB/T16622-1996 压配式实心轮胎系列=Series of pressed-on solid tyres》 2222
- 《中华人民共和国国家标准 GB/T16623-2008 压配式实心轮胎技术规范=Technical specification of Pressed-on solid tyres》 2222
- 《城乡一体化 成都统筹城乡综合配套改革研究》蔡昉,程显煜主编 2008
- 《四川联合大学(四川大学·成都科技大学)年鉴 1996-1997》四川联合大学校长办公室主编 2222
- 《四川成都话音系词汇调查研究》何婉,饶冬梅著 2014
- 《中国地方志集成 四川府县志辑 天启成都府志 2 同治重修成都县志 2》中国地方志集成编委会编 2017
- 《四川成都话音系词汇调查研究》何婉 2013
- 《成都走笔》叶荣宗著 2010