图书标签: 计算机科学 图灵 计算机 turing AlanTuring Computer.Theory 数学 科普
发表于2024-04-29
The Annotated Turing pdf epub mobi txt 电子书 下载 2024
(excerpts from my proposal for the book)
Anyone who has explored the history, technology, or theory of computers has likely encountered the concept of the Turing Machine. The Turing Machine is an imaginary — not even quite hypothetical — computer invented in 1936 by English mathematician Alan Turing (1912–1954) to help solve a question in mathematical logic. As a byproduct, Turing also founded the field of computability theory — the study of the abilities and limitations of digital computers.
Although the concept of the Turing Machine is well known, Turing’s original 1936 paper is only rarely read. This neglect may have something to do with the paper’s title — “On Computable Numbers, with an Application to the Entscheidungsproblem” — and perhaps the paper’s extensive use of a scary German gothic font. That’s too bad, because the paper is not only a fascinating read but a milestone in the history of computing and 20th century intellectual thought in general.
This book presents Turing’s original 36-page paper (and a follow-up 3-page correction) with background chapters and extensive annotations. Mathematical papers like Turing’s are often terse and cryptic. I have elaborated on many of Turing’s statements, clarified his discussions, and provided numerous examples.
Interwoven into the narrative are the highlights of Turing’s own life: his years at Cambridge and Princeton, his secret work in cryptanalysis during World War II, his involvement in seminal computer projects, his speculations about artificial intelligence, his arrest and prosecution for the crime of “gross indecency,” and his early death by apparent suicide at the age of 41.
The book is divided into four parts: Parts I and II together are about 200 pages in length and cover the first 60% of Turing’s paper, encompassing the Turing Machine and computability topics. This part of the book is entirely self-contained and will be of primary interest to most readers.
Part III is a faster paced look at the remainder of Turing’s paper, which involves the implications for mathematical logic. Some readers might want to skip these chapters.
Part IV resumes the more "popular" presentation showing how the Turing Machine has become a vital tool in understanding the workings of human consciousness and the mechanisms of the universe.
Although I expect the primary readers of the book to be programmers, computer science majors, and other “techies,” I have tried my best to make the book accessible to the general reader. There is unavoidably much mathematics in the book, but I have tried to assume that the reader only has knowledge of high-school mathematics, and probably a foggy one at that.
Turing's work provided another angle of thinking what human beings might NEVER able to do.
评分in memory of the hard times
评分mark 读到 第6章
评分这本书详细解读了Turing1936年的论文“On Computable Numbers, with an Application to the Entscheidungsproblem”,其中描述了Turing machine。但这本书远远不止于此,它涉及到数学的很多方面,深入浅出。关键是!!!没有过于难懂的英文单词和句式。我可以给十颗星吗?!
评分p155,“If the configurations marked χ and у do not match (as they won't in our example), ”,根据上下文并参考中文版,“won't”或应改为“will” 批注请参见评论
《图灵的秘密》是关于图灵1936年那篇开创性论文的解读,内容很多很难,需要的背景知识包括数理逻辑,lambda演算,以及一些基本的数论。读完的笔记也许都会比原书多,这里想简洁或者宏观性地谈谈几个主角之间的“故事”。 实际上说争论更准确。 初(我目前所知道的),大神莱...
评分看到了第七章后部,发觉似乎不是IT行业的人翻译的这本书,在遇到函数overload,翻译成“过载”而非“重载”
评分《图灵的秘密》是关于图灵1936年那篇开创性论文的解读,内容很多很难,需要的背景知识包括数理逻辑,lambda演算,以及一些基本的数论。读完的笔记也许都会比原书多,这里想简洁或者宏观性地谈谈几个主角之间的“故事”。 实际上说争论更准确。 初(我目前所知道的),大神莱...
评分艾伦•麦席森•图灵(Alan Mathison Turing)1912年6月23日生于英国伦敦梅达维洛(Maida Vale, London),今年正好是他100周年诞辰。这位英国皇家学会会员、数学家、逻辑学家,被国际公认为计算机科学与人工智能之父。正当他具有奔流不息的思维源泉和将其付诸实践的巨大热...
评分看到了第七章后部,发觉似乎不是IT行业的人翻译的这本书,在遇到函数overload,翻译成“过载”而非“重载”
The Annotated Turing pdf epub mobi txt 电子书 下载 2024