发表于2024-11-21
The Annotated Turing 2024 pdf epub mobi 电子书
看到了第七章后部,发觉似乎不是IT行业的人翻译的这本书,在遇到函数overload,翻译成“过载”而非“重载”
评分在这之前因为简单看过一些哲学普及书,一直纠结于唯物论->因果论->机械论和自由意志之间的矛盾。我是相信唯物论的,但是又觉得自由意志这个东西并不能由简单的因果关系决定,直到看到了这本书。 这本书详细分析了图灵机的不可判定性问题和哥德尔的不确定性原理,在我看起来,虽...
评分介绍了图灵的数学理论,由浅入深,大学六级英语水平加高中数学知识要求。暂时只扫了一眼,看完后补上详尽的评论。
评分中文书名叫做《图灵的秘密》,副标题叫“他的生平、思想及论文解读”,内容读来和此有些差异。书的主要内容是解读图灵1936年发表的论文“On Computable Numbers, with an Application to the Entscheidungsproblem”(“论可计算数及其在判定性问题上的应用”),在这个大主题...
评分Charles Petzold确实是一位大牛,作为windows程序员来说,《Windows程序设计》是一本经典之中的经典。不过对于我来说,熟悉大牛的深入浅出式的说明还是在《编码的奥秘》这本书(原句叫 coding,现在再版,书名叫《编码》),在那本书里面,指引着我们寻找计算机制造的基本原理...
图书标签: 计算机科学 图灵 计算机 turing AlanTuring Computer.Theory 数学 科普
(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 is way too awesome...
评分还是挺科普的。不得不说图灵太天才了。
评分如作者所说,把书中引用的部分摘下来就是完整的图灵论文. 这基本上就是一本对论文的注释了,附带一些历史生平和相关人物扩展. 尽管整体下来个人比较吃力,但看到诸如解释为什么没有一个general的process去判定一个machine是否是circle-free的时候,还是会有被颠覆的快感.
The Annotated Turing 2024 pdf epub mobi 电子书