纯粹数学/历史

维基教科书,自由的教学读本

从这课题中,你能学会有关纯粹数学的历史。

19世纪[编辑]

“纯粹数学”这个词是从Sadleirian Chair(en:Sadleirian Chair)这个19世纪中期建立的教授职位的全名而来的。“纯粹”数学作为一门独立的学科的想法可能就是从那个时候发展起来的。高斯一代的数学家没有彻底地区分过“纯粹”和“应用”。之后,专门化和专业化,特别是魏尔施特拉斯研究数学分析的方法,使得两者的区别越来越大。

20世纪[编辑]

进入20世纪,数学家们受到希尔伯特的影响,开始使用公理系统。罗素提出了“纯粹数学”的逻辑公式化方法,以量化的命题为形式。随着数学的公理化,这些公式变得越来越抽象,“严格证明”成为的简单的标准。实际上在公理系统中,“严格”在“证明”中没有任何新意。以布尔巴基小组的观点,纯粹数学就是已经被证明了的公理。纯粹数学家成为普遍接受的职业,可以通过训练而取得。