数学女孩3哥德尔不完备定理 图灵新知 PDF下载

作者: [日] 结城浩
出版社: 人民邮电出版社
副标题: 哥德尔不完备定理
译者: 丁灵
出版年: 2017-11
页数: 406
定价: 52.00 元
装帧: 平装
丛书: 图灵新知
ISBN: 9787115469915

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

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