4.4 用户推荐指数
文学
类型
8.7
豆瓣评分
可以朗读
语音朗读
156千字
字数
2017-11-01
发行日期
展开全部
主编推荐语
绝赞的数学科普书，在动人的故事中走近数学，在青春的浪漫中理解数学。
内容简介
《数学女孩》系列以小说的形式展开，重点描述一群年轻人探寻数学中的美。内容由浅入深，数学讲解部分十分精妙，被称为“绝赞的数学科普书”。
《数学女孩3：哥德尔不完备定理》有许多巧思。每一章针对不同议题进行解说，再于最后一章切入正题——哥德尔不完备定理。作者巧妙地以每一章的概念作为拼图，拼出与塔斯基的形式语言的真理论、图灵机和判定问题一道被誉为“现代逻辑科学在哲学方面的三大成果”的哥德尔不完备定理的大概证明。
目录
- 版权信息
- 致读者
- 序言
- 第1章 镜子的独白
- 1.1 谁是老实人
- 1.1.1 镜子呀镜子
- 1.1.2 谁是老实人
- 1.1.3 相同的回答
- 1.1.4 回答是沉默
- 1.2 逻辑谜题
- 1.2.1 爱丽丝、博丽丝和克丽丝
- 1.2.2 用表格来想
- 1.2.3 出题者的心思
- 1.3 帽子是什么颜色
- 1.3.1 不知道
- 1.3.2 对出题者的验证
- 1.3.3 镜子的独白
- 第2章 皮亚诺算术
- 2.1 泰朵拉
- 2.1.1 皮亚诺公理
- 2.1.2 无数个愿望
- 2.1.3 皮亚诺公理 PA1
- 2.1.4 皮亚诺公理 PA2
- 2.1.5 养大
- 2.1.6 皮亚诺公理 PA3
- 2.1.7 小的？
- 2.1.8 皮亚诺公理 PA4
- 2.2 米尔嘉
- 2.2.1 皮亚诺公理 PA5
- 2.2.2 数学归纳法
- 2.3 在无数脚步之中
- 2.3.1 有限？无限？
- 2.3.2 动态？静态？
- 2.4 尤里
- 2.4.1 加法运算？
- 2.4.2 公理呢？
- 第3章 伽利略的犹豫
- 3.1 集合
- 3.1.1 美人的集合
- 3.1.2 外延表示法
- 3.1.3 餐桌
- 3.1.4 空集
- 3.1.5 集合的集合
- 3.1.6 公共部分
- 3.1.7 并集
- 3.1.8 包含关系
- 3.1.9 为什么要研究集合
- 3.2 逻辑
- 3.2.1 内涵表示法
- 3.2.2 罗素悖论
- 3.2.3 集合运算和逻辑运算
- 3.3 无限
- 3.3.1 双射鸟笼
- 3.3.2 伽利略的犹豫
- 3.4 表示
- 3.4.1 归途
- 3.4.2 书店
- 3.5 沉默
- 第4章 无限接近的目的地
- 4.1 家中
- 4.1.1 尤里
- 4.1.2 男生的“证明”
- 4.1.3 尤里的“证明”
- 4.1.4 尤里的“疑惑”
- 4.1.5 我的讲解
- 4.2 超市
- 4.3 音乐教室
- 4.3.1 字母的导入
- 4.3.2 极限
- 4.3.3 凭声音决定音乐
- 4.3.4 极限的计算
- 4.4 归途
- 第5章 莱布尼茨1之梦
- 5.1 若尤里，则非泰朵拉
- 5.1.1 “若……则……”的含义
- 5.1.2 莱布尼茨之梦
- 5.1.3 理性的界限？
- 5.2 若泰朵拉，则非尤里
- 5.2.1 备战高考
- 5.2.2 上课
- 5.3 若米尔嘉，则米尔嘉
- 5.3.1 教室
- 5.3.2 形式系统
- 5.3.3 逻辑公式
- 5.3.4 “若……则……”的形式
- 5.3.5 公理
- 5.3.6 证明论
- 5.3.7 推理规则
- 5.3.8 证明和定理
- 5.4 不是我，还是我
- 5.4.1 家中
- 5.4.2 形式的形式
- 5.4.3 含义的含义
- 5.4.4 若“若……则……”，则……
- 5.4.5 邀约
- 第6章 □语言
- 6.1 数列的极限
- 6.1.1 从图书室出发
- 6.1.2 到达阶梯教室
- 6.1.3 理解复杂式子的方法
- 6.1.4 看“绝对值”
- 6.1.5 看“若……则……”
- 6.1.6 看“所有”和“某个”
- 6.2 函数的极限
- 6.2.1 □
- 6.2.2 □的含义
- 6.3 摸底考试
- 6.3.1 上榜
- 6.3.2 静寂的声音、沉默的声音
- 6.4 “连续”的定义
- 6.4.1 图书室
- 6.4.2 在所有点处都不连续
- 6.4.3 是否存在在一点处连续的函数
- 6.4.4 逃出无限的迷宫
- 6.4.5 在一点处连续的函数！
- 6.4.6 诉衷肠
- 第7章 对角论证法
- 7.1 数列的数列
- 7.1.1 可数集
- 7.1.2 对角论证法
- 7.1.3 挑战：给实数编号
- 7.1.4 挑战：有理数和对角论证法
- 7.2 形式系统的形式系统
- 7.2.1 相容性和完备性
- 7.2.2 哥德尔不完备定理
- 7.2.3 算术
- 7.2.4 形式系统的形式系统
- 7.2.5 词汇的整理
- 7.2.6 数项
- 7.2.7 对角化
- 7.2.8 数学的定理
- 7.3 失物的失物
- 第8章 两份孤独所衍生的产物
- 8.1 重叠的对
- 8.1.1 泰朵拉的发现
- 8.1.2 我的发现
- 8.1.3 谁都没发现的事实
- 8.2 家中
- 8.2.1 自己的数学
- 8.2.2 表现的压缩
- 8.2.3 加法运算的定义
- 8.2.4 教师的存在
- 8.3 等价关系
- 8.3.1 毕业典礼
- 8.3.2 对衍生的产物
- 8.3.3 从自然数到整数
- 8.3.4 图
- 8.3.5 等价关系
- 8.3.6 商集
- 8.4 餐厅
- 8.4.1 两个人的晚饭
- 8.4.2 一对翅膀
- 8.4.3 无力考试
- 第9章 令人迷惑的螺旋楼梯
- 9.1 □弧度
- 9.1.1 不高兴的尤里
- 9.1.2 三角函数
- 9.1.3 sin 45°
- 9.1.4 sin 60°
- 9.1.5 正弦曲线
- 9.2 □弧度
- 9.2.1 弧度
- 9.2.2 教人
- 9.3 □弧度
- 9.3.1 停课
- 9.3.2 余数
- 9.3.3 灯塔
- 9.3.4 海边
- 9.3.5 消毒
- 第10章 哥德尔不完备定理
- 10.1 双仓图书馆
- 10.1.1 入口
- 10.1.2 氯
- 10.2 希尔伯特计划
- 10.2.1 希尔伯特
- 10.2.2 猜谜
- 10.3 哥德尔不完备定理
- 10.3.1 哥德尔
- 10.3.2 讨论
- 10.3.3 证明的概要
- 10.4 春天——形式系统 P
- 10.4.1 基本符号
- 10.4.2 数项和符号
- 10.4.3 逻辑公式
- 10.4.4 公理
- 10.4.5 推理规则
- 10.5 午饭时间
- 10.5.1 元数学
- 10.5.2 用数学研究数学
- 10.5.3 苏醒
- 10.6 夏天——哥德尔数
- 10.6.1 基本符号的哥德尔数
- 10.6.2 序列的哥德尔数
- 10.7 秋天——原始递归性
- 10.7.1 原始递归函数
- 10.7.2 原始递归函数（谓词）的性质
- 10.7.3 表现定理
- 10.8 冬天——通往可证明性的漫长之旅
- 10.8.1 整理行装
- 10.8.2 数论
- 10.8.3 序列
- 10.8.4 变量·符号·逻辑公式
- 10.8.5 公理、定理、形式证明
- 10.9 新春——不可判定语句
- 10.9.1 “季节”的确认
- 10.9.2 种子——从含义的世界到形式的世界
- 10.9.3 绿芽——p 的定义
- 10.9.4 枝杈——r 的定义
- 10.9.5 叶子——从 A1 往下走
- 10.9.6 蓓蕾——从 B1 开始往下走
- 10.9.7 不可判定语句的定义
- 10.9.8 梅花——□
- 10.9.9 桃花——□的证明
- 10.9.10 樱花——证明形式系统 P 是不完备的
- 10.10 不完备定理的意义
- 10.10.1 “‘我’是无法证明的”
- 10.10.2 第二不完备定理的证明之概要
- 10.10.3 不完备定理衍生的产物
- 10.10.4 数学的界限？
- 10.11 带上梦想
- 10.11.1 并非结束
- 10.11.2 属于我
- 尾声
- 后记
- 参考文献和导读
展开全部
评分及书评
4.4
10个评分
给这本书评了5.0哥德尔不完备证明意识是自然的产物，不要妄想凌驾演化。
给这本书评了4.0本书从逻辑推理入手，逐渐写到皮亚诺算术，到极限，到形式和数理的对应，虽然最后的 75% 以后的关于在没有计算机设备的情况下哥德尔的逻辑形式定义个人不是特别明白，但这一套丛书下来我能说我通过数学锻炼了自己的脑细胞
出版方
人民邮电出版社·图灵出品
图灵社区成立于2005年6月，由人民邮电出版社投资控股，以策划出版高质量的科技书籍为核心业务，主要出版领域包括计算机、电子电气、数学统计、科普等，通过引进国际高水平的教材、专著，以及发掘国内优秀原创作品等途径，为目标读者提供一流的内容。
