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

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

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

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

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

樱桃桑椹与菖蒲,端午更有书可读

5月27日至30日,输入优惠码:DragonBoat,购买电子书满60减20。本次活动第三方授权的书不参与哦。

电子书
¥19.99
格式
mobi   pdf

纸质版定价
¥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(美国)高级软件支持顾问。业余爱好语言、数学、设计,英、法双语译者,译著有《咨询的奥秘》《卓越程序员密码》《周末读完英国史》等。
  • 我是来站位的
    libraprince  发表于 2017-02-16 11:33:00
    推荐
  • 下周肯定限免这本
    iAngel  发表于 2017-02-16 22:15:27
    推荐
  • 这本半价不该是9.9吗?
    seasmiles  发表于 2017-05-17 11:20:42
    推荐
    • 我也发现了,现在改成特价,不是半价了

      imhuay  发表于 2017-05-19 12:00:24