《数学女孩3：哥德尔不完备定理》结城浩_PDF电子书下载

作者介绍

结城浩

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

百度网盘城通网盘（备用）

内容介绍

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

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