浅谈数学机械化（上）(李).pptVIP

邵逸夫数学奖 邵逸夫数学奖是邵逸夫奖的一个单项。 邵逸夫奖是按照邵逸夫先生的意愿于2002年设立的，旨在表彰在科学研究或应用方面获得突破性成果，并且对人类生活产生深远影响的科学家。 陈省身 怀尔斯 吴文俊 曼福德 数学机械化的历史背景 －－ 脑力劳动机械化 过去的工业革命是体力劳动的机械化，现在进行的工业革命是脑力劳动的机械化，其特征是用某种新型的机器来减轻甚至代替某些脑力劳动。 脑力劳动机械化的思想并不是在有了计算机之后才有的。事实上这种思想在很早的年代就已经有了，笛卡儿和莱布尼茨就有一些笼统的想法。中国古代的数学是一种算法形式的数学，机械化思想是其精髓。 笛卡儿（1596－1650） 法国数学家、哲学家 解析几何的创立者之一 近代资产阶级哲学的奠基人之一 莱布尼茨（1646－1716） 德国数学家、哲学家 微积分的创建人之一 数理逻辑的奠基人 莱布尼茨的计算机器 图片来源： http://www. computermuseum.li 希尔伯特（1862－1943） 德国数学家 对20世纪数学有深刻影响的数学家之一 希尔伯特的23个问题对现代数