万本电子书0元读

万本电子书0元读

顶部广告

数学女孩3:哥德尔不完备定理电子书

《数学女孩》系列第三弹! 日本数学会强力推荐 绝赞的数学科普书 原版全系列累计销量突破40万册! 在动人的故事中走近数学,在青春的浪漫中理解数学 如果你还没有明白,那么就算全世界的人都说“明白了,很简单啊”,你仍然要鼓起勇气说“不,我还不明白”。这一很重要。 ——结城浩

售       价:¥

纸质售价:¥45.20购买纸书

593人正在读 | 0人评论 6.8

作       者:结城浩

出  版  社:人民邮电出版社

出版时间:2017-11-01

字       数:15.4万

所属分类: 科技 > 科普读物 > 科学知识

温馨提示:数字商品不支持退换货,不提供源文件,不支持导出打印

为你推荐

  • 读书简介
  • 目录
  • 累计评论(0条)
  • 读书简介
  • 目录
  • 累计评论(0条)
《数学女孩》系列以小说的形式展,重描述一群年轻人探寻数学中的美。内容由浅深,数学讲解部分十分精妙,被称为“绝赞的数学科普书”。 《数学女孩3:哥德尔不完备定理》有许多巧思。每一章针对不同议题行解说,再于*后一章切正题——哥德尔不完备定理。作者巧妙地以每一章的概念作为拼图,拼出与塔斯基的形式语言的真理论、图灵机和判定问题一道被誉为“现代逻辑科学在哲学方面的三大成果”的哥德尔不完备定理的大概证明。整本书一气呵成,非常适合对数学感兴趣的初高中生以及成人阅读。<br/>【推荐语】<br/>《数学女孩》系列第三弹! 日本数学会强力推荐 绝赞的数学科普书 原版全系列累计销量突破40万册! 在动人的故事中走近数学,在青春的浪漫中理解数学 如果你还没有明白,那么就算全世界的人都说“明白了,很简单啊”,你仍然要鼓起勇气说“不,我还不明白”。这一很重要。 ——结城浩<br/>【作者】<br/>结城浩 生于1963年。日本知名技术作家和程序员。在编程语言、设计模式、数学、加密技术等领域,编写了很多深受欢迎的门书。代表作有《数学女孩》系列、《程序员的数学》、《图解密码技术》等。 作者主页:http://www.hyuki.com<br/>
目录展开

致读者

主页通知

序言

第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章 莱布尼茨之梦

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 属于我

尾声

后记

参考文献和导读

读物

面向高中生

面向大学生

面向研究生和专家

Web 网站

看完了

累计评论(0条) 0个书友正在讨论这本书 发表评论

发表评论

发表评论,分享你的想法吧!

买过这本书的人还买过

读了这本书的人还在读

回顶部