永恆的圖靈：20位科學家對圖靈思想的解構與超越(2024年機械工業出版社出版的圖書)

《永恆的圖靈：20位科學家對圖靈思想的解構與超越》是2024年機械工業出版社出版的圖書。

基本介紹

• 中文名：永恆的圖靈：20位科學家對圖靈思想的解構與超越
• 出版時間：2024年4月1日
• 出版社：機械工業出版社
• ISBN：9787111748809

內容簡介

圖靈誕辰百年至今，偉大思想的光芒恆久閃耀。本書雲集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自然數的一致相對可計算性/

13.4.1相對計算過程和局部遞歸泛函式/

13.4.2遞歸論/

13.4.3自然數上有限類型的局部遞歸泛函式/

13.5廣義遞歸論/

13.5.1背景與概述/

13.5.2集合和序數上的可計算性/

13.5.3一般結構上的可計算性/

13.6在真實計算中相對可計算性概念的角色/

13.6.1計算實踐和計算理論/

13.6.2內置函式和黑盒/

13.6.3編程函式方面/

13.6.4抽象數據類型/

13.6.5複雜性的度/

13.6.6結論/

附言/

參考文獻/

第14章圖靈超越：超越事件視界/

◎P. D. 韋爾奇

14.1起源/

14.2極限可判定/

14.3MH時空/

14.4無窮序數：超越算術/

14.5回到MH時空/

14.60心智/

14.7無限時間圖靈機/

14.8暫存器機和其他推廣/

14.9結論/

參考文獻/

第15章為數學思維建模的嘗試/

◎羅傑·彭羅斯

15.1圖靈的順序邏輯/

15.2數學之信任/

15.3數學理解所基於的物理過程/

15.4П語句/

15.5謹慎神諭/

15.6謹慎神諭裝置的運轉/

15.7對於謹慎神諭裝置的哥德爾型定理/

15.8物理含義/

參考文獻/

後記/