书籍介绍
《数学女孩》系列以小说的形式展开，重点描述一群年轻人探寻数学中的美。内容由浅入深，数学讲解部分十分精妙，被称为“绝赞的数学科普书”。
《数学女孩3：哥德尔不完备定理》有许多巧思。每一章针对不同议题进行解说，再于最后一章切入正题——哥德尔不完备定理。作者巧妙地以每一章的概念作为拼图，拼出与塔斯基的形式语言的真理论、图灵机和判定问题一道被誉为“现代逻辑科学在哲学方面的三大成果”的哥德尔不完备定理的大概证明。整本书一气呵成，非常适合对数学感兴趣的初高中生以及成人阅读。
结城浩（作者）
生于1963年。日本知名技术作家和程序员。在编程语言、设计模式、数学、加密技术等领域，编写了很多深受欢迎的入门书。代表作有《数学女孩》系列、《程序员的数学》、《图解密码技术》等。
作者主页：http://www.hyuki.com
目录
用户评论
已经跟不上了
良心大作，头一次在科普读物里看到了哥德尔不完备定理的完整证明
作者是依据哥德尔论文的证明思路来讲故事和数学的），不是纯粹的人文联想。缺点可能是，这东西还是步骤多了一点。 // 这是要从数学女话变异到程序员女孩了吗
这本书写的就像过山车一样。前面写的都挺好的，一路畅通无阻，但是最后一章起伏变化的也太大了吧…尤其是定义原始递归谓词那一章，一下子冒出来46个定义，让人边抄边看还经常忘记… 但总的来说，这套书确实挺有特色的。
小说好无聊……
以前学形式逻辑的读过哥德尔不完备定理，时过境迁，感慨系之
有些部分通俗易懂，有些部分太专业。
不过让我对哥德尔不完备定律，有了新的认识。虽然并非是从专业的角度来认识的。
英文课是吧
最后一章直接起飞，跟不上了
可读性比前作稍差，不过可能是讨论的问题本身比较复杂吧
Z-Library