圖靈的秘密：他的生平、思想及論文解讀 內(nèi)容簡(jiǎn)介：

圖靈機(jī)是英國(guó)數(shù)學(xué)家阿蘭·圖靈提出的一種抽象計(jì)算模型，佩措爾德編 著的《圖靈的秘密：他的生平、思想及論文解讀》深入剖析了圖靈描述圖靈 機(jī)和可計(jì)算性的論文《論可計(jì)算數(shù)及其在判定性問(wèn)題上的應(yīng)用》。書(shū)中在詳 解論文的同時(shí)，附帶了大量的歷史背景資料、圖靈的個(gè)人經(jīng)歷，以及圖靈機(jī) 對(duì)人們理解計(jì)算機(jī)、人類(lèi)意識(shí)和宇宙所產(chǎn)生的影響。

《圖靈的秘密：他的生平、思想及論文解讀》適合所有計(jì)算機(jī)科學(xué)專(zhuān)業(yè) 的學(xué)生、程序員或其他技術(shù)人員，同時(shí)也適合欲了解圖靈生平以及他構(gòu)建圖 靈機(jī)的思維過(guò)程的讀者閱讀。

圖靈的秘密：他的生平、思想及論文解讀 目錄:

第一部分 基礎(chǔ)
第1章 這個(gè)墓穴埋葬著丟番圖
第2章 無(wú)理數(shù)和超越數(shù)
第3章 幾個(gè)世紀(jì)以來(lái)的發(fā)展
第二部分 可計(jì)算數(shù)
第4章 圖靈的學(xué)業(yè)
第5章 運(yùn)作的機(jī)器
第6章 加與乘
第7章 子程序
第8章 萬(wàn)物皆數(shù)字
第9章 通用機(jī)
第10章 計(jì)算機(jī)與可計(jì)算性
第11章 機(jī)器與人
第三部分 判定性問(wèn)題
第12章 邏輯與可計(jì)算性
第13章 可計(jì)算函數(shù)
第14章 主要證明
第15章 λ演算
第16章 對(duì)連續(xù)統(tǒng)的設(shè)想
第四部分 題外話(huà)
第17章 萬(wàn)物皆是圖靈機(jī)？
第18章 長(zhǎng)眠的丟番圖
參考文獻(xiàn)