永恒的圖靈：20位科學家對圖靈思想的解構與超越 ( 簡體 字) |
| 作者：〔英〕S杄巴里·庫珀（S. Barry Cooper）安德魯·霍奇斯（Andrew Hodges）等著〔英〕S杄巴里·庫珀（S. Barry Cooper）安德魯·霍奇斯（Andrew Hodges）等著 | 類別：1. -> 程式設計 -> 綜合 |
| 譯者： |
| 出版社：機械工業出版社 |  3dWoo書號： 48945
詢問書籍請說出此書號！【缺書】
NT售價： 595 元 |
| 出版日：4/1/2018 |
| 頁數：356 |
| 光碟數：0 |
|
站長推薦：   |
| 印刷：黑白印刷 | 語系： ( 簡體 版 ) |
| |
加入購物車  │加到我的最愛
(請先登入會員) |
| ISBN：9787111596417 |
| 作者序 | 譯者序 | 前言 | 內容簡介 | 目錄 | 序 |
| (簡體書上所述之下載連結耗時費功, 恕不適用在台灣, 若讀者需要請自行嘗試, 恕不保證) |
| 作者序： |
| 譯者序： |
前言：這本書源于數理邏輯學家巴里·庫珀的提議。在2007年時，他已經在籌劃一個會議，紀念阿蘭·圖靈誕辰一百周年，不過，對于復興圖靈研究而言，這僅僅是他巨大的、充滿激情的奉獻的開端。2009年，在編輯圖靈的一部新的極為重要的論文專輯時，他（和我一起）向劍橋大學出版社提出了一個想法，出版一本關于“圖靈與計算之未來”的書。在與出版社的大衛·特納拉赫和塞維亞·芭比娜接觸以后，巴里和我感覺這是個機會，讓當今頂尖的科學家們把圖靈遺產中動人且有挑戰性的部分帶給廣大讀者。
2010年，我們確定了書名The Once and Future Turing，并且開始約稿。這項計劃依靠的是巴里·庫珀擔任歐洲可計算性學會主席以及參與數不勝數的學術會議組織委員會所凝聚的網絡力量。更為重要的是，計劃中飽含他充滿智慧的探索，呈現了邏輯與現代物理以及人類科學之間的相互影響。巴里對于“Computing the World”有著獨到的見解，他將其作為副書名，并在書中五個部分的開篇對其做了進一步闡釋，這些都是他對本書的貢獻。我的貢獻（包括全書開篇的引言）主要圍繞圖靈之曾經（Turing Once），巴里則書寫了圖靈之未來（Turing Future）。
非常不幸，在本書準備工作的最后階段，巴里突然去世了。特別令人難過的是，他沒能看到本書的出版。巴里誠摯地感謝劍橋大學出版社的每個參與者，我也是一樣。同時，感謝撰寫各章的杰出作者們，他們慷慨地工作并且永遠充滿耐心。這些章節從各個方面反射出時間與人類生命的奇跡，展現了一幅未來之景，如果圖靈和巴里·庫珀還活著，這一定是他們希望看到的。
安德魯·霍奇斯
2016年1月 |
內容簡介：圖靈誕辰百年至今，偉大思想的光芒恒久閃耀。本書云集20位不同方向的頂尖科學家，共同探討圖靈計算思想的濫觴，特別是其對未來的重要影響。這些內容不僅涵蓋我們熟知的計算機科學和人工智能領域，還涉及理論生物學等并非廣為人知的圖靈研究領域，最終形成各具學術鋒芒的15章。如果你想追上甚至超越這位謎一般的天才，歡迎閱讀本書，重溫歷史，開啟未來。
圖靈（1912—1954），19歲進入劍橋大學，26歲在普林斯頓大學獲得博士學位。二戰中，他幫助盟軍成功破解了著名的密碼系統Enigma，挽救了千萬人的生命。1952年因同性戀而獲罪，兩年后食毒蘋果自殺。2013年，英國女王伊麗莎白二世宣告特赦圖靈。
今天，世人知曉圖靈，因為他是“計算機科學之父”和“人工智能之父”，但我們理解那些遙遙領先于時代的天才思想到底意味著什么嗎？拾起本書，你將跟隨20位當代科學巨擘一起解開這些密碼。
精彩導讀
·羅賓·甘地是圖靈唯一的學生，他們是站在數學金字塔尖的一對師徒。然而在功成名就前，甘地受圖靈的影響之深幾乎被人遺忘，特別是關于邏輯學和類型論。翻開第2章，重新發現一段科學與傳承的歷史。
·寫就奇書《哥德爾、艾舍爾、巴赫——集異璧之大成》的侯世達，繼續著高超的思維博弈。當遲鈍呆板的人類遇見頂級機器翻譯家，“模仿游戲”究竟是頭腦的騙局還是真正的智能？翻開第8章，進入一場十四行詩的文字交鋒。
·萬物皆計算，生命的算法尤其令人著迷。在計算技術起步之初，圖靈就富有預見性地展開了關于生物理論的研究，他提出的“逆向工程”仍然挑戰著當代的研究者。翻開第10章，一窺圖靈是如何計算生命的。
·量子力學、時間箭頭、奇點主義、自由意志、不可克隆定理、奈特不確定性、玻爾茲曼大腦……這些統統融于最神秘的一章中，延續著圖靈未竟的思考。翻開第12章，準備好捕捉量子圖靈機中的幽靈。
·羅杰·彭羅斯，他的《皇帝新腦》，他的宇宙法則，他的神奇階梯，他與霍金的時空大辯論，他屢屢拷問現代科學的語出驚人……翻開第15章，看他如何回應圖靈，嘗試為人類的數學思維建模。 |
目錄：譯者序
前言
本書作者
本書譯者
引言/
第一部分置身可計算的世界，探索普適性數學
第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物理含義/
參考文獻/
后記/ |
| 序： |
