笛卡儿之梦

大约四百年前一个冬日的夜晚，法国青年、日后的解析几何发明人笛卡儿作了一串奇怪的梦，这就是科学史上有名的笛卡儿之梦。笛卡儿的梦想究竟是什么？本书以翔实的史料考察这一科学史谜题，深入浅出地介绍了从笛卡儿之梦开始，人类共同的、古老而又现代的追求——使数学推理乃至更一般的脑力劳动机械化，简明扼要地描述了数学家们为实现这一伟大目标而奋斗的光荣历程。