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