笛卡儿之梦
出版时间：2011年版
丛编项： 数学文化小丛书
内容简介
　　大约四百年前一个冬日的夜晚，法国青年、日后的解析几何发明人笛卡儿作了一串奇怪的梦，这就是科学史上有名的笛卡儿之梦。笛卡儿的梦想究竟是什么？《笛卡儿之梦》以翔实的史料考察这一科学史谜题，深入浅出地介绍了从笛卡儿之梦开始，人类共同的、古老而又现代的追求一一使数学推理乃至更一般的脑力劳动机械化，简明扼要地描述了数学家们为实现这一伟大目标而奋斗的光荣历程。
目录
一、笛卡儿的梦
二、东方神韵?—中国古代数学的启示
　“方程术”与线性方程组
　“正负开方术”与高次多项式方程
　“四元术”与多元高次方程
三、西方复兴——从笛卡儿到希尔伯特
　笛卡儿方案
　莱布尼茨的“通用符号演算
　布尔代数
　希尔伯特形式主义
四、现代曙光——计算机与数学机械化
五、“吴方法”与数学机械化
　一个例子
　又一个例子
　理论基础
　转折与应用
参考文献