数学史演讲课件_第八讲.ppt

凯莱 西尔维斯特 弗罗贝尼乌斯 若尔当 行列式与矩阵 克拉默 关孝和 布尔代数 来源于对数学和逻辑基础的探讨, 莱布尼茨(德, 1646-1716)提出思维演算和逻辑的数学化思想 德摩根(英, 1806-1871)1847年《形式逻辑》首创关系逻辑研究 德摩根 布 尔 施罗德 施罗德(德, 1841-1902)《逻辑代数讲义》(1890-1905)把布尔的逻辑代数推向顶峰 布尔(英, 1815-1864)用代数方法建立了逻辑代数, 1847年和1854年布尔出版《逻辑的数学分析》和《思维规律研究》 布尔代数 布尔(英, 1815-1864)，数学、逻辑学家，50篇学术论文和两部教科书，19世纪数理逻辑的最杰出代表 “自学成才”著称于世，掌握了拉丁语、希腊语、意大利语、法语和德语，自学了牛顿《自然哲学的数学原理》，拉格朗日《解析函数论》和拉普拉斯《天体力学》 1839年申请进剑桥大学，1844年发表“关于分析中的一般方法”，获得皇家学会的皇家奖章 1849年爱尔兰科克皇后学院数学教授，1857年英国皇家学会会员 费马 律师 解析几何 微积分 概率论 数论 费马小定理: 1640年10月18日 费马大定理 “业余数学家之王”－费马　 （法，1601－1665） 平方数问题 费马数: 1640年给梅森(法, 1588-1648)的信 17世纪的数论 1732年欧拉(瑞, 1701-1783)证明F5不是素数 1736年欧拉证明了费马小定理 1742年哥德巴赫(德, 1690-1764)猜想 1753年欧拉宣布证明了n=3时的费马大定理(1770发表) 1754年欧拉证明了费马平方数I问题 1770年拉格朗日(法, 1736-1813)证明了费马平方数II问题 1770年华林(英, 1734-1798)问题 18世纪的数论 1783年欧拉明确表述二次互反律: 代数数论 高斯《算术研究》（1801） 同余理论，复整数理论和型的理论 “数学，科学的女皇；数论，数学的女皇。” 1800－1820：天文学；1820－1830：测地学、曲面理论、保角映射；1830－1840：数学物理；1841－1855：拓扑学、几何学 开创德国数学成为世界数学的中心之路 代数数论 德国马克上的高斯 (1989) 高斯和哥廷根(尼加拉瓜，1994) 谷神星-地球-月亮(1801) 代数数论 1801年高斯(德, 1777-1855)出版《算术研究》：二次互反律 1871-1879年戴德金(德, 1831-1916)创立代数数 希尔伯特 戴德金 库默尔 1844-1847年库默尔(德, 1810-1893)提出理想数 1898年希尔伯特(德, 1862-1943)“代数数域理论” 戴德金 (民主德国, 1981) 代数数论 代数数论 热尔曼(法, 1776-1831) 素数判定 梅森(法, 1588-1648) 梅森数: 《物理数学随感》(1644), 2p-1=Mp , p是素数。 1772年欧拉(瑞, 1701-1783)证明第8个梅森素数M31, 有10位数字。 1996年美国数学家及程序设计师乔治·沃特曼编制了因特网梅森素数大搜索程序(GIMPS项目), 将其放置在因特网上供数学爱好者使用。目前有160多个国家的16万多名志愿者、超过30万台计算机参与这项计划。 该计划利用大量普通计算机的闲置时间, 获得相当于超级计算机的运算能力，近年来新产生的梅森素数都是通过GIMPS项目找到的。 美国电子新领域基金会设立了10万美元的奖金, 鼓励第一个找到超过千万位素数的人; 25万美元奖第一个找到超过十亿位素数的人。 素数判定 在“手算笔录年代”仅找到12个梅森素数, 1996年以来通过GIMPS项目找到了13个(35至47个)梅森素数。 2008年8月，美国加州大学洛杉矶分校的计算机专家史密斯通过GIMPS项目，发现了第45个，也是目前最大的梅森素数243112609-1，它数，如果用普通字号将这个数字连续写下来，它的长度可超过50公里。 素数判定 周海中梅森素数分布猜测（1992） 第45个梅森素数 第39个梅森素数与对数螺线 宁德师范高等专科学校 宁德师范高等专科学校 宁德师范高等专科学校 宁德师范高等专科学校 宁德师范高等专科学校 宁德师范高等专科学校 第8讲 19世纪的代数 代数学的新生 代数 方程与根 数系扩张 行列式与矩阵 布尔代数 代数数论 突破传统 高斯(联邦德国, 1955) 1799年高斯(德, 1777-1855)代数基本定理 代数方程根式解 高斯，数学家、物理学家和天文学家 1795年进入哥廷根大学 , 1799年博士