自我提升 类型
8.0 豆瓣评分
可以朗读 语音朗读
95千字 字数
2017-03-01 发行日期
展开全部

主编推荐语

卓老板推荐，当数学跨界遇到哲学、科学，这本书带你重新认识什么是“计算”。

内容简介

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

目录

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

评分及书评

尚无评分
目前还没人评分

出版方

人民邮电出版社

人民邮电出版社是工业和信息化部主管的大型专业出版社，成立于1953年10月1日。人民邮电出版社坚持“立足信息产业、面向现代社会、传播科学知识、服务科教兴国”，致力于通信、计算机、电子技术、教材、少儿、经管、摄影、集邮、旅游、心理学等领域的专业图书出版。