数学女孩3

[日] 结城浩

出版时间

2017-11-01

ISBN

9787115469915

评分

★★★★★
书籍介绍

《数学女孩》系列以小说的形式展开,重点描述一群年轻人探寻数学中的美。内容由浅入深,数学讲解部分十分精妙,被称为“绝赞的数学科普书”。

《数学女孩3:哥德尔不完备定理》有许多巧思。每一章针对不同议题进行解说,再于最后一章切入正题——哥德尔不完备定理。作者巧妙地以每一章的概念作为拼图,拼出与塔斯基的形式语言的真理论、图灵机和判定问题一道被誉为“现代逻辑科学在哲学方面的三大成果”的哥德尔不完备定理的大概证明。整本书一气呵成,非常适合对数学感兴趣的初高中生以及成人阅读。

结城浩(作者)

生于1963年。日本知名技术作家和程序员。在编程语言、设计模式、数学、加密技术等领域,编写了很多深受欢迎的入门书。代表作有《数学女孩》系列、《程序员的数学》、《图解密码技术》等。

作者主页:http://www.hyuki.com

AI导读
核心看点
  • 小说形式科普,以对话推进数理逻辑学习
  • 前九章铺垫概念,第十章详解哥德尔不完备定理
  • 融合皮亚诺公理、集合论与图灵机等核心知识
适合谁读
  • 对数学和逻辑学感兴趣的初高中生及成人
  • 喜欢通过故事和角色互动来理解抽象概念者
  • 希望深入理解哥德尔定理证明过程的进阶读者
读前提醒
  • 前九章轻松易读,第十章难度陡增,需耐心
  • 第十章定义密集,建议配合纸笔推导辅助理解
  • 若遇晦涩处可先读故事,不必强求一步到位
读者共识
  • 前九章如平地散步,第十章如过山车般烧脑
  • 科普形式新颖,但最后章节知识密度过大
  • 翻译与排版偶有瑕疵,部分读者建议重读

本导读基于书籍简介、目录、原文摘录、短评和书评生成,不等同于全文精读。

精彩摘录
  • "“负数?”米尔嘉问道。 “Negative Number。”泰朵拉回答。 “无理数?” “Irrational Number。” “虚数?” “Imaginary Number。” “否定的、不合理的、想象中的……”米尔嘉从座位上站起来,“这些英语单词充分体现了人类面对全新概念时产生的犹豫。”她扭头望向窗外。“要向新的道路前进时,任谁都会犹豫啊。”"
  • "将感谢和友情一并附上, 令大海恩赐之物重归它的怀抱。 ——《来自大海的礼物》 涌来,又远去的 —— 海浪。 来来去去,反反复复 —— 一浪又一浪。 来去的节奏把意识拉向自己。 反复的节奏把意识推向过去。 那时,每个人都在做准备,想要展翅飞向苍穹。 而我,则在小小的鸟笼里蹲着,把身体蜷成一团。 应该诉说的自己,应该缄默的自己。 应该诉说的过去,应该缄默的过去。 每逢春天降临,我都会想起数学。 在纸上排列符号,描绘宇宙。 在纸上写下公式,推导真理。 每逢春天降临,我都会想起她们。 跟我一起讨论数学这个词语, 跟我一起度过青春的 —— 她们。 这是一个关于令我展翅飞翔的小小契机的故事, 你,愿意听我"
  • "我们要降低体温,去感受机器的心情"
  • "把变量“把变量x用自指代换就称作对角化”用自指代换就称作对角化。 无法证明把“无法证明把x对角化了的语句”对角化了的语句。 ——《没有书名为〈没有书名为○○的书〉的书》"
  • "本书涵盖了形形色色的数学题,从小学生都能明白的简单问题,到震撼整个数学世界的难题。 本书通过语言、图形以及数学公式表达主人公的思路。 如果你不太明白数学公式的含义,姑且先看看故事,公式可以一眼带过。泰朵拉和尤里会跟你一同前行。 擅长数学的读者,请不要仅仅阅读故事,务必一同探究数学公式。如此,便可品味到深埋在故事中的别样趣味。 说不定,你会发现尚未被别人察觉到的秘密呢。"
  • "“啊!黄灯了!” 泰朵拉叫着,跑过了人行横道。这位活力少女刚刚跑过马路,信号灯就变成了红色,我跟米尔嘉在道路的这一侧站住了。 等绿灯。 泰朵拉冲我们这边招着手。 我挥手回应。 “啊,对了。”我对身旁的米尔嘉说道,“刚刚在加库拉…我没想到你会坐到泰朵拉的身边。” 沉默。 过了一会儿,米尔直视着信号灯,突然开了口: “…坐在对面更能看清楚你的样子。”“诶?” “绿灯了。”"
  • "不管要证明整数的何种性质, 都必须在某处用到数学归纳法。因为,只要追溯至基本概念就会发现,整数本质上是通过数学归纳法定义的。 —高德纳"
  • "“喔…”她盯着我的脸。 “我会努力不让自己消沉的。” “红了。”她指着我的左脸。 “诶?”我蹭了蹭脸,手上有淡淡的血迹。“是我的指甲挠的吧?”米尔嘉看着自己的指尖。“啊,刚刚…”扇我巴掌的时候刮到了么。“消个毒吧。”她一下子把脸靠了过来一轻轻舔了一下我的脸。 天呐! “消毒完毕 一有海水的味道。”米尔嘉说着,温柔地微微笑了。"
作者简介
结城浩(作者) 生于1963年。日本知名技术作家和程序员。在编程语言、设计模式、数学、加密技术等领域,编写了很多深受欢迎的入门书。代表作有《数学女孩》系列、《程序员的数学》、《图解密码技术》等。 作者主页:http://www.hyuki.com
目录
序言
第1章 镜子的独白  1
1.1 谁是老实人  1
1.1.1 镜子呀镜子  1
1.1.2 谁是老实人  3

显示全部
用户评论
已经跟不上了
良心大作,头一次在科普读物里看到了哥德尔不完备定理的完整证明
作者是依据哥德尔论文的证明思路来讲故事和数学的),不是纯粹的人文联想。缺点可能是,这东西还是步骤多了一点。 // 这是要从数学女话变异到程序员女孩了吗
这本书写的就像过山车一样。前面写的都挺好的,一路畅通无阻,但是最后一章起伏变化的也太大了吧…尤其是定义原始递归谓词那一章,一下子冒出来46个定义,让人边抄边看还经常忘记… 但总的来说,这套书确实挺有特色的。
小说好无聊……
以前学形式逻辑的读过哥德尔不完备定理,时过境迁,感慨系之
有些部分通俗易懂,有些部分太专业。 不过让我对哥德尔不完备定律,有了新的认识。虽然并非是从专业的角度来认识的。
英文课是吧
最后一章直接起飞,跟不上了
可读性比前作稍差,不过可能是讨论的问题本身比较复杂吧
下载
收藏