
图灵的秘密
The Annotated Turing
Charles Petzold · 初版 2008 年
56人推荐
70位读者提及
93次提及
为什么值得读
- 逐段注解图灵关于可计算数的划时代论文
- 排版区分论文原文与注解,阅读无混淆
- 补充19至20世纪之交的数学历史背景
编程传奇 Charles Petzold 解密了 Alan M. Turing 于 1936 年发表的那篇非凡且极具先见之明的论文。数学家 Alan Turing 发明了一种被称为 Turing Machine 的假想计算机;在计算机诞生之前的时代,他就探索了什么是“可计算”的概念,并在此过程中创立了可计算性理论(computability theory)领域,这构成了当今计算机编程的基础。
Hacker News 上怎么说
正在加载完整评论……
Charles Petzold 写的《The Annotated Turing》:https://www.amazon.com/Annotated-Turing-Through-Historic-Com...
"The Annotated Turing" by Charles Petzold: https://www.amazon.com/Annotated-Turing-Through-Historic-Com...
……我首先想到的是康托尔的对角线论证(Cantor's Diagonal Argument)[1],比起它带来的深远影响(虽然影响确实也极其巨大),它更像是一个极具创造性思维的典范。Charles Petzold 的《The Annotated Turing》对这个论证以及 19 世纪末 20 世纪初数学界涌现的其他一堆让人脑洞大开的成果,都做了非常精彩的梳理。[1] http://en.wikipedia.org/wiki/Cantors_diagonal_argument
…Cantor's Diagonal Argument[1] is the first that comes to mind, probably even more as an example of a creative approach than for its implications (although those are pretty huge too). Charles Petzold's "Annotated Turing" has a great run down of this and a bunch of the other mind-blowing things that came out of math in the late 19th/early 20th centuries. [1] http://en.wikipedia.org/wiki/Cantors_diagonal_argument
Charles Petzold 的另一本好书是《The Annotated Turing》。http://www.amazon.com/Annotated-Turing-Through-Historic-Comp...
Another good book by Charles Petzold is The Annotated Turing. http://www.amazon.com/Annotated-Turing-Through-Historic-Comp...
对于想读《论可计算数及其在判定性问题上的应用》(On Computable Numbers, with an Application to the Entscheidungsproblem)的人,我推荐通过 Charles Petzold 的《The Annotated Turing》来读。Petzold 这本书呈现了整篇论文,并附带注释、历史背景和传记信息。论文的正文还用了不同的背景色标注,所以绝对不会搞混……
For those interested in reading “On Computable Numbers, with an Application to the Entscheidungsproblem”, I recommend doing so via Charles Petzold's "The Annotated Turing". Petzold's book presents the paper, with annotations, historical context, and biographical information. The actual text of the paper is set off with a different background so there is never any confusion…
《论可计算数及其在判定性问题上的应用》是一部极其重要的著作,而 Petzold 的书《The Annotated Turing》让它变得非常通俗易懂。我强烈建议任何感兴趣的人都去买一本读读。其实只要有高中学历就足够读懂了。图灵当年比我们所有人超前了整整几十年。真遗憾……
“On Computable Numbers, with an Application to the Entscheidungsproblem” is a hugely important work, and Petzold's book "The Annotated Turing" makes it very accessible. I highly recommend anyone who is interested pick up a copy. High school education is all that's really needed. Turing was decades ahead of the rest of us. It's a shame that…
……Hodges 写的 http://www.amazon.com/Alan-Turing-Enigma-Inspired-Imitation/... 权威且详尽的传记。2. Sara Turing 写的《Alan M. Turing》http://www.amazon.com/Alan-M-Turing-Centenary-Edition/dp/110... 一位母亲为亡子写下的深情传记。3. Charles Petzold 写的《The Annotated Turing》http://www.amazon.com/Annotated-Turing-Through-Historic-Comp... 详尽解读了图灵 1936 年的那篇传世名作。
…Hodges http://www.amazon.com/Alan-Turing-Enigma-Inspired-Imitation/... Definitive and detailed biography. 2. Alan M. Turing by Sara Turing http://www.amazon.com/Alan-M-Turing-Centenary-Edition/dp/110... Deeply personal biography of her dead son. 3. The Annotated Turing by Charles Petzold http://www.amazon.com/Annotated-Turing-Through-Historic-Comp... Turing's famous 1936 explained in detail.