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

　　李文林，中国科学院数学与系统科学研究院研究员，数学史专家。曾任中科院数学研究所副所长、中国数学会秘书长。著有《数学史概论》、《数学的进化》、《文明之光——图说数学史》等著作。李文林研究员还长期担任教育部中小学教材审定委员会数学学科组组长，为我国基础教育教材建设作出了贡献。

一、笛卡儿的梦
二、东方神韵——中国古代数学的启示
　“方程术”与线性方程组
　“正负开方术”与高次多项式方程
　“四元术”与多元高次方程
三、西方复兴——从笛卡儿到希尔伯特
　笛卡儿方案
　莱布尼茨的“通用符号演算
　布尔代数
　希尔伯特形式主义
四、现代曙光——计算机与数学机械化
五、“吴方法”与数学机械化
　一个例子
　又一个例子
　理论基础

一、笛卡儿的梦
二、东方神韵——中国古代数学的启示
　“方程术”与线性方程组
　“正负开方术”与高次多项式方程
　“四元术”与多元高次方程
三、西方复兴——从笛卡儿到希尔伯特
　笛卡儿方案
　莱布尼茨的“通用符号演算
　布尔代数
　希尔伯特形式主义
四、现代曙光——计算机与数学机械化
五、“吴方法”与数学机械化
　一个例子
　又一个例子
　理论基础
　转折与应用
参考文献