¥ 19.99 购买电子书
推送到 Kindle 的服务已停止,如需 mobi 版,请看 最新帮助

图灵新知

计算进化史:改变数学的命运

~ 吉尔·多维克 (作者)   劳佳 (译者)
无论从事何种研究方向的数学家,都该读一读这本书。——Adhemar Bultheel,欧洲数学学会

这部精巧之作展现了计算在数学中愈发重要的地位,宣告了算法数学时代的来临。这是一段关于“计算”与“数学”故事,散文般生动的文字让读者在阅读中领略数学思想的精粹。——Bernard Chazell,普林斯顿大学
版权声明 阅读
译者序 阅读
致辞 阅读
前言 阅读
第一篇 古老的起源 阅读
第 1 章 从史前数学到希腊数学 阅读
第 2 章 计算两千年 阅读
第二篇 古典时代
第 3 章 谓词逻辑
第 4 章 判定性问题与丘奇定理
第 5 章 丘奇论题
第 6 章 为计算树立数学地位的尝试——λ 演算
第 7 章 构造性
第 8 章 构造性证明与算法
第三篇 公理化危机
第 9 章 直觉主义类型论
第 10 章 自动化证明
第 11 章 证明检验
第 12 章 学界新进展
第 13 章 工具
第 14 章 公理的终结?
结语 旅程的尾声
附录一 人物简介
附录二 参考文献
系列书名 图灵新知
书  号 978-7-115-44757-9
出版日期 2017-03
页  数
定  价 39.00 元
印刷方式 黑白
类  别

【本书特色】
展现算法时代,计算为自然科学与哲学研究带来的震撼之力。
一段别开生面的数学历程,如何引发一场改变科学面貌的哲学思考。
一本荣获法兰西学术院哲学大奖的数学书。
一本数学爱好者都应该读一读的哲学书。

【内容简介】
长久以来,推理与证明一直是数学研究不可撼动的基石。然而,从20世纪70代初起,证明方法发生了翻天覆地的变化。伴随着数学领域一个又一个重大突破,人们开始质疑推理的至高地位,重新挖掘计算的价值,试图寻找两者之间的平衡。这一变革将以全新视角解读数学与其他自然科学之间的关系,也为哲学思考照亮不一样的前景。同时,数学与计算机科学之间的关系也随之发生了微妙变化。在所有科学领域中,向来只有数学研究可以不依赖任何硬件设备,全凭人类大脑完成。但是,计算机科学正在挑战这一独特性,努力攻破数学证明的技术难点,将数学研究推向前所未知的疆界。

本书从计算的演变这一独特视角回顾了数学、逻辑学和哲学的历史沿革,展望了计算机科学为数学带来的全新前景,以及由此引发的自然科学与哲学领域的重大变革。

【作者简介】
吉尔•多维克(Gilles Dowek),法国数学家、逻辑学家和计算机科学家,法国国家计算机与自动化研究所机器证明处理系统、编程语言、航空系统安全专家,美国国家航空研究院顾问。多维克撰写过多部数学和计算机科学科普作品,曾荣获法国数学学会达朗贝尔奖和法兰西学术院哲学大奖。

【译者介绍】
劳佳,上海交通大学硕士,现任SAP(美国)高级软件支持顾问。业余爱好语言、数学、设计,英、法双语译者,译著有《咨询的奥秘》《卓越程序员密码》《周末读完英国史》等。

原书书名 Les métamorphoses du calcul
原书书号
原书国家
原书出版社 Le Pommier
原书页数

本书标签

× 152
× 1
× 0

相关标签