现代数学概观－二十世纪的数学.pdfVIP

第十四章：现代数学概观－二十世纪的数学 第一节 五大新兴学科的建立 一、数理逻辑 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 ．Ackerm