基本信息
副標題:他的生平、思想及論文解讀
原作名: The Annotated Turing
作者: Charles Petzold
譯者: 楊衛東
出版社: 人民郵電出版社
出版年: 2012-11
頁數: 344
定價: 69.00元
內容簡介
圖靈機是英國數學家阿蘭·麥席森·圖靈提出的一種抽象計算模型，本書深入剖析了圖靈這篇描述圖靈機和可計算性的原始論文《論可計算數及其在判定性問題上的套用》。
目錄
第一部分 基 礎
第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
作品評價
《圖靈的秘密》由Windows編程大師Charles Petzold耗時多年編寫的這本書剖析了現代計算機原理開山之作、阿蘭·麥席森·圖靈流芳百世的論文 “On Computable Numbers, with an Application to the Entscheidungsproblem”。圖靈在其中描述了一種假想的計算機器，探索了其功能和內在的局限性，由此建立了現代程式設計和可計算性的基礎。這本書也像是一本小說，行文間穿插講述了圖靈的成長經歷和教育背景，以及他跌宕起伏的一生，包括破解德國恩尼格密碼的傳奇經歷，他對人工智慧的探索，他的性取向，以及最終因同性戀的罪名而在41歲時自殺的悲慘結局。全書完整揭示了阿蘭·圖靈非凡、傳奇而悲劇的一生，是了解圖靈的思想和生平的極好著作。
作者簡介
Charles Petzold 是Windows編程界一位大師,世界頂級技術作家。1994年5月，Petzold作為僅有的七個人之一（並且是唯一的作家）被《Window Magazine》和Microsoft公司授予Windows Pioneer獎，以表彰他對 Microsoft Windows的成功做出的貢獻。Charles Petzold從1984年開始編寫個人電腦程式，從1985年開始編寫 Microsoft Windows程式。他在《Microsoft Systems Joumal》1986年 12月號上發表了第一篇關於Windows程式設計的雜誌論文。從1986年到1995年，他為《PC Magazine》撰寫“Environments”專欄，給讀者介紹了Windows和OS/2程式設計的許多方面。 直到今天他依然維持 Windows GDI 程式設計首席技術作家的地位。其大作：《Windows程式設計》是盡人皆知的Win32 API編程經典，也稱為“Petzold Book”，學習Win32 API編程的人幾乎都從這本書入手。
