中图网(原中国图书网)：网上书店，尾货特色书店，30万种特价书低至2折！

歡迎光臨中圖網 請 | 注冊
> >
永恒的圖靈:20位科學家對圖靈思想的解構與超越(典藏版)

包郵 永恒的圖靈:20位科學家對圖靈思想的解構與超越(典藏版)

出版社：機械工業出版社出版時間：2024-04-01
開本： 16開 頁數： 357
中 圖 價:¥83.3(7.0折) 定價  ¥119.0 登錄后可看到會員價
加入購物車 收藏
開年大促， 全場包郵
?新疆、西藏除外
本類五星書更多>

永恒的圖靈:20位科學家對圖靈思想的解構與超越(典藏版) 版權信息

  • ISBN：9787111748809
  • 條形碼：9787111748809 ; 978-7-111-74880-9
  • 裝幀：平裝-膠訂
  • 冊數：暫無
  • 重量：暫無
  • 所屬分類：>

永恒的圖靈:20位科學家對圖靈思想的解構與超越(典藏版) 本書特色

圖靈是當代計算科學巨擘，開創了計算機科學和人工智能的基本理論，被稱為“計算機科學之父”和“人工智能之父”。本書是為紀念圖靈百年誕辰，由20位不同領域的科學家聯袂編寫，從不同側面探討圖靈計算思想的濫觴，展望這些科學思想的未來前景。中文版由世界著名數學家堵丁柱領銜的8位資深學者翻譯，譯文準確傳達了原著的意義,兼顧中文的表達，完美呈現了原著的精髓，堪稱中文譯作的精品。本書適合所有愿意了解圖靈思想和理解計算機科學和智能技術的讀者。

永恒的圖靈:20位科學家對圖靈思想的解構與超越(典藏版) 內容簡介

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

永恒的圖靈:20位科學家對圖靈思想的解構與超越(典藏版) 目錄

目錄

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物理含義/

參考文獻/

后記/
展開全部

永恒的圖靈:20位科學家對圖靈思想的解構與超越(典藏版) 作者簡介

S. 巴里·庫珀
（S. Barry Cooper）
本書付梓前不幸逝世。生前為利茲大學數理邏輯教授，歐洲“可計算性學會”主席，“圖靈百年委員會”主席。他主編的Alan Turing: His Work and Impact一書曾榮獲2013年美國專業與學術杰出出版獎。
安德魯·霍奇斯
（Andrew Hodges）
牛津大學數學研究所教授、高級研究員。他撰寫了暢銷全球的權威圖靈傳記Alan Turing: The Enigma，此書也是奧斯卡獲獎影片《模仿游戲》的文學原本。

商品評論(0條)
暫無評論……
書友推薦
本類暢銷
編輯推薦
返回頂部
中圖網
在線客服
主站蜘蛛池模板： 万家财经_财经新闻_在线财经资讯网 | 3dmax渲染-效果图渲染-影视动画渲染-北京快渲科技有限公司 | 拉曼光谱仪_便携式|激光|显微共焦拉曼光谱仪-北京卓立汉光仪器有限公司 | 心肺复苏模拟人|医学模型|急救护理模型|医学教学模型上海康人医学仪器设备有限公司 | 欧景装饰设计工程有限公司-无锡欧景装饰官网 | 纯化水设备-纯水设备-超纯水设备-[大鹏水处理]纯水设备一站式服务商-东莞市大鹏水处理科技有限公司 | 3A别墅漆/3A环保漆_广东美涂士建材股份有限公司【官网】 | 济南网站建设|济南建网站|济南网站建设公司【济南腾飞网络】【荐】 | 奶茶加盟,奶茶加盟店连锁品牌-甜啦啦官网 | 深圳工程师职称评定条件及流程_深圳职称评审_职称评审-职称网 | 铝箔袋,铝箔袋厂家,东莞铝箔袋,防静电铝箔袋,防静电屏蔽袋,防静电真空袋,真空袋-东莞铭晋让您的产品与众不同 | 济南展厅设计施工_数字化展厅策划设计施工公司_山东锐尚文化传播有限公司 | 电磁流量计_智能防腐防爆管道式计量表-金湖凯铭仪表有限公司 | 双工位钻铣攻牙机-转换工作台钻攻中心-钻铣攻牙机一体机-浙江利硕自动化设备有限公司 | 合肥弱电工程_安徽安防工程_智能化工程公司-合肥雷润 | 无线遥控更衣吊篮_IC卡更衣吊篮_电动更衣吊篮配件_煤矿更衣吊篮-力得电子 | 铆钉机|旋铆机|东莞旋铆机厂家|鸿佰专业生产气压/油压/自动铆钉机 | 海南在线 海南一家| 右手官网|右手工业设计|外观设计公司|工业设计公司|产品创新设计|医疗产品结构设计|EMC产品结构设计 | 列管冷凝器,刮板蒸发器,外盘管反应釜厂家-无锡曼旺化工设备有限公司 | 隔离变压器-伺服变压器--输入输出电抗器-深圳市德而沃电气有限公司 | TPU薄膜_TPU薄膜生产厂家_TPU热熔胶膜厂家定制_鑫亘环保科技(深圳)有限公司 | 喷漆房_废气处理设备-湖北天地鑫环保设备有限公司 | 杭州高温泵_热水泵_高温油泵|昆山奥兰克泵业制造有限公司 | 百度爱采购运营研究社社群-店铺托管-爱采购代运营-良言多米网络公司 | 成都装修公司-成都装修设计公司推荐-成都朗煜装饰公司 | 蒜肠网-动漫,二次元,COSPLAY,漫展以及收藏型模型,手办,玩具的新媒体.（原变形金刚变迷TF圈) | 硫化罐-电加热蒸汽硫化罐生产厂家-山东鑫泰鑫智能装备有限公司 | 深圳法律咨询【24小时在线】深圳律师咨询免费| 北京自然绿环境科技发展有限公司专业生产【洗车机_加油站洗车机-全自动洗车机】 | 合肥地磅_合肥数控切割机_安徽地磅厂家_合肥世佳电工设备有限公司 | 碳化硅,氮化硅,冰晶石，绢云母，氟化铝，白刚玉,棕刚玉，石墨,铝粉,铁粉,金属硅粉,金属铝粉,氧化铝粉,硅微粉,蓝晶石,红柱石,莫来石,粉煤灰,三聚磷酸钠,六偏磷酸钠,硫酸镁-皓泉新材料 | 广州企亚 - 数码直喷、白墨印花、源头厂家、透气无手感方案服务商！ | 全自动实验室洗瓶机,移液管|培养皿|进样瓶清洗机,清洗剂-广州摩特伟希尔机械设备有限责任公司 | 中式装修设计_室内中式装修_【云臻轩】中式设计机构 | 东莞螺丝|东莞螺丝厂|东莞不锈钢螺丝|东莞组合螺丝|东莞精密螺丝厂家-东莞利浩五金专业紧固件厂家 | 山东集装箱活动房|济南集装箱活动房-济南利森集装箱有限公司 | ISO9001认证咨询_iso9001企业认证代理机构_14001|18001|16949|50430认证-艾世欧认证网 | 玄米影院| 深圳市索富通实业有限公司-可燃气体报警器 | 可燃气体探测器 | 气体检测仪 | 食药成分检测_调料配方还原_洗涤剂化学成分分析_饲料_百检信息科技有限公司 |