内容简介 · · · · · ·

本书从计算的变迁这一独特视角回顾了数学、逻辑学和哲学的历史沿革,展现了计算为数学研究发展带来的全新前景,展望了这场数学革命在自然科学、信息科学与哲学领域引发的重大变革。

作者简介 · · · · · ·

吉尔·多维克（Gilles Dowek）,法国数学家、逻辑学家和计算机科学家,法国国家计算机与自动化研究所机器证明处理系统、编程语言、航空系统安全专家,美国国家航空研究院顾问。多维克撰写过多部数学和计算机科学科普作品,曾荣获法国数学学会达朗贝尔奖和法兰西学术院哲学大奖。

目录 · · · · · ·

"计算进化史"试读 · · · · · ·

介绍数学史的书有很多,这一本却不太一样。说起数学史,也许你会想到课本里各种定理前耳熟能详的名字,他们是代表人类最高智慧的璀璨群星。数学家们提出的定理,以及这些定理的证明,构成了数学史上一个又一个里程碑。然而,在浩如烟海的数学史中,本书作者却独辟蹊径,挑出了一条似乎并不那么耀眼的主线——计算。古代的人们已经开发出各种方法来丈量土地、计算税收。无论是本书...