点击购买此书全本PDF电子书
一、笛卡儿的梦 1
二、东方神韵——中国古代数学的启示 6
“方程术”与线性方程组 6
“正负开方术”与高次多项式方程 9
“四元术”与多元高次方程 11
三、西方复兴——从笛卡儿到希尔伯特 18
笛卡儿方案 18
莱布尼茨的“通用符号演算” 23
布尔代数 25
希尔伯特形式主义 27
四、现代曙光——计算机与数学机械化 30
五、“吴方法”与数学机械化 36
一个例子 37
又一个例子 45
理论基础 47
转折与应用 48
参考文献 55