永恒的圖靈：20位科學(xué)家對圖靈思想的解構(gòu)與超越（典藏版）

目錄
The Once and Future Turing: Computing the World

譯者序
前言
本書作者
本書譯者
引言/
第一部分置身可計(jì)算的世界，探索普適性數(shù)學(xué)
第1章算法、方程和邏輯/
◎馬丁·戴維斯
11方法概覽/
12例子：完全平方數(shù)集/
13一些關(guān)系/
14猜想變成定理的故事/
15通用方程/
16素?cái)?shù)和一個(gè)丑陋的多項(xiàng)式/
17邏輯/
18關(guān)于數(shù)學(xué)/
19關(guān)于朱莉婭·羅賓遜的電影/
附錄：不可解性定理的證明/
參考文獻(xiàn)/
第2章被遺忘的圖靈/
◎J M E 海蘭
21引言/
22唯一的學(xué)生/
23回憶/
24早年時(shí)光/
25學(xué)生與導(dǎo)師/
26中文翻譯/
27一個(gè)想法的產(chǎn)生/
28遠(yuǎn)見和反思/
29圖靈和類型論/
210圖靈的理論傾向/
211從未完稿的論文/
212圖靈的遺產(chǎn)/
參考文獻(xiàn)/
第3章圖靈和素?cái)?shù)/
◎安德魯 R布克
31素?cái)?shù)/
32大素?cái)?shù)/
321梅森素?cái)?shù)/
322電子時(shí)代的梅森素?cái)?shù)/
33素?cái)?shù)的分布/
331黎曼ζ函數(shù)/
332圖靈與黎曼猜想/
333形式化證明/
34今天與未來/
參考文獻(xiàn)/
第4章圖靈之后的密碼學(xué)和計(jì)算/
◎?yàn)趿Αっ?br />41引言/
42密碼學(xué)/
421引言/
422密鑰的需求/
423安全性證明/
43計(jì)算/
44迪菲-赫爾曼密鑰協(xié)商協(xié)議/
441預(yù)備知識/
442有效的乘冪運(yùn)算/
443密鑰協(xié)商協(xié)議/
45群上的離散對數(shù)及其他計(jì)算問題/
46離散對數(shù)算法/
461引言/
462大步小步算法/
463波利格-赫爾曼算法/
47抽象計(jì)算模型/
471動(dòng)機(jī)/
472計(jì)算模型/
473三種問題類型/
48證明安全性：復(fù)雜度下界/
481引言/
482兩個(gè)引理/
483群作用和大步小步算法的最優(yōu)性/
484離散對數(shù)和波利格-赫爾曼算法的最優(yōu)性/
485Zn中的乘積計(jì)算和CDH問題/
486DDH問題/
487DL問題到CDH問題的一般歸約/
49結(jié)論/
致謝/
參考文獻(xiàn)/
第5章圖靈與恩尼格瑪統(tǒng)計(jì)學(xué)/
◎坎蒂V馬蒂亞， S巴里·庫珀
51引言/
52事例的權(quán)重與經(jīng)驗(yàn)貝葉斯/
53字母隊(duì)列/
531恩尼格瑪編碼描述/
532字母隊(duì)列的重要性/
54GCHQ解密的兩個(gè)重要的圖靈報(bào)告/
55圖靈的全局統(tǒng)計(jì)觀/
551統(tǒng)計(jì)學(xué)和抽象層次/
552擴(kuò)展信息分層/
56形態(tài)發(fā)生、統(tǒng)計(jì)和圖靈的人工智能/
參考文獻(xiàn)/
第二部分過程計(jì)算而非計(jì)算大腦
第6章圖靈的洞察/
◎斯蒂芬·沃爾弗拉姆
參考文獻(xiàn)/
第7章外設(shè)計(jì)算和內(nèi)生計(jì)算/
◎克里斯托夫·托伊舍
71自頂向下和自底向上的設(shè)計(jì)/
72內(nèi)生計(jì)算和外設(shè)計(jì)算/
73圖靈的自底向上計(jì)算模式/
74從內(nèi)生計(jì)算到外設(shè)計(jì)算/
75展望/
參考文獻(xiàn)/
第8章遲鈍呆板的人類遇見頂級機(jī)器翻譯家/
◎侯世達(dá)
第三部分通向計(jì)算生命的逆向工程之路
第9章圖靈理論之發(fā)育模式形成/
◎菲利普K梅尼，托馬斯E伍利，埃蒙A加夫尼，露絲E貝克
91引言/
92發(fā)育的應(yīng)用場景/

93圖靈理論的擴(kuò)展/
94關(guān)于圖靈模型的爭議/
95圖靈的影響/
致謝/
參考文獻(xiàn)/
第10章走鋼絲繩：圖靈形態(tài)發(fā)生學(xué)中分層不穩(wěn)定性的困境/
◎理查德·高登
致謝/
參考文獻(xiàn)/

