逻辑与形而上学教科书系列:数理逻辑·证明及其限度

逻辑与形而上学教科书系列:数理逻辑·证明及其限度
作者:
郝兆宽,杨睿之,杨跃
语言:
中文
类型:
EPUB
页数:
246页
大小:
13.91 MB
出版社:
复旦大学出版社
出版时间:
2014-11-01
ISBN:
9787309107104

内容简介

《集合论:对无穷概念的探索》是“逻辑与形而上学教科书系列”中的一本,书中介绍了集合论的基础知识,共有集合与公理,关系与函数,实数的构造,基数,滤、理想与无界闭集,集合的宇宙,可构成集,力迫等9章内容;除了讨论集合论的基本概念,还讨论了可构成集、力迫法等现代内容,同时还讨论了与连续统假设相关的一些哲学问题。

目录

作者弁言
欢迎来到康托乐园
第一章 集合与公理
1.1 罗素悖论
1.2 一点数理逻辑
1.3 公理
1.4 习题
第二章 关系与函数
2.1 关系
2.2 函数
2.3 等价与划分
2.4 序
2.5 习题
第三章 实数的构造
3.1 自然数
3.2 自然数上的递归定理与运算
3.3 等势
3.4 整数与有理数
3.5 实数
3.6 不可数集合
3.7 习题
第四章 序数
4.1 良序集
4.2 序数
4.3 超穷归纳与递归
4.4 序数算术
4.5 古德斯坦定理
4.6 选择公理
4.7 习题
第五章 基数
5.1 定义基数
5.2 基数算术
5.3 共尾
5.4 无穷和与积
5.5 基数幂运算
5.6 习题
第六章 滤、理想与无界闭集
6.1 集合上的滤
6.2 无界闭滤
6.3 习题
第七章 集合的宇宙
7.1 又一点数理逻辑
7.2 层垒的谱系
7.3 相对化
7.4 绝对性
7.5 基础公理的相对一致性
7.6 基于良基关系的归纳与递归
7.7 基础公理下的绝对性
7.8 不可达基数与ZFC的模型
7.9 反映定理
7.10 习题
第八章 可构成集
8.1 可定义性与哥德尔运算
8.2 哥德尔的L
8.3 可构成公理与相对一致性
8.4 习题
第九章 力迫
9.1 力迫法的基本思想
9.2 脱殊扩张
9.3 力迫
9.4 M中的ZFC
9.5 CH的相对独立性
9.6 CH GCH的相对一致性
9.7习题
参考文献
索引

下载权限
查看
  • 免费下载
    评论并刷新后下载
    登录后下载
  • {{attr.name}}:
您当前的等级为
登录后免费下载登录 小黑屋反思中,不准下载! 评论后刷新页面下载评论 支付以后下载 请先登录 您今天的下载次数(次)用完了,请明天再来 支付积分以后下载立即支付 支付以后下载立即支付 您当前的用户组不允许下载升级会员
您已获得下载权限 您可以每天下载资源次,今日剩余
免责申明
1. 本站分享的所有书籍均来源于自互联网,我们只进行收集整理,并不对书籍内容进行更改。
2. 部分书籍中可能有书籍压制者放置的广告,这并不是本站所为,请注意甄别。
3. 我们分享这些书籍,纯粹是出于知识分享的热情,以及对互联网分享精神的高度认同和践行,不以盈利为目的。
4. 本站分享的所有书籍,仅供个人学习研究使用,请勿用于任何商业用途,否则产生的一切法律纠纷与本站无关。
5. 如果这些书籍让你有所收获,在条件允许的情况下,请一定购买正版书籍,这是对创作者最好的支持。
6. 如果您是此书籍的版权所有者,且您不希望此作品出现在本站,请联系我们,我们将在收到您的请求后48小时内予以删除。

📖 支持知识自由流动

每一本书的稳定访问,都离不开服务器、存储与带宽的长期维护。

0 条回复 A文章作者 M管理员
    暂无讨论,说说你的看法吧
个人中心
今日签到
有新私信 私信列表
搜索