宁德师专数学系.pptxVIP

2022-8-4 1 1、哥德尔不完全性定理 完全性定理: 1929年证明了一阶谓词演算的完全性 不完全性定理: 1930年证明了如果一个包括初等数论的形式系统是无矛盾的，那就是不完全的; 如果初等算术系统是无矛盾的，则无矛盾性在算术系统内不可证明 相容性定理: 1938年证明了选择公理、连续统假设的相容性 数理逻辑: 公理集合论、证明论、递归论及模型论 亚里士多德(希, 前384－前322)和莱布尼茨(德, 1646-1716)以来最伟大的逻辑学家 第1页/共26页 2022-8-4 2 科恩(美, 1934- ) 1963年证明了连续统假设的独立性定理 1966年获得菲尔兹奖 1、哥德尔不完全性定理 第2页/共26页 2022-8-4 3 2、四色问题 图论: 以图为研究对象的数学分支. 图是若干给定点及连接两点的线所构成的图形. 1736年哥尼斯堡七桥问题, 1781年36军官问题, 1859年哈密顿旅行路线图. 1852年古德里(英)提出“四色问题”. 第3页/共26页 2022-8-4 4 2、四色问题 19世纪英国一些著名数学家进行研究并引起人们的关注: 德•摩根(1806-1871), 哈密顿(1805-1865), 凯莱(1821-1895)等. 1878年凯莱发表《论地图的着色》. 1879年肯泊(英, 1849-1922)宣布证明了“四色问题”. 1890年希伍德(英, 1861-1955)指出了肯泊的错误, 证明了“五色定理”. 1976年哈肯和阿佩尔最终解决了四色问题. 第4页/共26页 2022-8-4 5 3、复变函数论 ——值分布论 各种类型的复变函数的取值范围的研究课题 第5页/共26页 2022-8-4 6 3、复变函数论——值分布论 第6页/共26页 2022-8-4 7 3、复变函数论 1984年德•布兰吉斯(美, 1932- )证明比勃巴赫猜想 ——比勃巴赫猜想 第7页/共26页 2022-8-4 8 4、动力系统 1913年伯克霍夫(美, 1884-1944)解决 “庞加莱的最后问题”: 由两个同心圆构成的圆环保持面积不变, 且在两同心圆上方向相反的一对一连续映射, 一定在圆环内至少有两个不动点. 描述决定性系统的数学模型都可称为动力系统, 通常所说的动力系统多指由映射迭代生成的系统或常微分系统, 其核心问题是结构的稳定性 第8页/共26页 2022-8-4 9 4、动力系统 20世纪30年代后的发展: 结构稳定性、拓扑学方法、代数几何方法 第9页/共26页 2022-8-4 10 4、动力系统 1975年李天岩(1945-)-约克定理:周期3蕴涵浑沌. ——浑沌 第10页/共26页 2022-8-4 11 4、动力系统 ——分形 第11页/共26页 2022-8-4 12 4、动力系统——分形 第12页/共26页 2022-8-4 13 M集 4、动力系统——分形 第13页/共26页 2022-8-4 14 5、鲁金猜想 19世纪狄里克雷(德, 1805-1859)、黎曼(德, 1826-1866)、康托(德, 1845-1918)等数学家研究了傅里叶级数的收敛性等问题 第14页/共26页 2022-8-4 15 5、鲁金猜想 第15页/共26页 2022-8-4 16 6、庞加莱猜想 2002年佩雷尔曼(俄, 1966- )证明了猜想 第16页/共26页 2022-8-4 17 古希腊：毕达哥拉斯(公元前560-前480)、欧几里得(公元前325-前265年)、丢番图(公元200-284年) 17世纪：费尔马(法, 1601－1665) 18世纪：欧拉(瑞, 1701-1783) 、拉格朗日(法, 1736-1813) 19世纪代数数论：高斯(德, 1777-1855) 、库默尔(德, 1810-1893)、戴德金(德, 1831-1916) 19世纪解析数论：狄里克雷(德, 1805-1859)、黎曼(德, 1826-1866)、阿达玛(法, 1865-1963) 20世纪问题: 素数判定、华林问题(1770)、哥德巴赫猜想(1742)、费尔马大定理(1670)、黎曼假设(1859) 7、数论 ——回顾 第17页/共26页 2022-8-4 18 7、数论——素数判定 1772年欧拉(瑞, 1701-1783)证明第8个梅森素数M31, 有10位数字. 1996年美国数学家及程序设计师乔治·沃特曼编制了梅森素数计算程序(GIMPS项目), 将其放置在因特网上供数学爱好者使用。目前有150多个国家的9万多名志愿者、超过25万台计算机参与这项计划. 该计划利用大量普通计算机的闲置时间, 获得相当于超级计