您当前浏览器版本过低,请点击 这里 进行升级
路径错误
路径错误
从笛卡儿几何学到数学机械化
李文林 ▪ 中国科学院数学与系统科学研究院研究员 博士生导师
分享
直播相关介绍

大约四百年前一个冬日的夜晚,法国青年年、日后的解析几何发明人笛卡儿做了一串奇怪的梦,这就是科学史上有名的笛卡儿之梦。笛卡儿的梦想究竟是什么?本讲演深入浅出地介绍了从笛卡儿之梦开始,人类共同的、古老而又现代的追求——使数学推理乃至更一般的脑力劳动机械化,简明扼要地描述了数学家们为实现这一伟大目标而奋斗的光荣历程,特别是中国数学家吴文俊院士于上世纪七十年代起在数学机械化方面取得的突破性贡献。


教师名称

李文林

中国科学院数学与系统科学研究院研究员 博士生导师

中国科学院数学与系统科学研究院研究员,博士生导师。江苏常州人,1965年毕业于中国科学技术大学数学系。曾任中国科学院数学研究所党委书记、副所长,中国数学会秘书长,全国数学史学会理事长,国际数学联盟数学史委员会委员,美国麻省理工学院Dibner研究所研究员。代表性著作有《数学史概论》(高等教育出版社)、《数学的进化》(科学出版社)等,同时还出版了《数学的力量》、《从笛卡儿之梦谈起》等大量科普作品。

发表评论

    热门直播