编辑推荐:
一本荣获法兰西学术院哲学大奖的数学书 一本数学爱好者都应该读一读的哲学书 讲述一段别生面的数学历程 引发一场改变科学面貌的哲学思考 展现算法时代,计算为自然科学与哲学研究带来的震撼之力
内容简介:
本书从计算的变迁这一独特视角回顾了数学、逻辑学和哲学的历史沿革,展 现了计算为数学研究发展带来的全新前景,展望了这场数学革命在自然科学、信 息科学与哲学领域引发的重大变革。本书荣获年法兰西学术院哲学大奖,一直是数学、计算机科学和哲学领域的畅销读物。
作者简介:
吉尔•多维克(Gilles Dowek) 法国数学家、逻辑学家和计算机科学家,法国国家计算机与自动化研究所机器证明处理系统、编程语言、航空系统安全专家,美国国家航空研究院顾问。多维克撰写过多部数学和计算机科学科普作品,曾荣获法国数学学会达朗贝尔奖和法兰西学术院哲学大奖。