笛卡兒之夢（第二輯）
《笛卡兒之夢》以翔實的史料考察這一科學史謎題，深入淺出地介紹了從笛卡兒之夢開始，人類共同的、古老而又現代的追求一一使數學推理乃至更一般的腦力勞動機械化，簡明扼要地描述了數學家們為實現這一偉大目標而奮鬥的光榮歷程。 中國科學院數學與系統利學研究院研究員，曾任巾科院數學研究所副所長，中國數學會秘書長。 對數學發展史與數學文化進行了深層次的研究，發表過大量的研究論文，撰寫了《數學史概論》等重要學術著作；在數學史的多個領域求真探索，發現了一系列重要事實和結果。
內容介紹
《笛卡兒之夢》內容簡介：大約四百年前一個冬日的夜晚，法國青年、日後的解析幾何發明人笛卡兒作了一串奇怪的夢，這就是科學史上有名的笛卡兒之夢。笛卡兒的夢想究竟是什麼？《笛卡兒之夢》以翔實的史料考察這一科學史謎題，深入淺出地介紹了從笛卡兒之夢開始，人類共同的、古老而又現代的追求一一使數學推理乃至更一般的腦力勞動機械化，簡明扼要地描述了數學家們為實現這一偉大目標而奮鬥的光榮歷程。作者介紹
李文林：中國數學史學會理事長、數學史專家、博士生導師。中國科學院數學與系統利學研究院研究員，曾任巾科院數學研究所副所長，中國數學會秘書長。對數學發展史與數學文化進行了深層次的研究，發表過大量的研究論文，撰寫了《數學史概論》等重要學術著作；在數學史的多個領域求真探索，發現了一系列重要事實和結果。李文林研究員還十分關注基礎教學改革，擔任教育部數學課程評審委員會組長，評審了大量中學數學教材，做過很多課改和調研工作，為我國基礎教育的發展做出了很大貢獻。作品目錄
一、笛卡兒的夢二、東方神韻——中國古代數學的啟示“方程術”與線性方程組“正負開方術”與高次多項式方程“四元術”與多元高次方程三、西方復興——從笛卡兒到希爾伯特笛卡兒方案萊布尼茨的“通用符號演算布爾代數希爾伯特形式主義四、現代曙光——計算機與數學機械化五、“吳方法”與數學機械化一個例子又一個例子理論基礎轉折與套用參考文獻
