计算进化史:改变数学的命运
14推荐 收藏
11.0K阅读
图灵新知

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

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

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

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

纸质书
¥35.10 ¥39.00

出版信息

  • 书  名计算进化史:改变数学的命运
  • 系列书名图灵新知
  • 执行编辑关于本书的内容有任何问题,请联系 戴童
  • 出版日期2017-03-07
  • 书  号978-7-115-44757-9
  • 定  价39.00 元
  • 页  数216
  • 印刷方式黑白
  • 开  本32开
  • 出版状态上市销售
  • 原书名Les métamorphoses du calcul

所属分类

同系列书

  • 信息简史

    [美]詹姆斯•格雷克   高博   译

    人类与信息遭遇的历史由来已久。詹姆斯•格雷克笔下的这段历史出人意料地从非洲的鼓语讲起(第1章)。非洲土著部落在...

  • 思考的乐趣:Matrix67数学笔记

    顾森  

    本书内容大多是从作者6 年多以来积累的上千篇博客中节选而来的,分为“生活中的数学”、“数学之美”、“几何的大厦...

  • 玩不够的数学:算术与几何的妙趣

    [法] 让-保罗•德拉耶   路遥   译

    本书揭开趣味游戏、艺术设计和日常生活中的数学密码,通过新颖话题和精美图示展现算术与几何中隐藏的妙趣,从最简单的...

  • 每个人都会死,但我总以为自己不会

    Thomas Cathcart   Daniel Klein   胡燕娟   译

    两位哲学家从哲学、神学和心理学的角度,探讨了死亡和永生,揭开了死亡的棺材盖,让我们正视生与死。叔本华、尼采、加...

  • 数学女孩

    结城浩   朱一飞   译

    <内容摘要> 《数学女孩》以小说的形式展开,重点描述一群年轻人探寻数学中的美。内容由浅入深,数学讲解部分十分...

本书特色

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

目录

版权声明 阅读
译者序 阅读
致辞 阅读
前言 阅读
第一篇 古老的起源 阅读
第 1 章 从史前数学到希腊数学 阅读
第 2 章 计算两千年 阅读
第二篇 古典时代
第 3 章 谓词逻辑
第 4 章 判定性问题与丘奇定理
第 5 章 丘奇论题
第 6 章 为计算树立数学地位的尝试——λ 演算
第 7 章 构造性
第 8 章 构造性证明与算法
第三篇 公理化危机
第 9 章 直觉主义类型论
第 10 章 自动化证明
第 11 章 证明检验
第 12 章 学界新进展
第 13 章 工具
第 14 章 公理的终结?
结语 旅程的尾声
附录一 人物简介
附录二 参考文献

作者介绍

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

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

大家也喜欢

  • 数学悖论与三次数学危机

    韩雪涛  

    本书介绍数学中的三大悖论(毕达哥拉斯悖论、贝克莱悖论、罗素悖论)与三次数学危 机,以时间为序,以环环相扣的数...

相关文章

  • 李洁 7推荐

    一本数学书为什么会获得法兰西学术院的哲学大奖?

    回想一下小时候学数学的经历,我们都是先学了加、减、乘、除这些四则运算的规则。随着学习的深入,才开始学习推理和证明,再后又学习新的运算。然而“计算”和“推理”的地位似乎并不相同。课本里那些耳熟能详的名字,那些名垂千古的数学家们总是在不断提出和证明定理。推理和证明一直是展现数学能力…...

  • 海兴 11推荐

    垒码不知计算史,阅尽算法也枉然

    世界上只有两种人,想象力大于等于100的和想象力小于100的。 --Alex·Erhei 人类之所以能在漫长的历史进程中爬上食物链的顶端,主要是因为人类有能力建立起地球上最大的合作网络。 公元前8500年,全球最大的人类聚落大概有几百个村民,其规模并不比羊群、牛群、狼群、…...

  • 烙饼师 2推荐

    《计算进化史》感受

    花了差不多有两个小时,这本《计算进化史》读起来实在是令人不太愉快。。不知道是因为自己的数学素养不够还是说作者的语言太过概括和凝练。数学史我是可以读下去的、哲学我也是可以读下去的,但是这本书读完总给人一种我有我有我有介绍就不告诉你的感觉。蜻蜓点水般反复提出的名词,读罢之后剩下的不…...

  • 我是来站位的
    libraprince  发表于 2017-02-16 11:33:00
    推荐
  • 下周肯定限免这本
    NOTHING_  发表于 2017-02-16 22:15:27
    推荐
  • 这本半价不该是9.9吗?
    seasmiles  发表于 2017-05-17 11:20:42
    推荐
    • 我也发现了,现在改成特价,不是半价了

      华阳  发表于 2017-05-19 12:00:24
  • https://zhuanlan.zhihu.com/p/27156463
    一点感想
    天道仇情卍  发表于 2017-05-31 21:23:51
    推荐
  • 改变数学的命运——《计算进化史》读后感
    http://www.jianshu.com/p/abab9f182903
    阿狸不歌  发表于 2017-06-21 13:41:08
    推荐