永恒的图灵
正版新书 新华官方库房直发 可开电子发票
￥ 74.98 6.3折 ￥ 119 全新
库存10件
作者(英)S.巴里·库珀(S.Barry Cooper) 等 著;堵丁柱 等 译
出版社机械工业出版社
ISBN9787111596417
出版时间2018-05
版次1
装帧平装
开本16开
纸张胶版纸
页数356页
定价119元
货号SC:9787111596417
上书时间2024-11-09
- 在售商品 暂无
- 平均发货时间 15小时
- 好评率 暂无
商品详情
- 品相描述：全新
- 全新正版 提供发票
- 商品描述
-
作者简介:
S.巴里·库珀，本书付梓前不幸逝世。生前为利兹大学数理逻辑教授，欧洲“可计算性学会”，“图灵百年委员会”。他主编的《Alan Turing: His Work and Impact》一书曾荣获2013年美国专业与学术杰出出版奖。堵丁柱，世界有名数学家，攻克了斯坦纳比难题，现为美国得克萨斯大学达拉斯分校计算机系教授。同英文版一样，中文版亦云集了来自中外多所科研院校的前沿学者担纲翻译，希望藉由此书，为更多将要跨入计算世界之未来的读者点燃星火。
精彩内容:
前言The Once and Future Turing: Computing the World这本书源于数理逻辑学家巴里·库珀的提议。在2007年时，他已经在筹划一个会议，纪念阿兰·图灵诞辰一百周年，不过，对于复兴图灵研究而言，这仅仅是他巨大的、充满激情的奉献的开端。2009年，在编辑图灵的一部新的极为重要的论文专辑时，他（和我一起）向剑桥大学出版社提出了一个想法，出版一本关于“图灵与计算之未来”的书。在与出版社的大卫·特纳拉赫和塞维亚·芭比娜接触以后，巴里和我感觉这是个机会，让当今很好的科学家们把图灵遗产中动人且有挑战性的部分带给广大读者。 2010年，我们确定了书名The Once and Future Turing，并且开始约稿。这项计划依靠的是巴里·库珀担任欧洲可计算性学会以及参与数不胜数的学术会议组织委员会所凝聚的网络力量。更为重要的是，计划中饱含他充满智慧的探索，呈现了逻辑与现代物理以及人类科学之间的相互影响。巴里对于“Computing the World”有着独到的见解，他将其作为副书名，并在书中五个部分的开篇对其做了进一步阐释，这些都是他对本书的贡献。我的贡献（包括全书开篇的引言）主要围绕图灵之曾经（Turing Once），巴里则书写了图灵之未来（Turing Future）。 非常不幸，在本书准备工作的最后阶段，巴里突然去世了。特别令人难过的是，他没能看到本书的出版。巴里诚挚地感谢剑桥大学出版社的每个参与者，我也是一样。同时，感谢撰写各章的杰出作者们，他们慷慨地工作并且永远充满耐心。这些章节从各个方面反射出时间与人类生命的奇迹，展现了一幅未来之景，如果图灵和巴里·库珀还活着，这一定是他们希望看到的。 安德鲁·霍奇斯2016年1月
内容简介:
图灵诞辰百年至今，伟大思想的光芒恒久闪耀。S.巴里·库珀、安德鲁·霍奇斯等著的《永恒的图灵(20位科学家对图灵思想的解构与超越)》云集20位不同方向的科学家，共同探讨图灵计算思想的滥觞，特别是其对未来的重要影响。这些内容不仅涵盖我们熟知的计算机科学和人工智能领域，还涉及理论生物学等并非广为人知的图灵研究领域，终形成各具学术锋芒的15章。如果你想追上甚至超越这位谜一般的天才，欢迎阅读本书，重温历史，开启未来。
目录:
译者序
前言
本书作者
本书译者
引言
第一部分置身可计算的世界，探索普适性数学
第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
...
相关推荐
— 没有更多了 —
以下为对购买帮助不大的评价