永恒的图灵：20位科学家对图灵思想的解构与超越（典藏版） [英] S. 巴里·库珀

图书标准信息

• 作者 （英） S. 巴里·库珀 （英） 安德鲁·霍奇斯 等
• 出版社 机械工业出版社
• 出版时间 2024-05
• 版次 1
• ISBN 9787111748809
• 定价 119.00元
• 装帧 平装
• 开本 16开
• 页数 376页
• 字数 404千字

【内容简介】

图灵诞辰百年至今，思想的光芒恒久闪耀。本书云集20位不同方向的科学家，共同探讨图灵计算思想的滥觞，特别是其对未来的重要影响。这些内容不仅涵盖我们熟知的计算机科学和人工智能领域，还涉及理论生物学等并非广为人知的图灵研究领域，终形成各具学术锋芒的15章。如果你想追上甚至这位谜一般的天才，欢迎阅读本书，重温历史，开启未来。

【作者简介】

:
安德鲁·霍奇斯，1949年出生于伦敦城郊，1972年开始研究扭量理论，这是数学家罗杰·彭罗斯开创的、解决物理学根本问题的新方法。霍奇斯对艾伦·图灵如谜的人生深感兴趣，这一半是因为他们都是数学家，另一半是因为他们都是同性恋。20世纪70年代，霍奇斯积极投身于同性恋解放运动。1977年，他决心著写一本最详尽的图灵传记，他认为只有这样，才能公正地刻画这位天才的一生。经过多年调查与写作，本书初版于1983年问世。霍奇斯如今已重返本职，在牛津大学瓦德汉学院研究数学。

【目录】

译者序

前言

本书作者

本书译者

引言

部分置身可计算的世界，探索普适数学

章算法、方程和逻辑

马丁·戴维斯

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图灵的影响

致谢

参文献

0章走钢丝绳：图灵形态发生学中分层不稳定的困境

理查德·高登

致谢

参文献

第四部分量子计算的生物学、思维和推广

1章回答笛卡儿：图灵

斯图亚特·夫曼

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结论

附言

致谢

参文献

2章量子图灵机中的幽灵

斯科特·阿伦森

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奈特量子态

参文献

第五部分神谕、无限计算和心智的物理学

3章图灵的“神谕”：从可计算到相对再返回

所罗门·费弗曼

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结论

附言

参文献

4章图灵：事件视界

p.d.韦尔奇

14.1起源

14.2极限可判定

14.3mh时空

14.4无穷序数：算术

14.5回到mh时空

14.60心智

14.7无间图灵机

14.8寄存器机和其他推广

14.9结论

参文献

5章为数学思维建模的尝试

罗杰·彭罗斯

15.1图灵的顺序逻辑

15.2数学之信任

15.3数学理解所基于的物理过程

15.4п语句

15.5谨慎神谕

15.6谨慎神谕装置的运转

15.7对于谨慎神谕装置的哥德尔型定理

15.8物理含义

参文献

后记