第四部分量子計(jì)算的生物學(xué)、思維和推廣
第11章回答笛卡兒：超越圖靈/
◎斯圖亞特·考夫曼
111引言/
112機(jī)器思維/
113思維、意識和機(jī)器思維/
1131回答笛卡兒/
1132封閉式量子系統(tǒng)和雙縫實(shí)驗(yàn)/
1133開放式量子系統(tǒng)/
1134穩(wěn)定的域/
1135非算法的、非確定性的、非隨機(jī)的反圖靈系統(tǒng)/
1136負(fù)責(zé)任的自由意志/
1137回答笛卡兒：思維如何在大腦中活動(dòng)/
1138潛能和廣延實(shí)體通過量子測量相聯(lián)系/
1139意識是什么/
11310感受性與量子測量的關(guān)系/
11311最前端的大腦/
11312量子糾纏、薩穆利的觀點(diǎn)和捆綁問題/
11313反圖靈系統(tǒng)的編程/
114結(jié)論/
附言/
致謝/
參考文獻(xiàn)/
第12章量子圖靈機(jī)中的幽靈/
◎斯科特·阿倫森
121引言/
1211“自由意志”與“自由”/
1212關(guān)于本章標(biāo)題的注釋/
1213閱讀本章所需的知識水平/
122常見問題/
1221狹窄的科學(xué)主義/
1222偷梁換柱/
1223相容論/
1224量子夢話/
1225大腦上傳：誰會(huì)在乎/
1226決定論與可預(yù)測性/
1227量子力學(xué)與隱藏變量/
1228結(jié)果論證/
1229預(yù)測悖論/
12210奇點(diǎn)主義/
12211利貝實(shí)驗(yàn)/
12212心靈和道德/
123奈特不確定性和物理/
1231奈特不確定性/
1232量子力學(xué)與不可克隆定理/
1233自由比特構(gòu)想/
1234放大與大腦/
1235反對假想小人/
124從內(nèi)而外的自由/
1241協(xié)調(diào)問題/
1242微觀事實(shí)與宏觀事實(shí)/
125進(jìn)一步的反對意見/
1251廣告商異議/
1252天氣異議/
1253沙鼠異議/
1254初始狀態(tài)異議/
1255維格納的朋友異議/
126與彭羅斯觀點(diǎn)的比較/
127應(yīng)用到玻爾茲曼大腦上/
128指代和自由比特/
129自由比特構(gòu)想能被證偽嗎/
1210結(jié)論/
致謝/
附錄A定義“自由”/
附錄B預(yù)測和柯爾莫戈洛夫復(fù)雜度/
附錄C奈特量子態(tài)/
參考文獻(xiàn)/
第五部分神諭、無限計(jì)算和心智的物理學(xué)
第13章圖靈的“神諭”：從絕對可計(jì)算性到相對再返回/
◎所羅門·費(fèi)弗曼
131引言/
132“絕對”有效可計(jì)算性/
1321機(jī)器和遞歸函數(shù)/
1322部分遞歸函數(shù)/
1323有效不可解問題和歸約方法/
133自然數(shù)的相對有效可計(jì)算性/
1331圖靈的“神諭”和圖靈可歸約性/
1332遞歸可枚舉集合、不可解度和波斯特問題/
1333波斯特問題的解和度理論的繁榮/
134自然數(shù)的一致相對可計(jì)算性/
1341相對計(jì)算過程和局部遞歸泛函數(shù)/
1342遞歸論/
1343自然數(shù)上有限類型的局部遞歸泛函數(shù)/
135廣義遞歸論/
1351背景與概述/
1352集合和序數(shù)上的可計(jì)算性/
1353一般結(jié)構(gòu)上的可計(jì)算性/
136在真實(shí)計(jì)算中相對可計(jì)算性概念的角色/
1361計(jì)算實(shí)踐和計(jì)算理論/
1362內(nèi)置函數(shù)和黑盒/
1363編程函數(shù)方面/
1364抽象數(shù)據(jù)類型/
1365復(fù)雜性的度/
1366結(jié)論/
附言/
參考文獻(xiàn)/
第14章圖靈超越：超越事件視界/
◎P D 韋爾奇
141起源/
142極限可判定/
143MH時(shí)空/
144無窮序數(shù)：超越算術(shù)/
145回到MH時(shí)空/
1460心智/
147無限時(shí)間圖靈機(jī)/
148寄存器機(jī)和其他推廣/
149結(jié)論/
參考文獻(xiàn)/
第15章為數(shù)學(xué)思維建模的嘗試/
◎羅杰·彭羅斯
151圖靈的順序邏輯/
152數(shù)學(xué)之信任/
153數(shù)學(xué)理解所基于的物理過程/
154П語句/
155謹(jǐn)慎神諭/
156謹(jǐn)慎神諭裝置的運(yùn)轉(zhuǎn)/
157對于謹(jǐn)慎神諭裝置的哥德爾型定理/
158物理含義/
參考文獻(xiàn)/
后記/