永恒的图灵(20位科学家对图灵思想的解构与超越)/计算机科学丛书
正版图书 真实库存欢迎选购 套装图书先联系再下单 套装图书请先咨询客服再下单
¥
75.87
6.4折
¥
119
全新
库存5件
作者 堵丁柱
出版社 机械工业出版社
ISBN 9787111596417
出版时间 2018-05
装帧 其他
开本 16开
定价 119元
货号 30163959
上书时间 2024-11-14
商品详情
品相描述:全新
商品描述
作者简介 S.巴里·库珀,本书付梓前不幸逝世。生前为利兹大学数理逻辑教授,欧洲“可计算性学会”,“图灵百年委员会”。他主编的《Alan Turing: His Work and Impact》一书曾荣获2013年美国专业与学术杰出出版奖。堵丁柱,世界有名数学家,攻克了斯坦纳比难题,现为美国得克萨斯大学达拉斯分校计算机系教授。同英文版一样,中文版亦云集了来自中外多所科研院校的前沿学者担纲翻译,希望藉由此书,为更多将要跨入计算世界之未来的读者点燃星火。 目录 译者序 前言 本书作者 本书译者 引言 第一部分 置身可计算的世界,探索普适性数学 第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 密码学 …… 第5章 图灵与恩尼格玛统计学 ◎坎蒂V.马蒂亚, S.巴里·库珀 第二部分 过程计算而非计算大脑 第6章 图灵的洞察 ◎斯蒂芬·沃尔弗拉姆 第7章 外设计算和内生计算 ◎克里斯托夫·托伊舍 第8章 迟钝呆板的人类遇见顶级机器翻译家 ◎侯世达 第三部分 通向计算生命的逆向工程之路 第9章 图灵理论之发育模式形成 ◎菲利普K.梅尼,托马斯E.伍利,埃蒙A.加夫尼,露丝E.贝克 第10章 走钢丝绳:图灵形态发生学中分层不稳定性的困境 ◎理查德·高登 第四部分 量子计算的生物学、思维和推广 第11章 回答笛卡儿:超越图灵 ◎斯图亚特·考夫曼 第12章 量子图灵机中的幽灵 ◎斯科特·阿伦森 第五部分 神谕、无限计算和心智的物理学 第13章 图灵的“神谕”:从绝对可计算性到相对再返回 ◎所罗门·费弗曼 第14章 图灵超越:超越事件视界 ◎P.D.韦尔奇 第15章 为数学思维建模的尝试 ◎罗杰·彭罗斯 后记 内容摘要 图灵诞辰百年至今,伟大思想的光芒恒久闪耀。 S.巴里·库珀、安德鲁·霍奇斯等著的《永恒的图灵(20位科学家对图灵思想的解构与超越)》云集20位不同方向的科学家,共同探讨图灵计算思想的滥觞,特别是其对未来的重要影响。这些内容不仅涵盖我们熟 知的计算机科学和人工智能领域,还涉及理论生物学等并非广为人知的图灵研究领域,终形成各具学术锋芒的15章。如果你想追上甚至超越这位谜一般的天才,欢迎阅读本书,重温历史,开启未来。
— 没有更多了 —
以下为对购买帮助不大的评价