作者:[法]吉尔·多维克
出版社:人民邮电出版社
出品方:图灵新知
副标题:改变数学的命运
原作名:Lesmétamorphosesducalcul
译者:劳佳
出版年:2017-2
页数:228
定价:39
装帧:平装
ISBN:9787115447579
内容简介
······
本书从计算的变迁这一独特视角回顾了数学、逻辑学和哲学的历史沿革,展现了计算为数学研究发展带来的全新前景,展望了这场数学革命在自然科学、信息科学与哲学领域引发的重大变革。
作者简介
······
吉尔·多维克(Gilles Dowek),法国数学家、逻辑学家和计算机科学家,法国国家计算机与自动化研究所机器证明处理系统、编程语言、航空系统安全专家,美国国家航空研究院顾问。多维克撰写过多部数学和计算机科学科普作品,曾荣获法国数学学会达朗贝尔奖和法兰西学术院哲学大奖。
目录
······
版权声明
译者序
致辞
前言
第一篇 古老的起源
第 1 章 从史前数学到希腊数学
第 2 章 计算两千年
第二篇 古典时代
第 3 章 谓词逻辑
第 4 章 判定性问题与丘奇定理
第 5 章 丘奇论题
第 6 章 为计算树立数学地位的尝试——λ 演算
第 7 章 构造性
第 8 章 构造性证明与算法
第三篇 公理化危机
第 9 章 直觉主义类型论
第 10 章 自动化证明
第 11 章 证明检验
第 12 章 学界新进展
第 13 章 工具
第 14 章 公理的终结?
结语 旅程的尾声
附录一 人物简介
附录二 参考文献
"计算进化史"试读
······
介绍数学史的书有很多,这一本却不太一样。
说起数学史,也许你会想到课本里各种定理前耳熟能详的名字,他们是代表人类最高智慧的璀璨群星。数学家们提出的定理,以及这些定理的证明,构成了数学史上一个又一个里程碑。然而,在浩如烟海的数学史中,本书作者却独辟蹊径,挑出了一条似乎并不那么耀眼的主线——计算。
古代的人们已经开发出各种方法来丈量土地、计算税收。无论是本书…
- 译者序
- 前言
评论 ······
后半段还是感觉晦涩了些,不太能跟上思路,并不像通常读科普的感觉,更接近语言学逻辑学的思辨。当然讨论数学本质不可避免要从这样的角度才能深入。
这个主题好新奇,但是要承认后面看不懂了
第二章算是本书真正的重点,从介绍谓词演算到丘奇图灵论题再到构造性证明,是一般此类书籍涉及较少的领域,但是第一、三章就过于平庸了,可以不带期待随便看看,比较平实无华。
主要想讨论的是计算对证明的重要性。对“证明”这一概念的梳理比较清楚,尤其谓词逻辑和判定性问题的章节,提纲挈领,对理解语言哲学也有帮助。
评论前必须登录!
注册