永恒的圖靈：20位科學家對圖靈思想的解構與超越（典藏版）

目錄
The Once and Future Turing: Computing the World

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

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

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