第十四章：现代数学概观 - 汽车产业开发区教育信息网.DOC

第十四章：现代数学概观－二十世纪的数学 第一节 五大新兴学科的建立 一、数理逻辑 1．符号逻辑 数理逻辑作为一门数学学科，来源于对数学和逻辑基础的探讨，它最早可追溯到莱布尼茨，他关于逻辑演算的观念预示着布尔代数，而英国数学家布尔(G．Boole 1815—1864)在1847年出版《逻辑的数学分析》一书，正式推出所谓布尔代数，在逻辑上相当于命题演算．其后由英国数学家杰方斯(W．S．Jevons，1835—1882)和小皮尔斯(C．S．Peirce，1839—1914)在1874年加入次序关系，德国数学 卷中加以公理化．第一个完全形式化的语言是德国数学家弗瑞格(G．Frege，1848—1925)在1879年出版的《概念文字》中引进的．他首先定义了全称量词及存在量词．并引进一般的谓词逻辑．不过相应的逻辑代数一直到1950年才由波兰数学家塔斯基(A．Tarski，1902—1983)所发展，他引进所谓“圆柱代数”．1955年美国数学家哈尔莫斯(P．Halmos，1916—)又引进多进代数，形成一般的逻辑代数理论．1889年意大利数学家皮亚诺(G．Peano，1858—1932)提出自然数的公理系统，即后来所谓皮亚诺算术公理．而戴德金在前一年也提出类似的公理系统．弗雷格在1884年出版的《算术基础》中开始提到算术无非是扩展的逻辑．戴德金也提出类似的观点．弗雷格在1893年出版的《算术的基本规律》第一卷中，用五条逻辑公理来推导算术命题．1902年6月罗素给弗雷格一封信，提出著名的罗素悖论，并指出弗雷格的矛盾．弗雷格在1903年出版的《算术的基本规律》第二卷附录中承认这是对他的巨大打击，正是这个悖论，揭开了数理逻辑新的一章． 2．罗素悖论 罗素的悖论是关于集合论的，康托尔已经意识到不加限制地谈论“集合的集合”会导致矛盾．其他人也发现集合论中存在矛盾．而罗素在1903年出版的《数学的原理》(Principles of Mathematics)中，则十分清楚地表现出集合论的矛盾，从而动摇了整个数学的基础．罗素的悖论是说：可以把集合分成两类：凡不以自身为元素的集合称为第一类集合，凡以自身做为元素的集合称为第二类的集合，每个集合或为第一类集合或为第二类集合．设M表示第一类集合全体所成的集合．如果M是第一类集 现了这个矛盾之后，导致第三次数学危机，在数学界出现了各种意见，从抛弃集合论到尽可能保持集合论在数学中的基础地位的都有．由于20世纪数学的发展主流是建立在集合论基础之上，这里只考虑数学家如何消除悖论．在20世纪初，大致有两种办法，一个办法是罗素的分支类型论，它在1908年发表，在这个基础上罗素与怀特海(A．N．Whitehead，1861—1947)写出三大卷《数学原理》(principia Mathematica，1910—1913)，成为数理逻辑最早一部经典著作．还有一个办法是公理方法限制集合，由此产生公理集合论． 3．集合论的公理化 康托尔本人没有对集合论进行公理化．集合论公理化是策梅罗(E．Zermelo，1871—1953)在1908年发表的．富兰克尔(A．Fraenkel，1891—1965)等人曾加以改进，形成著名的ZF系统，这是最常用的一个系统，因此大家都希望从中推出常用的选择公理(1904年策梅罗引进它来 设与ZF系统是相容的．1963年，柯亨(P．Cohen，1934—)发明“力迫法”证明这两条“公理”的否定也不能在ZF系统中证明，从而推出其独立性． 4．希尔伯特纲领 为了使数学奠定在严格公理化基础上，1922年希尔伯特提出希尔伯特纲领，首先将数学形式化，构成形式系统，然后通过有限主义方法证明其无矛盾性． 1928年希尔伯特提出四个问题作为实现其纲领的具体步骤： (1)分析的无矛盾性．1924年阿克曼(W．Ackermann，896—1962)和1927年冯·诺伊曼(J．Von Neumann，1903—1957)的工作使希尔伯特相信只要一些纯算术的初等引理即可证明分析的无矛盾性． 1930年夏天，哥德尔开始研究这个问题，他不理解希尔伯特为什么要直接证明分析的无矛盾性．哥德尔认为应该把困难分解：用有限主义的算术证明算术的无矛盾性，再用算术的无矛盾性证明分析的无矛盾性．哥德尔由此出发去证明算术的无矛盾性而得出不完全性定理． (2)更高级数学的无矛盾性．特别是选择公理的无矛盾性．这个问题后来被哥德尔在1938年以相对的方式解决． (3)算术及分析形式系统的完全性．这个问题在1930年秋天哥尼斯堡的会议上，哥德尔已经提出了一个否定的解决．这个问题的否定成为数理逻辑发展的转折点． (4)一阶谓词逻辑的完全性，这个问题已被哥德尔在1930年完全解决． 这样一来哥德尔把希尔伯特的方向扭转，使数理逻辑走上全新的发展道路．