[法] 吉尔·多维克《计算进化史》

[法] 吉尔·多维克《计算进化史》

作者:[法] 吉尔·多维克

出版社:人民邮电出版社

出版年:2017-2

评分:8.3

ISBN:9787115447579

所属分类:文学理论

书刊介绍

内容简介

本书从计算的变迁这一独特视角回顾了数学、逻辑学和哲学的历史沿革,展现了计算为数学研究发展带来的全新前景,展望了这场数学革命在自然科学、信息科学与哲学领域引发的重大变革。

作品目录

版权声明

译者序

致辞

前言

第一篇 古老的起源

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

第 2 章 计算两千年

第二篇 古典时代

第 3 章 谓词逻辑

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

第 5 章 丘奇论题

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

第 7 章 构造性

第 8 章 构造性证明与算法

第三篇 公理化危机

第 9 章 直觉主义类型论

第 10 章 自动化证明

第 11 章 证明检验

第 12 章 学界新进展

第 13 章 工具

第 14 章 公理的终结?

结语 旅程的尾声

附录一 人物简介

附录二 参考文献

相关推荐

微信二维码