《数学文化小丛书》精选对人类文明发展起过重要作用、在深化人类对世界的认识或推动人类对世界的改造方面有某种里程碑意义的主题，深入浅出地介绍数学文化的丰富内涵、数学发展史中的一些重要篇章以及一些著名数学家的历史功绩和优秀品质等内容，适于包括中学生在内的读者阅读。

《笛卡儿之梦》(作者李文林)为该丛书中的一册，深入浅出地介绍了从笛卡儿之梦开始，人类共同的、古老而又现代的追求——使数学推理乃至更一般的脑力劳动机械化，简明扼要地描述了数学家们为实现这一伟大目标而奋斗的光荣历程。

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

《笛卡儿之梦》(作者李文林)是《数学文化小丛书》中的一册。

一、笛卡儿的梦

二、东方神韵——中国古代数学的启示

“方程术”与线性方程组

“正负开方术”与高次多项式方程

“四元术”与多元高次方程

三、西方复兴——从笛卡儿到希尔伯特

笛卡儿方案

莱布尼茨的“通用符号演算

布尔代数

希尔伯特形式主义

四、现代曙光——计算机与数学机械化

五、“吴方法”与数学机械化

一个例子

又一个例子

理论基础

转折与应用

参考文献