简介
编程传奇 Charles Petzold 解密了 Alan M. Turing 于 1936 年发表的那篇非凡且极具先见之明的论文。数学家 Alan Turing 发明了一种被称为 Turing Machine 的假想计算机；在计算机诞生之前的时代，他就探索了什么是“可计算”的概念，并在此过程中创立了可计算性理论（computability theory）领域，这构成了当今计算机编程的基础。
为什么值得读
附带详尽批注与背景，让高中水平读者也能读懂图灵论文
- 逐段注解图灵关于可计算数的划时代论文
- 排版区分论文原文与注解，阅读无混淆
- 补充19至20世纪之交的数学历史背景
适合：具备高中学历、想研读计算机奠基之作的数学爱好者
值得读指数：91 / 100
Hacker News 读者推荐
Charles Petzold 写的《The Annotated Turing》：https://www.amazon.com/Annotated-Turing-Through-Historic-Com...
kol 在 HN 的推荐
……我首先想到的是康托尔的对角线论证（Cantor's Diagonal Argument）[1]，比起它带来的深远影响（虽然影响确实也极其巨大），它更像是一个极具创造性思维的典范。Charles Petzold 的《The Annotated Turing》对这个论证以及 19 世纪末 20 世纪初数学界涌现的其他一堆让人脑洞大开的成果，都做了非常精彩的梳理。[1] http://en.wikipedia.org/wiki/Cantors_diagonal_argument
AndrewO 在 HN 的推荐
Charles Petzold 的另一本好书是《The Annotated Turing》。http://www.amazon.com/Annotated-Turing-Through-Historic-Comp...
kqr2 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 0470229055
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。