大約四百年前一個冬日的夜晚，法國青年、日后的解析幾何發(fā)明人笛卡兒作了一串奇怪的夢，這就是科學史上有名的笛卡兒之夢。笛卡兒的夢想究竟是什么？《笛卡兒之夢》以翔實的史料考察這一科學史謎題，深入淺出地介紹了從笛卡兒之夢開始，人類共同的、古老而又現(xiàn)代的追求一一使數(shù)學推理乃至更一般的腦力勞動機械化，簡明扼要地描述了數(shù)學家們?yōu)閷崿F(xiàn)這一偉大目標而奮斗的光榮歷程。
李文林，中國科學院數(shù)學與系統(tǒng)科學研究院研究員，數(shù)學史專家。曾任中科院數(shù)學研究所副所長、中國數(shù)學會秘書長。著有《數(shù)學史概論》、《數(shù)學的進化》、《文明之光——圖說數(shù)學史》等著作。李文林研究員還長期擔任教育部中小學教材審定委員會數(shù)學學科組組長，為我國基礎(chǔ)教育教材建設作出了貢獻。
一、笛卡兒的夢
二、東方神韻——中國古代數(shù)學的啟示
“方程術(shù)”與線性方程組
“正負開方術(shù)”與高次多項式方程
“四元術(shù)”與多元高次方程
三、西方復興——從笛卡兒到希爾伯特
笛卡兒方案
萊布尼茨的“通用符號演算
布爾代數(shù)
希爾伯特形式主義
四、現(xiàn)代曙光——計算機與數(shù)學機械化
五、“吳方法”與數(shù)學機械化
一個例子
又一個例子
理論基礎(chǔ)
一、笛卡兒的夢
二、東方神韻——中國古代數(shù)學的啟示
“方程術(shù)”與線性方程組
“正負開方術(shù)”與高次多項式方程
“四元術(shù)”與多元高次方程
三、西方復興——從笛卡兒到希爾伯特
笛卡兒方案
萊布尼茨的“通用符號演算
布爾代數(shù)
希爾伯特形式主義
四、現(xiàn)代曙光——計算機與數(shù)學機械化
五、“吳方法”與數(shù)學機械化
一個例子
又一個例子
理論基礎(chǔ)
轉(zhuǎn)折與應用
參考文獻
書單推薦
