永恒的图灵-20位科学家对图灵思想的解构与超越
本书特色
[
图灵诞辰百年至今，伟大思想的光芒恒久闪耀。本书云集20位不同方向的科学家，共同探讨图灵计算思想的滥觞，特别是其对未来的重要影响。这些内容不仅涵盖我们熟知的计算机科学和人工智能领域，还涉及理论生物学等并非广为人知的图灵研究领域，终形成各具学术锋芒的15章。如果你想追上甚至超越这位谜一般的天才，欢迎阅读本书，重温历史，开启未来。
]
目录
目录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自然数的一致相
封面
书名:永恒的图灵-20位科学家对图灵思想的解构与超越
作者:S.巴里.库珀
页数:356
定价:¥119.0
出版社:机械工业出版社
出版日期:2018-05-01
ISBN:9787111596417
PDF电子书大小:89MB 高清扫描完整版