图灵的秘密 他的生平、思想及论文解读

基本信息

名称： 图灵的秘密 他的生平、思想及论文解读
作者信息： 作者: Charles Petzold [ 中文 pdf ]

简单介绍

佩措尔德编著的《图灵的秘密》涉及数学中几个大的研究领域，包括可计算性和数理逻辑。《图灵的秘密：他的生平、思想及论文解读》仅把与理解图灵论文最相关的那些主题和概念挑出来加以解释，省去了很多细节，因此《图灵的秘密：他的生平、思想及论文解读》从深度和严格性上都无法取代那些可计算性和逻辑方面的专业书籍。想深入研究这些领域的读者可以查阅参考文献。

目录

第一部分 基础
第1章这个墓穴埋葬着丢番图
第2章无理数和超越数
第3章几个世纪以来的发展
第二部分可计算数
第4章图灵的学业
第5章运作的机器
第6章加与乘
第7章子程序
第8章万物皆数字
第9章通用机
第10章计算机与可计算性
第11章机器与人
第三部分判定性问题
第12章逻辑与可计算性
第13章可计算函数
第14章主要证明
第15章λ演算
第16章对连续统的设想
第四部分题外话
第17章万物皆是图灵机？
第18章长眠的丢番图
参考文献

亚马逊链接