计算进化史 改变数学的命运

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