计算进化史

内容概要

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

书籍目录

版权声明

译者序

致辞

前言

第一篇　古老的起源

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

第 2 章　计算两千年

第二篇　古典时代

第 3 章　谓词逻辑

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

第 5 章　丘奇论题

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

第 7 章　构造性

第 8 章　构造性证明与算法

第三篇　公理化危机

第 9 章　直觉主义类型论

第 10 章　自动化证明

第 11 章　证明检验

第 12 章　学界新进展

第 13 章　工具

第 14 章　公理的终结？

结语　旅程的尾声

附录一　人物简介

附录二　参考文献

作者简介

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

 计算进化史下载 精选章节试读