级第讲：世纪数学概观(Ⅲ).ppt

1. 哥德尔不完全性定理(1931) 数学对基础的空前深入的探讨是20世纪纯粹数学的趋势之一，而这种探讨的一个重要动因就是相容性问题．哥德尔不完全性定理，正是研究相容性问题而引出的非常深刻的思维成果． 1931年，奥地利数学家哥德尔（K．Godel，1906—1978）发表题为《论〈数学原理〉及有关系统中的形式不可判定命题》的论文，其中证明了一条定理： 任一足以包含自然数算术的形式系统，如果是相容的，则它一定存在有一个不可判定命题，即存在某一命题A,使A与A的否定在该系统中皆不可证． 系统中存在不可判定的命题也叫该系统的“不完全性”，因此哥德尔的上述结果通常被称为“哥德尔第一不完全性定理”. 第一不完全性定理表明：任何形式系统都不能完全刻画数学理论，总有某些问题从形式系统的公理出发不能解答． 情形甚至更糟，在第一不完全性定理的基础上，哥德尔进一步证明了： 在真的但不能由公理来证明的命题中，包括了这些公理是相容的（无矛盾的）这一论断本身．也就是说，如果一个足以包含自然数算术的公理系统是相容的，那么这种相容性在该系统内是不可证明的． 这就是所谓“哥德尔第二不完全性定理”，第一不完全性定理与第二不完全性定理合称“哥德尔不完全性定理”．它们揭示了形式化方法的不可避免的局限性，使希尔伯特证明形式系统相容性的方案受到沉重打击． 哥德尔不完全性定理是属于某种否定性的结果，但这项否定性结果却带来了数学基础研究的划时代变革． 首先，哥德尔不完全性定理破天荒地第一次分清了数学中“真”与“可证”是两个不同的概念．可证明的命题固然是真的，但真的命题却不一定是可证明的．对于形式系统来说，“可证”是可以机械地实现的，“真”则需要进一步的思想能动性以及超穷工具．这一切突破了人们对数学真理的传统理解，将对数学真理的认识推向了崭新的层次． 其次，哥德尔在不完全性定理的证明中提出的“原始递归函数”概念，成为算法理论或可计算理论的起点，特别是它引导图灵提出了理想计算机概念，为电子计算机的研制提供了理论基础. 在数学领域，公认的能与诺贝尔奖相媲美的国际数学奖项只有菲尔兹奖与沃尔夫奖两种，没有诺贝尔数学奖。 由于菲尔兹奖只授予40岁以下的的年轻数学家，所以年纪较大的数学家没有获奖的可能。恰巧1976年1月，R. 沃尔夫及其家族捐献一千万美元成立了沃尔夫基金会，其宗旨是为了促进全世界科学.艺术的发展。沃尔夫基金会设有：数学.物理.化学.医学.农业五个奖（1981年又增设艺术奖）。1978年开始颁发，通常是每年颁发一次，每个奖的奖金为10万美元，可以由几人分得。由于沃尔夫数学奖具有终身成就奖的性质，所有获得该奖项的数学家都是享誉数坛.闻名遐迩的当代数学大师，他们的成就在相当程度上代表了当代数学的水平和进展。 菲尔兹奖简介  菲尔兹奖是以已故的加拿大数学家、教育家J.C.菲尔兹(Fields）的姓氏命名的，中文全名：约翰?查尔斯?菲尔兹。 菲尔茨奖是最著名的世界性数学奖，由于诺贝尔奖没有数学奖，因此也有人将菲尔茨奖誉为数学中的“诺贝尔奖”。 9.费马大定理 及其证明(1994) 10.庞加莱猜想及其证明 第十二讲结束 再 见! 四边形分形 31 通常的曲线都是一维的，在其上只能沿一个方向运动（约定将向后运动看作是负的向前运动）．柯克曲线的每一条近似曲线也都是一维图形，但作为极限的柯克曲线却不能这样用“方向”来确定维度，其“方向”改变了无限次，必须寻找其他的与方向无关的途径来建立这类曲线的维度概念．蒙德尔布罗利用了一条关键的性质——“自相似”，即整体与部分相似，并通过与通常整数维情形的类比，成功地确定了柯克曲线一类几何图形的维度，并发现它们是一些分数． 设有一D维图形，将它分成N个与整体相似的部分，整体与每个部分的相似比是r，它与维数D的关系是： （*） 32 对一根直线，分成N段，每段恰好是整体的 ，相似比 恰好是D=1时（*）式给出的数值． 对一个矩形，长、宽各等 分，分成 块，整体与部分的相似比显然是． 对柯克曲线，D未知，但N和的值可以确定：N=4，r=3．这两个数字显然对每一步近似曲线的每一小段都成立，故对整个柯克曲线也应成立，根据（*）式得 ，从而有：