《计算进化史改变数学的命运》[法] 吉尔·多维克劳佳

城市

店铺名称

店主联系方式

店铺售价

库存

店铺得分/总交易量

发布时间

操作

新书比价

网站名称

书名

售价

优惠

操作

图书详情

出版社

人民邮电出版社
ISBN

9787115447579
作者

[法] 吉尔·多维克劳佳
页数

216
出版时间

2017年02月01日
定价

¥39.00
所属分类

内容提要

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

**篇古老的起源
第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