《圖靈的秘密：他的生平、思想及論文解讀（The Annotated Turing）》是2012年11月人民郵電出版社出版的書籍，作者是 [美] Charles Petzold。
基本介紹
- 書名：圖靈的秘密：他的生平、思想及論文解讀
- 作者：[美] Charles Petzold
- 原作品：The Annotated Turing
- 譯者：楊衛東
- ISBN：9787115282149
- 類別：軟體
- 頁數：344
- 定價：69.00元
- 出版社：人民郵電出版社
- 出版時間：2012-11
- 裝幀：掃描版
- 副標題：他的生平、思想及論文解讀
- 叢書：圖靈新知
內容簡介,書籍目錄,原文摘錄,叢書信息,
內容簡介
圖靈機是英國數學家阿蘭·圖靈提出的一種抽象計算模型，本書深入剖析了圖靈這篇描述圖靈機和可戒判籃計算性的原始論文《論可計再檔乘駝算數及其在判定性問題上的套用》。協府喇書中在詳解論文的同時，也附帶了大量的歷史背景資料、圖靈的個人經歷，以及圖靈機對於人們理解計算機、人類意識和宇宙所產生的影響。
本書適合所有計算機科學專業的學生、程式設計師或其市碑坑他技術人員，同時也適合欲了解圖靈生平及其構建圖靈機的思維的讀者閱讀。
書籍目錄
第一部分 基 礎
第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
原文摘錄
The x that I've been using in these formulas is known as a bound variable because it is attached to the quantifier. It serves the same role as a variable function argument. Any variable that is not part of a universal or existential quantifier is known as a free variable. In the following formula, x is bound but y is free: (Ex)Loves(x, y) (查看原文)
—— 引自章節：12. Logic and Computability
歷史 總是 試圖歸諒囑墊 用 一系列 連貫 的 語句 和 段落 來 捕捉 生活， 然而 現實 生活 通常 雜亂 且 複雜 得 多。 歷史 學家 必須 磨平 事實 的 粗糙 稜角， 忽略 次要全催 人物， 以 避免 離題。 這些 簡化 有時候 會 扭曲 它 試圖 闡述 的 事物， 導致 一系列 看上去 並不 自然 卻 又不 可避免 的 事件 發生， 好像 任何 事情 都不能 改變 它們 的 發展， 甚至 暗示 著 這些 事件 就是 所有 可能 中最 好的 結果。 這些 扭曲 的 結果 有時候 會 稱為 所謂 的” 歷史 的 輝 格 解釋”—— 19 世紀 的 那些 作家 把 大 英 帝國 的 歷史 描繪 成 正在 逐步、 無情 地走 進 現代 議會 民 主制， 在此之後， 英國 的 歷史學 家 赫 伯 特· 巴 特 菲 爾照希循 德（ 1900— 1979） 稱之為” 歷史 的 輝 格 解釋”。 (查看原文)
—— 引自章節：第16章
叢書信息
—— 引自章節：第16章
