林寿数学史第十一讲：20世纪数学概观I剖析.ppt

第十一讲20世纪数学概观 I 国际数学家大会 纯粹数学的发展 数学基础大论战 国际数学家大会 1897年国际数学家大会 国际数学家大会 瑞士苏黎世工业大学 （1897年ICM在此举行） 国际数学家大会 国际数学家大会 莫斯科1966 国际数学家大会 国际数学家大会 国际数学家大会 国际数学家大会 菲尔兹奖(1936- ) 国际数学家大会 菲尔兹奖(1936- ) 国际数学家大会 菲尔兹奖(1936- ) 国际数学家大会 菲尔兹奖(1936- ) 国际数学家大会 菲尔兹奖(1936- ) 国际数学家大会 菲尔兹奖(1936- ) 国际数学家大会 菲尔兹奖(1936- ) 结构数学与统一的数学 更高度的抽象 希尔伯特(德, 1862-1943)的抽象思维及公理方法的产物 经典代数学: 求解代数方程和代数方程组 抽象代数学: 公理化方法研究具有代数结构的集合 创立者: 诺特(德, 1882-1935)与阿廷(奥, 1898-1962) 范?德?瓦尔登(荷, 1903-1996)《近世代数学》(1930-1931) ——形成 1736年欧拉(瑞, 1707-1783)解决哥尼斯堡七桥问题 来源 数理逻辑 数理逻辑 第十一讲思考题 考核要求 弗雷格(德, 1848-1925) 1879年《概念语言》提供数理逻辑的体系, 一切数学可以化归为逻辑, 成为数理逻辑和