图灵的秘密

书名：图灵的秘密他的生平、思想及论文解读
作者：CharlesPetzold
译者：杨卫东
ISBN：9787115282149
出版社：人民邮电出版社
出版时间：2012-11
格式：epub/mobi/azw3/pdf
页数：344
豆瓣评分： 8.8

书籍简介：

图灵机是英国数学家阿兰•图灵提出的一种抽象计算模型，本书深入剖析了图灵这篇描述图灵机和可计算性的原始论文《论可计算数及其在判定性问题上的应用》。书中在详解论文的同时，也附带了大量的历史背景资料、图灵的个人经历，以及图灵机对于人们理解计算机、人类意识和宇宙所产生的影响。 本书适合所有计算机科学专业的学生、程序员或其他技术人员，同时也适合欲了解图灵生平及其构建图灵机的思维的读者阅读。

作者简介：

书友短评：

@ Tennant 别被名字骗了，这是一本很硬的数学书。。。 @ 龙在田 数学史和图灵论文的解读。大部分章节非常硬。或许可以和维特根斯坦对照着看。 @ 劈头士》睁木 哎哟，多看限时借阅，但我一定要去入一本实体书！生平少，论文解读多。可以作为【素材】，但是具体怎么用，完全没头脑。非再细读弄透彻不可！ @ wizard 有点天书的感觉 @ [已注销] 一阶谓词逻辑系统是完备的，但是加上算术系统后就是不完备的了 @ -Larry- 烧脑 很有启发性 @ asumi 不要读电子版。 douban 的或者 kindle 的电子版排版都不忍直视，读到证明一章时受不了去找了原版 pdf 看了。图灵的论文被切割成片段阅读，有点过于碎片了。 @ 小岛 @2014-08-17 14:03:40 @ EARTH 我只能说，这本书真好看。 @ LostAbaddon 这本书吧，除了开头结尾作者自己加了点科普内容，整体基本就是图灵当年论文的科普评注。对于了解这块理论的人来说，作为重头的中段内容基本都可以跳过；而对于对这块理论完全没概念的人来说，这段内容又显得门槛高了。所以，作者这本书的受众定位到底是什么人？在读本科生么？当然，整体而言还是一本好书，比相近主题的《论可计算数》好不知道多少倍。

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

添加微信公众号:好书天下获取