计算进化史 改变数学的命运图书
人气:17

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

计算改变科学与哲学的力量
  • 所属分类:图书 >自然科学>数学>数学理论  
  • 作者:[法] [吉尔·多维克]
  • 产品参数:
  • 丛书名:--
  • 国际刊号:9787115447579
  • 出版社:人民邮电出版社
  • 出版时间:2017-03
  • 印刷时间:2017-03-01
  • 版次:1
  • 开本:32开
  • 页数:--
  • 纸张:胶版纸
  • 包装:平装-胶订
  • 套装:

内容简介

本书从计算的变迁这一独特视角回顾了数学、逻辑学和哲学的历史沿革,展 现了计算为数学研究发展带来的全新前景,展望了这场数学革命在自然科学、信 息科学与哲学领域引发的重大变革。本书荣获年法兰西学术院哲学大奖,一直是数学、计算机科学和哲学领域的畅销读物。

编辑推荐

一本荣获法兰西学术院哲学大奖的数学书

一本数学爱好者都应该读一读的哲学书

讲述一段别开生面的数学历程

引发一场改变科学面貌的哲学思考

展现算法时代,计算为自然科学与哲学研究带来的震撼之力

作者简介

吉尔•多维克(Gilles Dowek)

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

目录

及时篇 古老的起源

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

第2章计算两千年17

第二篇古典时代

第3章谓词逻辑36

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

第5章丘奇论题73

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

第7章构造性100

第8章构造性证明与算法113

第三篇公理化危机

第9章直觉主义类型论122

第10章自动化证明132

第11章证明检验145

第12章学界新进展153

第13章工 具172

第14章公理的终结?187

结语旅程的尾声190

附录一人物简介193

附录二参考文献208

索引212

媒体评论

“无论从事何种研究方向的数学家,都该读一读这本书。”——Adhemar Bultheel,欧洲数学学会

“这部精巧之作展现了计算在数学中愈发重要的地位,宣告了算法数学时代的来临。这是一段关于“计算”与“数学”故事,散文般生动的文字让读者在阅读中领略数学思想的精粹。 ”——Bernard Chazell,普林斯顿大学

网友评论(不代表本站观点)

来自无昵称**的评论:

越来越喜欢逻辑推理的书

2017-11-27 20:47:19
来自sunscu**的评论:

对于32开的书,大概比a4对折小一点,定价还是高了点

2017-11-26 11:52:26
来自匿名用**的评论:

设个商品不错!!!!

2017-05-10 12:31:01
来自w***e(**的评论:

很棒,很喜欢,图灵的书很好

2017-05-22 18:49:19
来自l***6(**的评论:

好好好好好好好好好

2017-06-19 09:28:21
来自匿名用**的评论:

一览计算史。

2017-06-24 14:45:23
来自匿名用**的评论:

不错,很满意

2017-06-25 06:56:21
来自aciscat**的评论:

质量不错,内容很好,好评!好评!

2017-08-13 13:27:52
来自匿名用**的评论:

不错,老顾客了,品质挺好的

2017-08-19 00:34:01
来自无昵称**的评论:

值得一看,如果价格完全没折扣,有点高。

2017-09-15 10:59:26
来自无昵称**的评论:

图灵新知,都是好书!

2017-11-02 16:17:20
来自无昵称**的评论:

读书多了,容颜自然改变,许多时候,自己可能以为许多看过的书籍都成过眼烟云,不复记忆,其实它们仍是潜在气质里、在谈吐上、在胸襟的无涯,当然也可能显露在生活和文字中。

2017-11-09 20:07:30
登录后即可发表评论

免责声明

更多相关图书
在线咨询