[理学]数学史.pptVIP

布尔代数： 小写x、y、z表示类（集合） 大写X，Y，X代表个体元素 1表示全类或称论域 0代表空类 两个类x和y相加用x+y表示 两个类x和y相乘用xy表示 1-x代表那些所有不在x中的个体元素组成的类 两个类相减x-y x包含y则可写成y=xy ——类 布尔代数 布尔代数： ——命题 所有X是Y …… x(1-y)=0 所有X不是Y …… xy=0 有些X是Y …… xy≠0 有些X不是Y …… x(1-y)≠0 布尔代数 布尔代数： ——原理 xy=yx x+y=y+x x(y+z)=xy+xz X(y-z)=xy-xz 如果x=y,则xz=yz 如果x=y，则x+z=y+z 如果x=y，则x-z=y-z x(1-x)=0 或者x=0，或者x=1 布尔代数 布尔代数： ——改进 杰文斯（W. S. Jevons） ——去掉了相加的类必须是不相交的这一限制，使得x+x=x成为一个合法的逻辑规律 皮尔斯（C. S. Peirce） ——区分了命题和命题函数 施罗德（F. W. K. E. Schroder） ——《逻辑代数讲义》（1890—1905） 弗雷格（G. Frege） ——数学基础传统 佩亚诺（G. Peano）、怀特黑德和罗素 布尔代数 1 2 3 4 代 数 数 论 高斯 数论 库默乐 现代代数数的理论 代数数论 高斯与数论: 高斯（C. F. Gauss，1777—1855） C.F. Gauss 是德国著名数学家、物理学家、天文学家、大地测量学家。 他有数学王子的 美誉，并被誉为历史上伟大的数学家之一，和阿基米德、牛顿、欧拉同享盛名 代数数论 高斯与数论: 《算术研究》 ——数论作为现代数学的一个重要分支得到了系统的发展 代数数论 高斯与数论: 同余理论 代数数论 高斯与数论: 二次非剩余 二次互反律 代数数论 高斯与数论: 代数数论 高斯与数论: 复整数理论 复整数——形如a+bi，其中a，b是整数的复数 复整数论中的可逆元素是±1和±i 复素数——不能分解为除可逆元素及其本身以外的复整数的乘积的复整数 复整数算术基本定理 …… 代数数论 代数学的新生 胡文俊 前 言 从17世纪初开始，数学经历了近两个世纪的开拓，在18世纪行将结束的时候，数学家们对自己从事的这门科学却奇怪地存在着一种普遍的悲观情绪。拉格朗日于1781年在写给达朗贝尔的信中说：“在我看来似乎（数学的）矿井已经挖掘很深了，除非发现新的矿脉，否则迟早势必放弃它，……科学院中几何学（指数学）的处境将会有一天变成目前大学里阿拉伯语的处境一样，那也不是不可能的。”欧拉和达朗贝尔都同意拉格朗日的观点。法国法兰西学院一份《关于1789年以来数学科学进展的历史及其现状的报告》更是预测在数学的“几乎所有的分支里，人们都被不可克服的困难阻挡住了；把细枝末节完善化看来是剩下来惟一可做的事情了，所有这些困难好象是宣告我们的分析的力量实际上是已经穷竭了”。 前 言 这种世纪末悲观主义的由来，可能是因为17、18世纪数学与天文力学的紧密结合，使部分数学家把天文与力学看成是数学发展的几乎惟一源泉，而一旦这种结合变得相对滞缓和暂时进入低谷，就会使人感到迷失方向。 18世纪末出现的数学悲观主义具有深刻的认识论背景。 目 录 代数方程的可解性与群的发现 从四元数到超复数 布尔代数 代数数论 早期探索 代数方程的可解性与群的发现 五次或更高次方程的代数求解公式的探索 拉格朗日（Joseph-Louis Lagrange 1735~1813） 1770年发表论文《关于代数方程解的思考》提出根的置换理论是解决代数方程的关键 代数方程的可解性与群的发现 代数方程的可解性与群的发现 阿贝尔（N.Abel 1802~1829） 是挪威的一个乡村牧师的儿子， 幼年丧父。阿贝尔只活了27岁， 但留下了许多创造性贡献。1824年 当时只有22岁的大学生阿贝尔 第一次作出了“五次方程代数解法不可能存在”的正确证明。 阿贝尔（N.Abel 1802~1829） 代数方程的可解性与群的发现 1824年，阿贝尔在自费出版的小册子 《论代数方程，证明一般五次方程的不可解性》中，严格证明了以下事实： 如果方程的次数n4，并且系数看成是字母，那么任何一个由这些字母组成的根式都不可能是方程的解。 代数方程的可解性与群的发现 阿贝尔的理论并未解决具体