计算进化史

书籍简介:

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

书籍规格:

书籍信息归属:

计算进化史是人民邮电出版社于2017.3出版的中图分类号为 TP3-09 的主题关于 计算机科学－技术史－研究 的书籍。