无锡市图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

计算进化史:改变数学的命运/(法) 吉尔·多维克著 劳佳译

出版发行项:

北京:人民邮电出版社,2017

ISBN及定价:

978-7-115-44757-9/CNY39.00

载体形态项:

216页:图;19cm

统一题名:

Les metamorphoses du calcul

其它题名:

改变数学的命运

丛编项:

图灵新知

个人责任者:

多维克 (Dowek, Gilles) 著

个人次要责任者:

劳佳 译

学科主题:

计算机科学-技术史-研究

中图法分类号:

TP3-09

出版发行附注:

由Editions Le Pommier授权

书目附注:

有书目 (第208-211页) 和索引

提要文摘附注:

证明是数学研究不可撼动的基石，但证明方法正经历翻天覆地的变化。人们开始质疑推理的至高地位，重新挖掘计算的价值。这一变革将以全新视角解读数学与其他自然科学之间的关系，为哲学的分析与概括带来全新前景。计算机科学正在挑战人脑，努力攻破数学证明的技术难点，将数学研究推向前所未知的疆界。本书以独特视角回顾了计算的历史，展现了计算机科学为数学研究带来的震动，以及由此引发的自然科学和哲学领域的重大变革。

使用对象附注:

数学爱好者。

豆瓣简介：