第四章 数学中的公理化方法.pptVIP

§4.4数学结构方法这个集体不仅要求正式成员数学素质要好，善于创新，而且年龄不能超过50岁，他们经常组织讨论班和研究会，集思广益，协作探索，1936年正式向法国政府申请科学基金，并以布尔巴基名义发表众多成果和出版系列专著《数学原理》，他们著作的独特观点和风格赢得了布尔巴基学派称号，其思想即是结构主义，是用结构方法处理数学。具体说来就是，利用形式公理法化方法抽象出各种数学分支各种结构，找出各数学分支之间的结构差异，从而获得各数学分支间内在关联的清晰图象。第93页，共138页，星期日，2025年，2月5日

§4.4数学结构方法显然，结构主义可以看作是现代形式公理方法的一种发展，因为，形式公理化方法是着眼于某一门数学的形式公理化或者结构化；结构主义的思想方法则是以现代形式公理化方法为工具，着眼于整个数学全局去看待各个数学分支，即不仅要在数学大范围内分析研究每一门数学的结构，而且还要分析研究各数学分支之间结构的差异及其内在联系。第94页，共138页，星期日，2025年，2月5日

§4.4数学结构方法布尔巴基学派在集合论的基础上,首先通过抽象分析法，建立了三种基本结构，也称母结构，即代数结构、序结构和拓朴结构，然后以这三个母结构为基础，按照结构之间的“不同”关系，交叉产生新结构，从而，使得数学由一个分支结构转移到另一个分支结构，有层次地一直延伸出去，形成整个数学。第95页，共138页，星期日，2025年，2月5日§4.4数学结构方法集合论代数结构序结构拓扑结构布尔代数结构分析结构序拓扑结构……………结构层次框图如下:…第96页，共138页，星期日，2025年，2月5日

§4.4数学结构方法正如他们所说：“数学好比一座大城市，城市中心有些巨大建筑物，就好比是一个个已经建成的数学理论体系，城市的郊区正在不断地并且多少有点杂乱无章地向外伸展，他们就好像是一些尚未发育成型的正在成长着的数学分支，与此同加时，市中心又在时时重建，每次都是根据构思更清晰的计划和更加合理的布局，在拆毁掉旧的迷宫似的断街小巷的同时，将修筑起新的更直、更宽、更加方便的林荫大道通向四方，……”。第97页，共138页，星期日，2025年，2月5日§4.2公理化方法的逻辑特征、意义和作用四、公理化方法的局限性1、每一个数学分支都要按公理化方法的三条标准去实现它的公理化是不可能的。我们知道，在公理化方法及现代数理逻辑取得重大成就的基础上，为了避免数学中产生悖论，使整个数学建立在一个严格化的基础上，以希尔伯特为代表的数学家试图将所有数学分支都按公理化方法三条标准实现它的公理化，哥德尔不完全定理表明希尔伯特等人的计划要全部实现是不可能的。第61页，共138页，星期日，2025年，2月5日1931年，奥地利数学家哥德尔发表了题为《论〈数学原理〉及有关系统中的形式不可判定命题》的论文，其中证明了一条定理：任一足以包含自然数算术的形式系统，如果是相容的，则它一定存在有一个不可判定命题，即存在某一命题A使A的否定在该系统皆不可证。这一定理被称为哥德尔第一不完全性定理。§4.2公理化方法的逻辑特征、意义和作用第62页，共138页，星期日，2025年，2月5日第一不完全性定理表明：任何形式系统都不能完全刻画数学理论，总有某些问题从形式系统的公理出发不能解答。在第一不完全性定理的基础上，哥德尔进一步证明了：在真的但不能由公理来证明的命题中，包括了这些公理是相容的（无矛盾性）这一论断本身。也就是说，如果一个足以包含自然数算术的公理系统是相容的，那么这种相容性在该系统内是不可证明的。这就是所谓哥德尔第二不完全性定理。§4.2公理化方法的逻辑特征、意义和作用第63页，共138页，星期日，2025年，2月5日第一不完全性定理和第二不完全性定理合称“哥德尔不完全性定理”哥德尔不完全性定理是属于某种否定性的结果，但这项否定性结果却带来了数学基础研究的划时代变革。其对数学基础产生的巨大影响而在20世纪数学史上写下了浓重的一笔。§4.2公理化方法的逻辑特征、意义和作用第64页，共138页，星期日，2025年，2月5日首先，哥德尔不完全性定理破天荒地第一次分清了数学中的“真”与“可证”是两个不同的概念，可证明的命题固然是真的，但真的命题不一定是可证明的。对于形式系统来说，“可证”是可以机械地实现的，“真”则需要进一步的思想能动性以及超穷工具。这一切突破了人们对数学真理的传统理解，