掃一掃
關(guān)注中圖網(wǎng)
官方微博
包郵 永恒的圖靈-20位科學(xué)家對(duì)圖靈思想的解構(gòu)與超越
開本：
16開
頁(yè)數(shù)：
356
本類五星書更多>
-
>
全國(guó)計(jì)算機(jī)等級(jí)考試最新真考題庫(kù)模擬考場(chǎng)及詳解·二級(jí)MSOffice高級(jí)應(yīng)用
-
>
決戰(zhàn)行測(cè)5000題(言語(yǔ)理解與表達(dá))
-
>
軟件性能測(cè)試.分析與調(diào)優(yōu)實(shí)踐之路
-
>
第一行代碼Android
-
>
JAVA持續(xù)交付
-
>
EXCEL最強(qiáng)教科書(完全版)(全彩印刷)
-
>
深度學(xué)習(xí)
中圖價(jià):¥82.1
加入購(gòu)物車
永恒的圖靈-20位科學(xué)家對(duì)圖靈思想的解構(gòu)與超越 版權(quán)信息
- ISBN：9787111596417
- 條形碼：9787111596417 ; 978-7-111-59641-7
- 裝幀：一般膠版紙
- 冊(cè)數(shù)：暫無(wú)
- 重量：暫無(wú)
- 所屬分類：>
永恒的圖靈-20位科學(xué)家對(duì)圖靈思想的解構(gòu)與超越 本書特色
圖靈誕辰百年至今，偉大思想的光芒恒久閃耀。本書云集20位不同方向的科學(xué)家，共同探討圖靈計(jì)算思想的濫觴，特別是其對(duì)未來(lái)的重要影響。這些內(nèi)容不僅涵蓋我們熟知的計(jì)算機(jī)科學(xué)和人工智能領(lǐng)域，還涉及理論生物學(xué)等并非廣為人知的圖靈研究領(lǐng)域，終形成各具學(xué)術(shù)鋒芒的15章。如果你想追上甚至超越這位謎一般的天才，歡迎閱讀本書，重溫歷史，開啟未來(lái)。
永恒的圖靈-20位科學(xué)家對(duì)圖靈思想的解構(gòu)與超越 內(nèi)容簡(jiǎn)介
圖靈誕辰百年至今，偉大思想的光芒恒久閃耀。本書云集20位不同方向的科學(xué)家，共同探討圖靈計(jì)算思想的濫觴，特別是其對(duì)未來(lái)的重要影響。這些內(nèi)容不僅涵蓋我們熟知的計(jì)算機(jī)科學(xué)和人工智能領(lǐng)域，還涉及理論生物學(xué)等并非廣為人知的圖靈研究領(lǐng)域，終形成各具學(xué)術(shù)鋒芒的15章。如果你想追上甚至超越這位謎一般的天才，歡迎閱讀本書，重溫歷史，開啟未來(lái)。
永恒的圖靈-20位科學(xué)家對(duì)圖靈思想的解構(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)見(jià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今天與未來(lái)
參考文獻(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ù)備知識(shí)
4.4.2有效的乘冪運(yùn)算
4.4.3密鑰協(xié)商協(xié)議
4.5群上的離散對(duì)數(shù)及其他計(jì)算問(wèn)題
4.6離散對(duì)數(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三種問(wèn)題類型
4.8證明安全性：復(fù)雜度下界
4.8.1引言
4.8.2兩個(gè)引理
4.8.3群作用和大步小步算法的*優(yōu)性
4.8.4離散對(duì)數(shù)和波利格-赫爾曼算法的*優(yōu)性
4.8.5Zn中的乘積計(jì)算和CDH問(wèn)題
4.8.6DDH問(wèn)題
4.8.7DL問(wèn)題到CDH問(wèn)題的一般歸約
4.9結(jié)論
致謝
參考文獻(xiàn)
第5章圖靈與恩尼格瑪統(tǒng)計(jì)學(xué)
◎坎蒂V.馬蒂亞， S.巴里·庫(kù)珀
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)
第二部分過(guò)程計(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章遲鈍呆板的人類遇見(jiàn)頂級(jí)機(jī)器翻譯家
◎侯世達(dá)
第三部分通向計(jì)算生命的逆向工程之路
第9章圖靈理論之發(fā)育模式形成
◎菲利普K.梅尼，托馬斯E.伍利，埃蒙A.加夫尼，露絲E.貝克
9.1引言
9.2發(fā)育的應(yīng)用場(chǎng)景
9.3圖靈理論的擴(kuò)展
9.4關(guān)于圖靈模型的爭(zhēng)議
9.5圖靈的影響
致謝
參考文獻(xiàn)
第10章走鋼絲繩：圖靈形態(tài)發(fā)生學(xué)中分層不穩(wěn)定性的困境
◎理查德·高登
致謝
參考文獻(xiàn)
第四部分量子計(jì)算的生物學(xué)、思維和推廣
第11章回答笛卡兒：超越圖靈
◎斯圖亞特·考夫曼
11.1引言
11.2機(jī)器思維
11.3思維、意識(shí)和機(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í)體通過(guò)量子測(cè)量相聯(lián)系
11.3.9意識(shí)是什么
11.3.10感受性與量子測(cè)量的關(guān)系
11.3.11*前端的大腦
11.3.12量子糾纏、薩穆利的觀點(diǎn)和捆綁問(wè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閱讀本章所需的知識(shí)水平
12.2常見(jiàn)問(wèn)題
12.2.1狹窄的科學(xué)主義
12.2.2偷梁換柱
12.2.3相容論
12.2.4量子夢(mèng)話
12.2.5大腦上傳：誰(shuí)會(huì)在乎
12.2.6決定論與可預(yù)測(cè)性
12.2.7量子力學(xué)與隱藏變量
12.2.8結(jié)果論證
12.2.9預(yù)測(cè)悖論
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反對(duì)假想小人
12.4從內(nèi)而外的自由
12.4.1協(xié)調(diào)問(wèn)題
12.4.2微觀事實(shí)與宏觀事實(shí)
12.5進(jìn)一步的反對(duì)意見(jià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ù)測(cè)和柯?tīng)柲曷宸驈?fù)雜度
附錄C奈特量子態(tài)
參考文獻(xiàn)
第五部分神諭、無(wú)限計(jì)算和心智的物理學(xué)
第13章圖靈的“神諭”：從絕對(duì)可計(jì)算性到相對(duì)再返回
◎所羅門·費(fèi)弗曼
13.1引言
13.2“絕對(duì)”有效可計(jì)算性
13.2.1機(jī)器和遞歸函數(shù)
13.2.2部分遞歸函數(shù)
13.2.3有效不可解問(wèn)題和歸約方法
13.3自然數(shù)的相對(duì)有效可計(jì)算性
13.3.1圖靈的“神諭”和圖靈可歸約性
13.3.2遞歸可枚舉集合、不可解度和波斯特問(wèn)題
13.3.3波斯特問(wèn)題的解和度理論的繁榮
13.4自然數(shù)的一致相
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)見(jià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今天與未來(lái)
參考文獻(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ù)備知識(shí)
4.4.2有效的乘冪運(yùn)算
4.4.3密鑰協(xié)商協(xié)議
4.5群上的離散對(duì)數(shù)及其他計(jì)算問(wèn)題
4.6離散對(duì)數(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三種問(wèn)題類型
4.8證明安全性：復(fù)雜度下界
4.8.1引言
4.8.2兩個(gè)引理
4.8.3群作用和大步小步算法的*優(yōu)性
4.8.4離散對(duì)數(shù)和波利格-赫爾曼算法的*優(yōu)性
4.8.5Zn中的乘積計(jì)算和CDH問(wèn)題
4.8.6DDH問(wèn)題
4.8.7DL問(wèn)題到CDH問(wèn)題的一般歸約
4.9結(jié)論
致謝
參考文獻(xiàn)
第5章圖靈與恩尼格瑪統(tǒng)計(jì)學(xué)
◎坎蒂V.馬蒂亞， S.巴里·庫(kù)珀
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)
第二部分過(guò)程計(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章遲鈍呆板的人類遇見(jiàn)頂級(jí)機(jī)器翻譯家
◎侯世達(dá)
第三部分通向計(jì)算生命的逆向工程之路
第9章圖靈理論之發(fā)育模式形成
◎菲利普K.梅尼，托馬斯E.伍利，埃蒙A.加夫尼，露絲E.貝克
9.1引言
9.2發(fā)育的應(yīng)用場(chǎng)景
9.3圖靈理論的擴(kuò)展
9.4關(guān)于圖靈模型的爭(zhēng)議
9.5圖靈的影響
致謝
參考文獻(xiàn)
第10章走鋼絲繩：圖靈形態(tài)發(fā)生學(xué)中分層不穩(wěn)定性的困境
◎理查德·高登
致謝
參考文獻(xiàn)
第四部分量子計(jì)算的生物學(xué)、思維和推廣
第11章回答笛卡兒：超越圖靈
◎斯圖亞特·考夫曼
11.1引言
11.2機(jī)器思維
11.3思維、意識(shí)和機(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í)體通過(guò)量子測(cè)量相聯(lián)系
11.3.9意識(shí)是什么
11.3.10感受性與量子測(cè)量的關(guān)系
11.3.11*前端的大腦
11.3.12量子糾纏、薩穆利的觀點(diǎn)和捆綁問(wè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閱讀本章所需的知識(shí)水平
12.2常見(jiàn)問(wèn)題
12.2.1狹窄的科學(xué)主義
12.2.2偷梁換柱
12.2.3相容論
12.2.4量子夢(mèng)話
12.2.5大腦上傳：誰(shuí)會(huì)在乎
12.2.6決定論與可預(yù)測(cè)性
12.2.7量子力學(xué)與隱藏變量
12.2.8結(jié)果論證
12.2.9預(yù)測(cè)悖論
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反對(duì)假想小人
12.4從內(nèi)而外的自由
12.4.1協(xié)調(diào)問(wèn)題
12.4.2微觀事實(shí)與宏觀事實(shí)
12.5進(jìn)一步的反對(duì)意見(jià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ù)測(cè)和柯?tīng)柲曷宸驈?fù)雜度
附錄C奈特量子態(tài)
參考文獻(xiàn)
第五部分神諭、無(wú)限計(jì)算和心智的物理學(xué)
第13章圖靈的“神諭”：從絕對(duì)可計(jì)算性到相對(duì)再返回
◎所羅門·費(fèi)弗曼
13.1引言
13.2“絕對(duì)”有效可計(jì)算性
13.2.1機(jī)器和遞歸函數(shù)
13.2.2部分遞歸函數(shù)
13.2.3有效不可解問(wèn)題和歸約方法
13.3自然數(shù)的相對(duì)有效可計(jì)算性
13.3.1圖靈的“神諭”和圖靈可歸約性
13.3.2遞歸可枚舉集合、不可解度和波斯特問(wèn)題
13.3.3波斯特問(wèn)題的解和度理論的繁榮
13.4自然數(shù)的一致相
展開全部
永恒的圖靈-20位科學(xué)家對(duì)圖靈思想的解構(gòu)與超越 作者簡(jiǎn)介
:高曉沨 譯者:徐秋亮 譯者:李廉 譯者:徐雯等 安德魯·霍奇斯，1949年出生于倫敦城郊，1972年開始研究扭量理論，這是數(shù)學(xué)家羅杰·彭羅斯開創(chuàng)的、解決物理學(xué)根本問(wèn)題的新方法。霍奇斯對(duì)艾倫·圖靈如謎的人生深感興趣，這一半是因?yàn)樗麄兌际菙?shù)學(xué)家，另一半是因?yàn)樗麄兌际峭詰佟?0世紀(jì)70年代，霍奇斯積極投身于同性戀解放運(yùn)動(dòng)。1977年，他決心著寫一本最詳盡的圖靈傳記，他認(rèn)為只有這樣，才能公正地刻畫這位天才的一生。經(jīng)過(guò)多年調(diào)查與寫作，本書初版于1983年問(wèn)世。霍奇斯如今已重返本職，在牛津大學(xué)瓦德漢學(xué)院研究數(shù)學(xué)。S.巴里·庫(kù)珀（S.Barry Cooper），本書付梓前不幸逝世。生前為利茲大學(xué)數(shù)理邏輯教授，歐洲“可計(jì)算性學(xué)會(huì)”主席，“圖靈百年委員會(huì)”主席。他主編的《Alan Turing: His Work and Impact》一書曾榮獲2013年美國(guó)專業(yè)與學(xué)術(shù)杰出出版獎(jiǎng)。堵丁柱，世界著名數(shù)學(xué)家，攻克了斯坦納比難題，現(xiàn)為美國(guó)得克薩斯大學(xué)達(dá)拉斯分校計(jì)算機(jī)系教授。同英文版一樣，中文版亦云集了來(lái)自中外多所科研院校的前沿學(xué)者擔(dān)綱翻譯，希望藉由此書，為更多將要跨入計(jì)算世界之未來(lái)的讀者點(diǎn)燃星火。
書友推薦
- >
羅庸西南聯(lián)大授課錄
- >
企鵝口袋書系列·偉大的思想20:論自然選擇(英漢雙語(yǔ))
- >
【精裝繪本】畫給孩子的中國(guó)神話
- >
小考拉的故事-套裝共3冊(cè)
- >
中國(guó)人在烏蘇里邊疆區(qū):歷史與人類學(xué)概述
- >
上帝之肋:男人的真實(shí)旅程
- >
中國(guó)歷史的瞬間
- >
李白與唐代文化
本類暢銷
