永恆的圖靈：20位科學家對圖靈思想的解構與超越

《永恆的圖靈：20位科學家對圖靈思想的解構與超越》是2018年機械工業出版社出版的圖書，作者是S. 巴里·庫珀、安德魯·霍奇斯 。

基本介紹

• 書名：永恆的圖靈：20位科學家對圖靈思想的解構與超越
• 作者：S. 巴里·庫珀、安德魯·霍奇斯
• 譯者：堵丁柱、高曉渢等
• 出版社：機械工業出版社
• ISBN：9787111596417

內容簡介

圖靈誕辰百年至今，偉大思想的光芒恆久閃耀。本書雲集20位不同方向的科學家，共同探討圖靈計算思想的濫觴，特別是其對未來的重要影響。這些內容不僅涵蓋我們熟知的計算機科學和人工智慧領域，還涉及理論生物學等並非廣為人知的圖靈研究領域，終形成各具學術鋒芒的15章。如果你想追上甚至這位謎一般的天才，歡迎閱讀本書，重溫歷史，開啟未來。

圖書目錄

目錄

The Once and Future Turing: Computing the World

譯者序

前言

本書作者

本書譯者

引言

第一部分置身可計算的世界，探索普適性數學

第1章算法、方程和邏輯

◎馬丁·戴維斯

1.1方法概覽

1.2例子：完全平方數集

1.3一些關係

1.4猜想變成定理的故事

1.5通用方程

1.6素數和一個醜陋的多項式

1.7邏輯

1.8關於數學

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章圖靈和素數

◎安德魯 R.布克

3.1素數

3.2大素數

3.2.1梅森素數

3.2.2電子時代的梅森素數

3.3素數的分布

3.3.1黎曼ζ函式

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迪菲-赫爾曼密鑰協商協定

4.4.1預備知識

4.4.2有效的乘冪運算

4.4.3密鑰協商協定

4.5群上的離散對數及其他計算問題

4.6離散對數算法

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群作用和大步小步算法的最優性

4.8.4離散對數和波利格-赫爾曼算法的最優性

4.8.5Zn中的乘積計算和CDH問題

4.8.6DDH問題

4.8.7DL問題到CDH問題的一般歸約

4.9結論

致謝

參考文獻

第5章圖靈與恩尼格瑪統計學

◎坎蒂V.馬蒂亞， S.巴里·庫珀

5.1引言

5.2事例的權重與經驗貝葉斯

5.3字母佇列

5.3.1恩尼格瑪編碼描述

5.3.2字母佇列的重要性

5.4GCHQ解密的兩個重要的圖靈報告

5.5圖靈的全局統計觀

5.5.1統計學和抽象層次

5.5.2擴展信息分層

5.6形態發生、統計和圖靈的人工智慧

參考文獻

第二部分過程計算而非計算大腦

第6章圖靈的洞察

◎史蒂芬·沃爾弗拉姆

參考文獻

第7章外設計算和內生計算

◎克里斯托夫·托伊舍

7.1自頂向下和自底向上的設計

7.2內生計算和外設計算

7.3圖靈的自底向上計算模式

7.4從內生計算到外設計算

7.5展望

參考文獻

第8章遲鈍呆板的人類遇見頂級機器翻譯家

◎侯世達

第三部分通向計算生命的逆向工程之路

第9章圖靈理論之發育模式形成

◎菲利普K.梅尼，托馬斯E.伍利，埃蒙A.加夫尼，露絲E.貝克

9.1引言

9.2發育的套用場景

9.3圖靈理論的擴展

9.4關於圖靈模型的爭議

9.5圖靈的影響

致謝

參考文獻

第10章走鋼絲繩：圖靈形態發生學中分層不穩定性的困境

◎理察·高登

致謝

參考文獻

第四部分量子計算的生物學、思維和推廣

第11章回答笛卡兒：超越圖靈

◎斯圖亞特·考夫曼

11.1引言

11.2機器思維

11.3思維、意識和機器思維

11.3.1回答笛卡兒

11.3.2封閉式量子系統和雙縫實驗

11.3.3開放式量子系統

11.3.4穩定的域

11.3.5非算法的、非確定性的、非隨機的反圖靈系統

11.3.6負責任的自由意志

11.3.7回答笛卡兒：思維如何在大腦中活動

11.3.8潛能和廣延實體通過量子測量相聯繫

11.3.9意識是什麼

11.3.10感受性與量子測量的關係

11.3.11最前端的大腦

11.3.12量子糾纏、薩穆利的觀點和捆綁問題

11.3.13反圖靈系統的編程

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協調問題

12.4.2微觀事實與巨觀事實

12.5進一步的反對意見

12.5.1廣告商異議

12.5.2天氣異議

12.5.3沙鼠異議

12.5.4初始狀態異議

12.5.5維格納的朋友異議

12.6與彭羅斯觀點的比較

12.7套用到玻爾茲曼大腦上

12.8指代和自由比特

12.9自由比特構想能被證偽嗎

12.10結論

致謝

附錄A定義“自由”

附錄B預測和柯爾莫戈洛夫複雜度

附錄C奈特量子態

參考文獻

第五部分神諭、無限計算和心智的物理學

第13章圖靈的“神諭”：從絕對可計算性到相對再返回

◎所羅門·費弗曼

13.1引言

13.2“絕對”有效可計算性

13.2.1機器和遞歸函式

13.2.2部分遞歸函式

13.2.3有效不可解問題和歸約方法

13.3自然數的相對有效可計算性

13.3.1圖靈的“神諭”和圖靈可歸約性

13.3.2遞歸可枚舉集合、不可解度和波斯特問題

13.3.3波斯特問題的解和度理論的繁榮

13.4自然數的一致相