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

  • 7
  • 0
  • 约3.01千字
  • 约 25页
  • 2016-06-02 发布于天津
  • 举报
浅谈数学机械化(上)(李)

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

文档评论(0)

1亿VIP精品文档

相关文档