由于此商品库存有限,请在下单后15分钟之内支付完成,手慢无哦!
100%刮中券,最高50元无敌券,券有效期7天
活动自2017年6月2日上线,敬请关注云钻刮券活动规则更新。
如活动受政府机关指令需要停止举办的,或活动遭受严重网络攻击需暂停举办的,或者系统故障导致的其它意外问题,苏宁无需为此承担赔偿或者进行补偿。
正版 永恒的图灵 20位科学家对图灵思想的解构与超越 典藏版 巴里 库珀 图灵 可计算 算法 方程和逻辑 素数 密
¥ ×1
| |
商品名称: | 永恒的图灵:20位科学家对图灵思想的解构与超越(典藏版) |
作 者: | [英] S. 巴里·库珀(S. Barry Cooper) [英] 安德鲁·霍奇斯(Andrew Hodges)等
|
市 场 价: | 119.00
|
ISBN 号: | 9787111748809
|
出版日期: |
|
页 数: | 357
|
开 本: |
|
出 版 社: | 机械工业出版社 |
目录
The Once and Future Turing: Computing the World
译者序
前言
本书作者
本书译者 引言/
第一部分置身可计算的世界,探索普适性数学 第1章算法、方程和逻辑/
◎马丁·戴维斯
11方法概览/
12例子:完全平方数集/
13一些关系/
14猜想变成定理的故事/
15通用方程/
16素数和一个丑陋的多项式/
17逻辑/
18关于数学/
19关于朱莉娅·罗宾逊的电影/
附录:不可解性定理的证明/
参考文献/
第2章被遗忘的图灵/
◎J M E 海兰
21引言/
22唯一的学生/
23回忆/
24早年时光/
25学生与导师/
26中文翻译/
27一个想法的产生/
28远见和反思/
29图灵和类型论/
210图灵的理论倾向/
211从未完稿的论文/
212图灵的遗产/
参考文献/ 第3章图灵和素数/
◎安德鲁 R布克
31素数/
32大素数/
321梅森素数/
322电子时代的梅森素数/
33素数的分布/
331黎曼ζ函数/
332图灵与黎曼猜想/
333形式化证明/
34今天与未来/
参考文献/
第4章图灵之后的密码学和计算/
◎乌力·毛勒
41引言/
42密码学/
421引言/
422密钥的需求/
423安全性证明/
43计算/
44迪菲-赫尔曼密钥协商协议/
441预备知识/
442有效的乘幂运算/
443密钥协商协议/
45群上的离散对数及其他计算问题/
46离散对数算法/
461引言/
462大步小步算法/
463波利格-赫尔曼算法/
47抽象计算模型/
471动机/
472计算模型/
473三种问题类型/
48证明安全性:复杂度下界/
481引言/
482两个引理/
483群作用和大步小步算法的最优性/
484离散对数和波利格-赫尔曼算法的最优性/
485Zn中的乘积计算和CDH问题/
486DDH问题/
487DL问题到CDH问题的一般归约/
49结论/
致谢/
参考文献/
第5章图灵与恩尼格玛统计学/
◎坎蒂V马蒂亚, S巴里·库珀
51引言/
52事例的权重与经验贝叶斯/
53字母队列/
531恩尼格玛编码描述/
532字母队列的重要性/
54GCHQ解密的两个重要的图灵报告/
55图灵的全局统计观/
551统计学和抽象层次/
552扩展信息分层/
56形态发生、统计和图灵的人工智能/
参考文献/
第二部分过程计算而非计算大脑 第6章图灵的洞察/
◎斯蒂芬·沃尔弗拉姆
参考文献/
第7章外设计算和内生计算/
◎克里斯托夫·托伊舍
71自顶向下和自底向上的设计/
72内生计算和外设计算/
73图灵的自底向上计算模式/
74从内生计算到外设计算/
75展望/
参考文献/
第8章迟钝呆板的人类遇见顶级机器翻译家/
◎侯世达
第三部分通向计算生命的逆向工程之路 第9章图灵理论之发育模式形成/
◎菲利普K梅尼,托马斯E伍利,埃蒙A加夫尼,露丝E贝克
91引言/
92发育的应用场景/
93图灵理论的扩展/
94关于图灵模型的争议/
95图灵的影响/
致谢/
参考文献/
第10章走钢丝绳:图灵形态发生学中分层不稳定性的困境/
◎理查德·高登
致谢/
参考文献/
第四部分量子计算的生物学、思维和推广 第11章回答笛卡儿:超越图灵/
◎斯图亚特·考夫曼
111引言/
112机器思维/
113思维、意识和机器思维/
1131回答笛卡儿/
1132封闭式量子系统和双缝实验/
1133开放式量子系统/
1134稳定的域/
1135非算法的、非确定性的、非随机的反图灵系统/
1136负责任的自由意志/
1137回答笛卡儿:思维如何在大脑中活动/
1138潜能和广延实体通过量子测量相联系/
1139意识是什么/
11310感受性与量子测量的关系/
11311最前端的大脑/
11312量子纠缠、萨穆利的观点和捆绑问题/
11313反图灵系统的编程/
114结论/
附言/
致谢/
参考文献/ 第12章量子图灵机中的幽灵/
◎斯科特·阿伦森
121引言/
1211“自由意志”与“自由”/
1212关于本章标题的注释/
1213阅读本章所需的知识水平/
122常见问题/
1221狭窄的科学主义/
1222偷梁换柱/
1223相容论/
1224量子梦话/
1225大脑上传:谁会在乎/
1226决定论与可预测性/
1227量子力学与隐藏变量/
1228结果论证/
1229预测悖论/
12210奇点主义/
12211利贝实验/
12212心灵和道德/
123奈特不确定性和物理/
1231奈特不确定性/
1232量子力学与不可克隆定理/
1233自由比特构想/
1234放大与大脑/
1235反对假想小人/
124从内而外的自由/
1241协调问题/
1242微观事实与宏观事实/
125进一步的反对意见/
1251广告商异议/
1252天气异议/
1253沙鼠异议/
1254初始状态异议/
1255维格纳的朋友异议/
126与彭罗斯观点的比较/
127应用到玻尔兹曼大脑上/
128指代和自由比特/
129自由比特构想能被证伪吗/
1210结论/
致谢/
附录A定义“自由”/
附录B预测和柯尔莫戈洛夫复杂度/
附录C奈特量子态/
参考文献/
第五部分神谕、无限计算和心智的物理学 第13章图灵的“神谕”:从绝对可计算性到相对再返回/
◎所罗门·费弗曼
131引言/
132“绝对”有效可计算性/
1321机器和递归函数/
1322部分递归函数/
1323有效不可解问题和归约方法/
133自然数的相对有效可计算性/
1331图灵的“神谕”和图灵可归约性/
1332递归可枚举集合、不可解度和波斯特问题/
1333波斯特问题的解和度理论的繁荣/
134自然数的一致相对可计算性/
1341相对计算过程和局部递归泛函数/
1342递归论/
1343自然数上有限类型的局部递归泛函数/
135广义递归论/
1351背景与概述/
1352集合和序数上的可计算性/
1353一般结构上的可计算性/
136在真实计算中相对可计算性概念的角色/
1361计算实践和计算理论/
1362内置函数和黑盒/
1363编程函数方面/
1364抽象数据类型/
1365复杂性的度/
1366结论/
附言/
参考文献/ 第14章图灵超越:超越事件视界/
◎P D 韦尔奇
141起源/
142极限可判定/
143MH时空/
144无穷序数:超越算术/
145回到MH时空/
1460心智/
147无限时间图灵机/
148寄存器机和其他推广/
149结论/
参考文献/ 第15章为数学思维建模的尝试/
◎罗杰·彭罗斯
151图灵的顺序逻辑/
152数学之信任/
153数学理解所基于的物理过程/
154П语句/
155谨慎神谕/ 亲,大宗购物请点击企业用户渠道>小苏的服务会更贴心! 亲,很抱歉,您购买的宝贝销售异常火爆让小苏措手不及,请稍后再试~ 非常抱歉,您前期未参加预订活动, 抱歉,您暂无任性付资格 |