版权声明

版权声明

Original French title: Les métamorphoses du calcul

by Gilles Dowek © Editions Le Pommier-Paris, 2011

Current Chinese translation rights arranged through Divas International, Paris.

巴黎迪法国际版权代理(www.divas-books.com

 

本书中文简体字版由Editions Le Pommier授权人民邮电出版社独家出版。未经出版者书面许可,不得以任何方式复制或抄袭本书内容。

版权所有,侵权必究。

目录

  • 版权声明
  • 译者序
  • 致辞
  • 前言
  • 第一篇 古老的起源
  • 第 1 章 从史前数学到希腊数学
  • 第 2 章 计算两千年
  • 第二篇 古典时代
  • 第 3 章 谓词逻辑
  • 第 4 章 判定性问题与丘奇定理
  • 第 5 章 丘奇论题
  • 第 6 章 为计算树立数学地位的尝试——λ 演算
  • 第 7 章 构造性
  • 第 8 章 构造性证明与算法
  • 第三篇 公理化危机
  • 第 9 章 直觉主义类型论
  • 第 10 章 自动化证明
  • 第 11 章 证明检验
  • 第 12 章 学界新进展
  • 第 13 章 工具
  • 第 14 章 公理的终结?
  • 结语 旅程的尾声
  • 附录一 人物简介
  • 附录二 参考文献