图灵原声PDF·计算进化史：改变数学的命运.pdf

发布时间：2022-06-14 发布人：admin 分类：说明书资料大小：4.74M 资料格式：pdf 举报版权申诉

e287e578-a030-4ff9-93ae-0fe8fdb24f1b.pdf-第1页.png

第1页 / 共234页

e287e578-a030-4ff9-93ae-0fe8fdb24f1b.pdf-第2页.png

第2页 / 共234页

e287e578-a030-4ff9-93ae-0fe8fdb24f1b.pdf-第3页.png

第3页 / 共234页

e287e578-a030-4ff9-93ae-0fe8fdb24f1b.pdf-第4页.png

第4页 / 共234页

e287e578-a030-4ff9-93ae-0fe8fdb24f1b.pdf-第5页.png

第5页 / 共234页

e287e578-a030-4ff9-93ae-0fe8fdb24f1b.pdf-第6页.png

第6页 / 共234页

e287e578-a030-4ff9-93ae-0fe8fdb24f1b.pdf-第7页.png

第7页 / 共234页

e287e578-a030-4ff9-93ae-0fe8fdb24f1b.pdf-第8页.png

第8页 / 共234页

封面

作译者介绍

扉页

版权页

译者序

致热拉尔·于埃

前言数学踏上新的征程

第一篇古老的起源

第1章从史前数学到希腊数学

第2章计算两千年

第二篇古典时代

第3章谓词逻辑

第4章判定性问题与丘奇定理

第5章丘奇论题

第6章为计算树立数学地位的尝试——λ演算

第7章构造性

第8章构造性证明与算法

第三篇公理化危机

第9章直觉主义类型论

第10章自动化证明

第11章证明检验

第12章学界新进展

第13章工具

第14章公理的终结？

结语旅程的尾声

附录一人物简介

附录二参考文献

索引

连接图灵

看完了

图书在版编目（CIP）数据计算进化史：改变数学的命运 / （法）吉尔· 多维克著；劳佳译. - - 北京：人民邮电出版社，2017. 3 （图灵新知） ISBN 978-7-115-44757-9 Ⅰ. ①计… Ⅱ. ①吉… ②劳… Ⅲ. ①计算机科学－技术史－研究 Ⅳ. ① TP3-09 中国版本图书馆 CIP 数据核字（2017）第 018928 号内容提要本书从计算的变迁这一独特视角回顾了数学、逻辑学和哲学的历史沿革，展现了计算为数学研究发展带来的全新前景，展望了这场数学革命在自然科学、信息科学与哲学领域引发的重大变革。 ◆ 著译 [ 法] 　编辑编辑责任印制彭志环 ◆ 人民邮电出版社出版发行北京市丰台区成寿寺路号邮编　4 电子邮件　网址　北京　印刷 ◆ 本　数数著作权合同登记号　图字：号定价：元读者服务热线：转　印装质量热线：反盗版热线：广告经营许可证：京东工商广字第号

译者序介绍数学史的书有很多，这一本却不太一样。说起数学史，也许你会想到课本里各种定理前耳熟能详的名字，他们是代表人类最高智慧的璀璨群星。数学家们提出的定理，以及这些定理的证明，构成了数学史上一个又一个里程碑。然而，在浩如烟海的数学史中，本书作者却独辟蹊径，挑出了一条似乎并不那么耀眼的主线—— 计算。古代的人们已经开发出各种方法来丈量土地、计算税收。无论是本书中提到的美索不达米亚，还是我们中国人熟知的《九章算术》等书，都体现了古人在计算方面的杰出成就。然而随着问题范畴不断扩大，“无穷”超出了计算力所能及的范围，于是古希腊人以“推理”奠定了公理化方法的根基。从希尔伯特提出的用计算来代替推理的宏伟猜想，到可计算性理论与构造理论，再到通过计算机进行海量计算

来完成证明，“推理”和“计算”在世纪经历了反复的争斗。和科学史上的许多争论一样，重要的不是争论本身译者序的结果，而是这一过程带来了学科的巨大发展，甚至创立出很多新的学科分支。我们在书中既可以看到眼下函数式编程里最常见的表达式的历史渊源，也能看到四色定理的计算机证明等我们熟知的数学里程碑。到底能不能用计算规则取代公理或许还悬而未决，但在数学家的工作中，计算的角色越来越显著这一趋势似乎已无可逆转，计算正在以一种全新的方式引领数学的前进。 “计算”这条主线看似简单，却牵涉到了哲学、逻辑、语言学、计算机科学等诸多领域。对于这些有些抽象乃至艰涩的内容，作者用通俗易懂的语言，清晰地把握概念而不过多地涉及学术细节，在必要处又用简明的算法示例与生动的故事加以介绍，充分展现了“大家写小书”的风范。在如今这个时代，计算机科学，特别是算法逐渐占据了我们的工作和生活每一个角落，对“计算”本身多一些了解和思考，应该说是十分有益甚至必要的。也许这本书中提到的某个领域，能够激起读者的兴趣，引发进一步的探索和研究呢。图灵社区会员道法小自然(903567778@qq.com) 专享尊重版权

分享到：

赞收藏

资料库

图灵原声PDF·计算进化史：改变数学的命运.pdf

相关推荐

开发技术

热门标签

最新资料