康托尔集合论-推荐下载
- 格式:pdf
- 大小:230.94 KB
- 文档页数:4
集合论的发展一、引言集合论是数学中的一个重要分支,它研究集合及其性质、关系和操作。
自从19世纪末由德国数学家康托尔创立以来,集合论经历了不断的发展和完善。
本文将从集合论的起源、基本概念、公理系统以及一些重要的发展和应用方面进行详细介绍。
二、集合论的起源集合论的起源可以追溯到19世纪末,当时康托尔开始研究无穷集合的性质,并提出了一系列的理论。
他的研究引起了当时数学界的广泛关注,也引起了一系列的争议。
康托尔的集合论为数学领域带来了新的观点和方法,为后来的发展奠定了基础。
三、集合论的基本概念1. 集合的定义:集合是由一些确定的对象组成的整体,这些对象称为集合的元素。
集合可以用大括号{}表示,元素之间用逗号分隔。
2. 子集与真子集:若集合A的所有元素都是集合B的元素,则称A是B的子集。
若A是B的子集且A不等于B,则称A是B的真子集。
3. 并集与交集:若A和B是两个集合,则A和B的并集是包含A和B的所有元素的集合,用符号∪表示。
A和B的交集是包含A和B共有元素的集合,用符号∩表示。
四、集合论的公理系统为了确保集合论的严密性,数学家们提出了一系列的公理系统,用以定义集合论的基本概念和运算规则。
其中最著名的是ZF公理系统,它由四个公理和八个公理模式组成,确保了集合论的一致性和完备性。
五、集合论的发展1. 康托尔的连续统假设:康托尔提出了连续统假设,它是关于无穷集合大小的一个假设。
然而,康托尔并没有证明这个假设,而是留下了一个数学难题。
直到1938年,哥德尔证明了连续统假设在ZF公理系统下是不可证伪的,从而引起了对集合论基础的深入思量。
2. 集合论的公理化:20世纪初,数学家们开始对集合论进行公理化的研究,旨在建立集合论的一套完备的公理系统。
这项工作由伯恩斯坦、弗雷格、冯·诺依曼等人完成,为集合论的发展奠定了坚实的基础。
3. 集合论的应用:集合论在数学和其他学科中有着广泛的应用。
在数学中,集合论为其他数学分支提供了基础,如数学分析、代数学、拓扑学等。
康托尔提起“集合”,除了像“集合起来搞事情”的意思,作为名词,上过高中的小伙伴们可能都还记得,这是高中数学最开始学的知识。
内容不多,原理也比较简单,更是高考数学的送分题(做对了送分,做不对送命)。
不过大家可能对集合背后的这个神秘男子不太了解,今天浪子老师就给大家扒一扒“集合论”的创始人:康托尔大神和他的传奇故事。
1.天才求学康托尔(Georg Ferdinand Philip Cantor,1845~1918),德国数学家,集合论的创始者,与其他天才一样,还在幼年时代,康托尔就表现出对数学的强烈兴趣。
1862年,17岁的康托尔离开双亲,考入瑞士苏黎世大学,第二年转入柏林大学,兴趣开始转移到纯数学方面。
于1868年以数论方面的论文获博士学位,1869年进入哈勒大学担任讲师,之后发表多篇论文,1879年成为哈勒大学的教授……巴拉巴拉等,反正都是些数学家的正常操作。
2.集合论诞生康托尔的研究主要是在无穷集合领域,无穷这个东西,看不见摸不着,也数不过来,到底能不能拿来计算,怎么个用法,大家争论很大。
因此大多数数学家,包括像高斯、柯西这样的大数学家,只好对无穷集合采取避而远之的态度。
但是老康却把无穷当作了自己的珍爱,他夜以继日地苦读、研究、计算、论证。
最终,康托尔得出了许多惊人的结论,起初他都不敢相信自己的眼睛,他说,“我见到了,但我不相信。
”按照康托尔研究的理论,下述观点是完全正确的——1厘米长的线段内的点,和太平洋内的点,和地球内部的点竟是“一样多”!这种整体等价于局部的理论,在世人眼里,就好比郭敬明和姚明同时站在你面前,你非得说他俩一样高。
但是天才就是天才,在进行了严密的论证后,他证明了郭敬明和姚明一样高,不对,是发现自己的理论无懈可击。
这样,在1874年,年仅29岁的康托尔在《数学杂志》上发表了关于无穷集合理论的第一篇革命性论文。
这篇论文的发表,标志着集合的诞生。
当时老康估计像这张照片上一样,意气风发,帅的掉渣。
集合论是数学的一个重要分支,研究的是集合的性质和关系。
然而,集合论中存在一些令人困惑的问题和悖论。
其中最著名的悖论之一便是无穷悖论。
无穷悖论最早由德国数学家乔治·康托尔提出。
他认为,有些集合的元素个数是无限的,而这些无穷集合之间也可以进行比较。
例如,自然数集合N={1,2,3,4,5,...}就是一个无穷集合,其元素个数是无限的。
另一方面,偶数的集合E={2,4,6,8,...}也是一个无穷集合,但是它的元素个数比N少,因为它只包含了N中的一半元素。
这样一来,我们就可以说,尽管N和E都是无穷集合,但是E的大小却比N小。
然而,康托尔又提出了一个令人震惊的结论:存在某个集合,其元素个数比任何无穷集合都大。
这个集合被称为“连续统”,用符号C表示。
康托尔认为,C 的大小超过了自然数集合N,偶数集合E,甚至包括所有无穷集合的并集。
康托尔试图证明C确实是一个比任何无穷集合都大的集合。
然而,在他的证明中却出现了一些矛盾的地方。
他认为,如果C是比现有所有无穷集合都大的集合,那么C中必定包含了一切可能的元素。
然而,这样一来,我们可以构造一个新的集合P,P={x∣x∉x},即包含了一切不包含自己的集合。
根据波尔-克劳维奇悖论,我们可以得出结论,P既不属于自己,也不不属于自己。
这就导致了自相矛盾的情况,使得康托尔的证明受到了质疑。
无穷悖论的出现引起了人们对于集合论的深入探讨和思考。
康托尔的无穷悖论揭示了无穷性的复杂性和矛盾之处,对于数学家来说是一次重要的启示。
集合论的发展也在一定程度上受到了这个悖论的影响。
为了解决无穷悖论带来的问题,数学家们提出了一系列关于集合论的公理,以保证集合论系统的一致性和完备性。
无穷悖论还引发了人们对于现实世界的思考。
无穷悖论表明,无穷的概念并非只存在于数学领域,而是与现实世界有着密切的关系。
人们发现,在时间和空间的维度中也存在着无穷的悖论。
例如,我们可以无限地追溯过去或者无限地前进未来,这就涉及到了时间的无限性。
康托尔集合论的创造者康托尔·(,,~)德国数学家,集合论的创始人。
生于俄国圣彼得堡。
父亲是犹太血统的丹麦商人,母亲出身艺术世家。
年全家迁居德国的法兰克福。
先在一所中学,后在威斯巴登的一所大学预科学校学习。
年入苏黎世大学学工,翌年转入柏林大学攻读数学和神学,受教于库默尔(,,~)、魏尔斯特拉斯(,,~)和克罗内克(,,~)。
年曾去格丁根学习一学期。
年在库默尔指导下以解决一般整系数不定方程求解问题的论文获博士学位。
毕业后受魏尔斯特拉斯的直接影响,由数论转向严格的分析理论的研究,不久崭露头角。
他在哈雷大学任教(~)的初期证明了复合变量函数三角级数展开的唯一性,继而用有理数列极限定义无理数。
年成为该校副教授,年任教授。
由于学术观点上受到的沉重打击,使康托尔曾一度患精神分裂症,虽在年恢复了健康,继续工作,但晚年一直被病魔缠身。
年月日在德国哈雷()维滕贝格大学附属精神病院去世。
康托尔爱好广泛,极有个性,终身信奉宗教。
早期在数学方面的兴趣是数论,年开始研究三角级数并由此导致世纪末、世纪初最伟大的数学成就——集合论和超穷数理论的建立。
除此之外,他还努力探讨在新理论创立过程中所涉及的数理哲学问题~年康托尔任柏林数学会第一任会长,年领导创立德国数学家联合会并任首届主席。
主要贡献康托尔对数学的贡献是集合论和超穷数理论。
两千多年来,科学家们接触到无穷,却又无力去把握和认识它,这的确是向人类提出的尖锐挑战。
康托尔以其思维之独特,想象力之丰富,方法之新颖绘制了一幅人类智慧的精品——集合论和超穷数理论,令、世纪之交的整个数学界、甚至哲学界感到震惊。
可以毫不夸张地讲,“关于数学无穷的革命几乎是由他一个人独立完成的。
”(一)集合论的建立世纪由于分析的严格化和函数论的发展,数学家们提出了一系列重要问题,并对无理数理论、不连续函数理论进行认真考察,这方面的研究成果为康托尔后来的工作奠定了必要的思想基础。
康托尔是在寻找函数展开为三角级数表示的唯一性判别准则的工作中,认识到无穷集合的重要性,并开始从事无穷集合的一般理论研究。
康托尔函数是由法国数学家康托尔所引入的一个概念。
通过康托尔我们可以发现康托尔函数实际上与集合本身具有同样的含义和作用。
它起到了一种极其重要的桥梁作用,将一系列基础的数学问题联系在一起,构成了后续课程的知识结构体系。
所谓康托尔函数即一种用康托尔方法证明集合论定理的方式。
康托尔函数首先起源于物理学,后逐渐应用于各门科学领域之中。
如今,康托尔函数已经渗透进人类生活的每一角落:医疗、教育等诸多行业都需要借助康托尔函数解决相关难题;甚至连日常生活也离不开康托尔函数。
例如:我们平时使用的电脑键盘,虽然只有26个字母,但却包括了大量的康托尔函数,因为它是根据康托尔函数原则设计而成的。
此外,还有许多东西也运用了康托尔函数,比如说我们熟悉的三角形内角和公式、四边形面积公式……康托尔对欧几里得的完美性有着深刻的认识,他曾写道:“无穷小的精确度给予无限小的自由”。
康托尔正是抓住了无穷小这一特点,才创造出了康托尔函数。
康托尔指出,任何两个集合 A 和 B 都存在着某种共同的属性——完备性。
当且仅当 A 和 B 的元素全部被 A 所包含或者全部被 B 所包含时,二者才互相独立地存在。
显然,若 A 包含 B,那么 A 必须包含于 B,反之亦然。
这便是康托尔函数的第一层意思。
接下去,康托尔又阐释了另一层意思:假设 A 包含 B,则 A 的每一个元素都是 B 的元素,而 B 的每一个元素都是 A 的元素。
换句话说, A 和 B 的元素彼此间没有交叉,否则就会产生矛盾。
最终,康托尔得出了康托尔函数的第二层意思:任何两个集合 A 和 B都满足完备性条件,因此 A 和 B 之间存在着某种联系。
这便是康托尔函数的第三层意思。
“不仅在于他能把这些事物从思想中提取出来并加以表述,更主要的是他能够让这些事物彼此沟通”,康托尔正是凭借着自己非凡的创造力和丰富的想象力,才使康托尔函数有机地融汇在整个康托尔集合论体系中。
由此可见,研究康托尔函数的奥秘绝非易事,它既是一项艰巨的工程,又是一项复杂的系统工程,需要运用辩证唯物主义和历史唯物主义观点,综合处理数学与其他各个领域的关系。
康托尔伯恩斯坦施罗德定理康托尔-伯恩斯坦-施罗德定理是数学中的一个重要定理,它在集合论和代数学中有着广泛的应用。
本文将对该定理进行详细阐述,并探讨其在数学领域中的重要性。
康托尔-伯恩斯坦-施罗德定理,也被称为CBS定理,是由德国数学家Georg Cantor、Felix Bernstein和Ernst Schröder分别独立发现并证明的。
该定理是集合论中的一个基本结果,描述了两个集合之间的基数关系。
我们需要了解一些集合论的基本概念。
在集合论中,一个集合的基数即表示该集合中元素的个数。
例如,集合{1, 2, 3}的基数为3。
而集合之间的基数关系则描述了两个集合中元素的对应关系。
康托尔-伯恩斯坦-施罗德定理主要描述了两个集合之间存在一种双射(一一对应)的关系。
具体来说,对于两个集合A和B,如果存在一个函数f,使得对于A中的每个元素a,都有唯一对应的B中的元素b,且对于B中的每个元素b,也都有唯一对应的A中的元素a,那么我们称集合A与集合B是等势的,记作|A|=|B|。
换句话说,如果存在一个双射函数将集合A和集合B一一对应起来,那么它们的基数相等。
康托尔-伯恩斯坦-施罗德定理的重要性在于,它为研究集合的基数关系提供了一个有力的工具。
通过该定理,我们可以判断两个集合是否等势,并进一步推导出它们的基数大小。
在实际应用中,这对于研究集合的性质和结构具有重要意义。
康托尔-伯恩斯坦-施罗德定理的证明过程较为复杂,涉及到集合论、函数论和逻辑学等多个数学领域的知识。
在此不做详细展开,但可以提到该定理的证明基于对集合之间的映射关系的构造和推导,通过建立双射函数来证明两个集合的等势。
除了在集合论中的应用,康托尔-伯恩斯坦-施罗德定理还在代数学中有着重要的应用。
例如,在线性代数中,该定理可以用于判断两个向量空间的维数是否相等。
在拓扑学和几何学中,该定理也可以用于判断两个拓扑空间或几何形状的同胚关系,即它们是否具有相同的结构。
集合论的发展引言概述:集合论是数学中的一个重要分支,它研究的是集合及其性质、关系和运算。
自从19世纪末由德国数学家康托尔提出以来,集合论经历了多次重要的发展和演变。
本文将从五个方面详细介绍集合论的发展。
一、集合论的起源与发展1.1 康托尔的集合论1.2 集合论的公理化1.3 集合论的争议与发展二、集合的基本概念与性质2.1 集合的定义与表示2.2 集合的基本运算2.3 集合的基本性质三、集合论的扩展与应用3.1 集合的无穷性与基数3.2 集合的分类与分级3.3 集合论在数学中的应用四、集合论的发展与分支4.1 集合论的公理系统4.2 集合论与逻辑学的关系4.3 集合论与其他数学分支的交叉五、集合论的未来发展趋势5.1 集合论的问题与挑战5.2 集合论与计算机科学的结合5.3 集合论在实际应用中的发展正文内容:一、集合论的起源与发展1.1 康托尔的集合论康托尔是集合论的奠基人,他提出了集合的基本概念和运算,并研究了集合的无穷性。
他的集合论奠定了后来集合论的基础。
1.2 集合论的公理化在20世纪初,数学家们开始对集合论进行公理化,即通过一组公理来描述集合的性质和运算规则。
这使得集合论的研究更加系统和严谨。
1.3 集合论的争议与发展随着集合论的发展,一些悖论和问题也随之出现,如罗素悖论和连续统假设等。
这些问题引发了对集合论公理系统的重新审视和修正,推动了集合论的进一步发展。
二、集合的基本概念与性质2.1 集合的定义与表示集合是由一些确定的对象组成的整体,可以用描述性的方式或列举元素的方式来表示。
集合的元素是无序的,且不重复。
2.2 集合的基本运算集合的基本运算包括并、交、差和补运算。
并运算得到的是两个集合的所有元素的集合,交运算得到的是两个集合共有的元素的集合,差运算得到的是一个集合减去另一个集合后的元素的集合,补运算得到的是一个集合相对于全集的补集。
2.3 集合的基本性质集合具有包含关系、等价关系、互斥关系等基本性质。
cantor-bernstein-schroeder 定理
康托尔-伯恩施坦定理(Cantor-Bernstein-Schroeder theorem)是集合论中的一个基本定理,得名于康托尔、伯恩斯坦和Ernst Schröder。
康托尔-伯恩斯坦定理在集合论中有着重要的应用,它提供了一种判断两个集合是否等价的判据。
根据这个定理,如果存在从集合A到集合B的单射函数和从集合B到集合A的满射函数,那么我们可以得出结论:集合A和集合B是等价的。
此外,康托尔-伯恩斯坦定理也被广泛应用于其他领域,如数学分析、离散概率论和计算理论等。
在数学分析中,它可以用来证明某些函数的连续性和可积性;在离散概率论中,它可以用来研究随机过程和随机序列的收敛性;在计算理论中,它可以用来研究图灵机的停机问题等。
总之,康托尔-伯恩斯坦定理是一个非常有用的数学工具,它在许多领域都有着广泛的应用。
集合论的发展引言概述:集合论是数学中的一个重要分支,它研究的是集合的性质、关系和操作。
自从集合论的提出以来,它在数学和其他学科中都发挥了重要作用。
本文将从集合论的发展历程、基本概念、公理系统、应用领域和未来发展等五个方面进行详细阐述。
一、集合论的发展1.1 集合论的起源- 集合论最早起源于古希腊数学,例如毕达哥拉斯学派的数学思想中就包含了集合的概念。
- 17世纪,随着数学的发展,集合论逐渐成为一门独立的学科。
1.2 集合论的奠基人- 19世纪末,德国数学家乔治·康托尔(Georg Cantor)被公认为集合论的奠基人。
- 康托尔通过引入无穷集合和不可数集合的概念,推动了集合论的发展。
1.3 集合论的重要里程碑- 康托尔提出了集合的基数概念,引入了集合的比较和运算。
- 康托尔的对角线论证证明了实数集合是不可数的。
- 集合论的公理化建立了集合论的基础,确立了集合论的严密性。
二、集合论的基本概念2.1 集合的定义- 集合是由确定的元素构成的整体,元素之间没有顺序和重复。
- 集合可以用罗马字母大写字母表示,例如A、B、C。
2.2 集合的运算- 并集:将两个或者多个集合中的所有元素合并在一起。
- 交集:两个集合中共同拥有的元素组成的集合。
- 差集:从一个集合中去除另一个集合中的元素。
2.3 集合的关系- 包含关系:一个集合的所有元素都属于另一个集合。
- 相等关系:两个集合的元素彻底相同。
三、集合论的公理系统3.1 朴素集合论- 朴素集合论是集合论的一种直观描述,没有明确的公理系统。
- 朴素集合论存在悖论,例如罗素悖论,导致了集合论的公理化。
3.2 公理化集合论- 公理化集合论通过引入公理系统,解决了朴素集合论的悖论问题。
- 公理系统包括包含公理、相等公理、分离公理等。
3.3 集合论的公理化建立了集合论的严密性和一致性。
- 公理化集合论为集合论提供了一个严密的基础。
- 集合论的公理系统可以通过逻辑推理来证明集合论的定理。
1公理集合论a xiomatic set theo ry用形式化公理化方法研究集合论的一个学科。
数理逻辑的主要分支之一。
19世纪70 年代,德国数学家G.康托尔给出了一个比较完整的集合论,对无穷集合的序数和基数进行了研究。
20世纪初,罗素悖论指出了康托尔集合论的矛盾。
为了克服悖论,人们试图把集合论公理化,用公理对集合加以限制。
第一个常用的公理系统是E.F.F.策梅洛和A.A.弗伦克尔等提出的ZF系统。
这个系统中只有一个非逻辑二元关系符号∈,非逻辑公理有:外延公理、空集公理、无序对公理、并集公理、幂集公理、无穷公理、分离公理模式、替换公理模式、正则公理。
如果加上选择公理就构成ZFC系统。
利用公理可以定义出空集、序对、关系、函数等集合,还可以给出序关系、良序关系、序数、基数,也可以给出自然数、整数、实数等概念。
集合论中有关集合的性质,在公理集合论中都可以得到证明。
公理系统中还可以证明公理之间的相对和谐性和独立性,例如P.J.科恩于1960 年创立公理集合论中的力迫法,并用来证明ZFC与连续统假设CH独立。
公理集合论发展很快,马丁公理、苏斯林假设等新公理新方法已被广泛使用,组合集合论、描述集合论、大基数、力迫法的研究已经渗透到数学的各个分支。
集合论公理系统(ZF1) 外延公理一个集合完全由它的元素所决定。
如果两个集合含有同样的元素,则它们是相等的。
(ZF2) 空集合存在公理:即存在一集合s,它没有元素。
(ZF3) 无序对公理:也就是说,任给一集合x,存在第三个集合z,而z的元素恰好有两个,一个是x,一个是y(ZF4) 并集公理:也就是说,任给一集合x,我们可以把x的元素的元素汇集到一起,组成一个新集合(ZF5) 幂集公理:也就是说,任意的集合x,P(x)也是一集合(ZF6) 无限公理:也就是说,存在一集合x,它有无穷多元素(ZF7) 替换公理:也就是说,对于任意的公式A(x,y),对于任意的集合t,当x属于t时,都有y,使得A(x,y)成立的前提下,就一定存在一集合s,使得对于所有的x属于t,在集合s中都有一元素y,使A(x,y)成立。
康托尔集合论-罗素悖论-公理化集合论-不完全性定理1. 第二次数学危机的解决---集合论成了全部数学的基础。
(第二次数学危机详细见参考中三次数学危机.) 19世纪,柯西详细而有系统地发展了极限理论。柯西认为把无穷小量作为确定的量,即使是零,都说不过去,它会与极限的定义发生矛盾。无穷小量应该是要怎样小就怎样小的量,因此本质上它是变量,而且是以零为极限的量,至此柯西澄清了前人的无穷小的概念,另外Weistrass创立了 极限理论,19世纪70年代初,外尔斯特拉斯、狄德金、康托等人独立地建立了实数理论,而且在实数理论的基础上,建立起极限论的基本定理.从而把无穷小量从形而上学的束缚中解放出来,第二次数学危机基本解决。从而使数学分析建立在实数理论的严格基础之上。而严密的实数理论可以由集合论推出。集合论是19世纪70-80年代由德国数学家康托尔创立,它建立在一种无限观——“实无限”的基础上。所谓“实无限”,即把“无限”作为一个已经完成了的观念实体来看待。例如,在集合论中用N={n:n是自然数}表示全体自然数的集合就是如此。需要指出的是,在此之前的几千年数学发展史中,占主导地位的是另一种无限观,即古希腊哲学家亚里士多德所主张的“潜无限”观念。所谓“潜无限”,是把“无限”作为一个不断发展着的、又永远无法完成的过程来看待。例如,把自然数看成一个不断延伸的无穷无尽的序列1,2,3,…,n,…就是如此。 集合论是数学观念和数学方法上的一次革命性变革,由于它在解释旧的数学理论和发展新的数学理论方面都极为方便,因而逐渐为许多数学家所接受。实数理论奠定在集合论的基础上,而且各种复杂的数学概念都可以用“集合”概念定义出来,而各种数学理论又都可以“嵌入”集合论之内。因此,集合论就成了全部数学的基础,而且有力地促进了各个数学分支的发展。现代数学几乎所有的分支都会用到集合这个概念。
2. 康托尔集合论(现在有人也称之为朴素集合论)面料挑战.从康托尔创立了数学领域中的“集合论”,用集合论中的观点来诠释各个数学概念之间的逻辑关系,真可谓是“天衣无缝”。因此集合论被誉为“数学大厦的基石”。然而事情并非总是顺利的。1900年左右,正当康托尔的思想逐渐被人接受,并成功地把集合论应用到了许多别的数学领域中去,大家认为数学的“绝对严格性”有了保证的时候,一系列完全没有想到的逻辑矛盾,在集合论的边缘被发现了。开始,人们并不直接称之为矛盾,而是只把它们看成数学中的奇特现象。1897年意大利数学家布拉里.福尔蒂揭示了集合论的第一个悖论。1899年,康托尔发现了 “康托尔悖论”,亦称“最大基数悖论”。福尔蒂和康托的悖论只涉及到集合论中的结果,没有引起当时数学家们的足够重视。但罗素于1901年5月发现了一个悖论。它除了涉及集合概念本身外不需要别的概念。此后又有其他朴素集合论的悖论出现, 例如理查德悖论, 培里悖论, 格瑞林和纳尔逊悖论等. 集合论的现代悖论与逻辑的几个古代悖论还有关系。例如,公元前4世纪的欧伯利得悖论:“我现在正在做的这个陈述是假的。”埃皮门尼德(公元前6世纪,克利特人)悖论:“克利特人总是说谎的人。”
3. 罗素悖论和理发师悖论罗素悖论的数学表达:设性质P(x)表示“x不属于x ”,现假设由性质P确定了一个类A----也就是说“A全集P(x)(x属于A 与 x不属于A 性质不能同时成立 )”。那么现在的问题是:A属于A 是否成立?首先,若A属于A ,则A是A的元素,那么A具有性质P,由性质P知A不属于A ;其次,若A不属于A ,也就是说A具有性质P,而A是由所有具有性质P的类组成的,所以A不属于A 。罗素悖论的普通表达:“一切不包含自身的集合所形成的集合是否包含自身?”答案如果说是,即包含自身,属于这个集合,那么它就不包含自身;如果说否,它不包含自身,那么它理应是这个集合的元素,即包含自身。可能有人看不懂罗素悖论,没关系,罗素本人就用通俗的“理发师悖论”作了比喻;理发师自称,他给所有自己不刮胡子的人刮胡子,但不给任何自己刮胡子的人刮胡子。试问理发师该不该给自己刮胡子?如果他从来不给自己刮胡子,就属于“自己不刮胡子的人”。根据他的自称,他就应该给自己刮胡子,但是,一旦他给自己刮胡子,他就成了“自己刮胡子的人”了。还是根据他的自称,他就不应该给自己刮胡子。所以不管理发师的胡子由谁来刮,都会产生矛盾。罗素悖论的详细解释:把集合分成两类,凡是不以自身作为元素的集合称为正常集P(x) 表示“x不属于x ”.(或称一种叫自吞的,一种叫非自吞的,或说自包含的,非自包含的.或说正常的,非正常的.),(例如,自然数集合N本身不是自然数, 数学表达N不属于N. 因此N是正常集。再例如:所有彩虹网友的集合不是彩虹网友. 所有男人的集合不是男人)凡是以自身作为元素的集合称为异常集。(例如,所有的非生物的集合F并非生物,数学表达F属于F.因此F是异常集。所有非植物的集合不是植物.所有非质数的集合不是质数.等等)每个集合或者为正常集或者为异常集。设A为全体正常集(性质P)所组成的集合,那么A是不是正常集?如果A是正常集,由正常集P的定义知A不属于A,又因A是全体正常集的集合,所以正常集A属于A.但这说明A不是正常集,是异常集;反之,如果A不是正常集,是异常集,那么由异常集的定义知A属于A,这说明A是全体正常集组成的集合A的元素,因而A又应该是正常集。
4. 公理化集合论的建立和完善.集合论中悖论的存在,明确地表示某些地方出了毛病。自从悖论被发现之后,关于这一课题发表了大量的文章,为解决它们作过了大量的尝试。激进的是以荷兰数学家布劳威尔为代表的直觉主义学派,他们对集合论采取了全盘否定的态度,并认为“实无限”的观念是集合论悖论产生的根源。还有以罗素为代表的逻辑主义.特别突出的是以希尔伯特为代表的形式主义数学学派。这方面的代表性成果是公理集合论,它已成为现代数学的一个重要分支。公理集合论采用公理化的方法来刻画集合和集合的运算,并对康托尔集合论中的“概括原则”作了修正。就数学而论,看来有一条容易的出路:人们只要把集合论建立在公理化的基础上,加以充分限制以排除所知道的矛盾。第一次这样的尝试是策梅罗于1908年做出的。以后还有多人进行加工。但是,此种方式曾受到批评,因为它只是避开了某些悖论,而未能说明这些悖论;此外,它不能保证将来不出现别种悖论。策梅罗的公理化集合理论中,集合这个概念一直不加定义,而它的性质就由公理反映出来。他不说什么是集合,而只讲从数学上怎样来处理它们,他引进七条公理:决定性公理(外延公理)、初等集合公理(空集公理、单元素公理、对集公理)、分离公理、幂集公理、并集公理、选择公理、无穷公理(稍稍改变一下原来形式)。 受到的批评:1)、为了讨论集合,我们必须从对象“域”开始,也就是用某种方法构成的域;2)、策梅罗关于确定的命题要有一个定义使得它精确化;3)、在所有完全的公理化中,集合论的概念不可避免地是相对的;4)、策梅罗的公理系统不足以提供通常集合论的基础;5)、当人们打算证明公理的无矛盾时,谓语句所引起的困难;6)、对象域B的不唯一性;7)、数学归纳法对于抽象给出的公理系统的必要性;8)、选择公理的问题。 兰克尔改进的策梅罗集合论公理系统,再加上选择公理是足够数学发展所需的,但是还需要加一条限制性的公理,即除了满足这些公理的集合之外没有其他的集合。 为排除一个悖论涉及所谓基础集合,为了排除这种集合,冯•诺依曼引进公理9(基础公理). 对改进后的ZF集合论公理系统的批评:这样施加限制有点不必要地过分严格,使得数学家在论证过程中失掉一些有时有用的论证方式,而这些论证方式似乎是没有恶性循环的。仍然存在许多问题,例如:不可达基数和序数是不是存在?;连续统假设是否能够证明;公理系统的协调性和独立性,……从三十年代之后,为了解决这些问题,公理集合论掀开了新的一页。
5.公理系统的最后努力遇到了不完全性定理:1930年前,整个数学界是非常乐观的:希尔伯特的思想占统治地位;数学是建立在集合论和数理逻辑两块基石之上;康托尔的朴素集合论已被公理集合论所代替,从而消除了悖论;选择公理是一个很好的工具,数学中许多部门都要用到它;连续统假设仍然是悬案,不过希尔伯特多次觉得自己已接近解决这个难题,看来前景是乐观的;大部分数学可以建立在谓词演算的基础上,而一阶谓词演算的公理系统是无矛盾的,尽管其完全性仍有待证明;整个数学的基本理论是自然数的算术和实数理论,它们都已经公理化。这些公理系统应该是无矛盾的、完全的,如果它们能够得证,并且集合论公理系统也能得到同样的结果,那么整个数学就比较牢靠了。为了不使一小撮直觉主义者指手划脚、评头品足,希尔伯特提出他的计划:把理论系统形式化,然后通过有限多步证明它们没有矛盾。他信心十足,在1930年9月东普鲁士哥尼斯堡的科学会会议上,他批判了不可知论。1928年希尔伯特提出四个问题:1)、分析的无矛盾性。1924年阿克曼和1927年冯•诺依曼的工作使希尔伯特相信只要一些纯算术的初等引理即可证明。1930年夏天,哥德尔开始研究这个问题,他不理解希尔伯特为什么要直接证明分析的无矛盾性。哥德尔认为应该把困难分解:用有限主义的算术证明算术的无矛盾性,再用算术的无矛盾性证明分析的无矛盾性,哥德尔由此出发去证明算术的无矛盾性而得出不完全性定理。2)、更高级数学的无矛盾性,特别是选择公理的无矛盾性。这个问题后来被哥德尔在1938年以相对的方式解决。
3)、算术及分析形式系统的完全性。这个问题在1930年秋天哥尼斯堡的会议上,哥德尔已经提出了一个否定的解决,这个问题的否定成为数理逻辑发展的转折点。4)、一阶谓词逻辑的完全性。这个问题已被哥德尔在1930年完全解决。这样一来,哥德尔的工作把希尔伯特的方向扭转,使数理逻辑走上全新的道路。哥德尔的不完全性定理:这是数理逻辑最重大的成就之一,是数理逻辑发展的一个里程碑和转折点。哥德尔在研究过程中直接考虑悖论及解决悖论的方法,从而把第三次数学危机引导至另外一个方向上。哥德尔证明不完全性定理是从考虑数学分析的协调性问题开始的。1930年秋在哥尼斯堡会议上,他宣布了第一不完全性定理:一个包括初等数论的形式系统,如果是协调的,那就是不完全的。不久之后他又宣布:如果初等算术系统是协调的,则协调性在算术系统内不可证明。哥德尔的证明使用了“算术化”的方法。哥德尔说:“一个系统的公式……从外观上看是原始符号的有穷序列……。不难严格地陈述,哪些原始符号的序列是合适公式,哪些不是;类似地,从形式观点看来,证明也只不过是(具有某种确定性质的)一串公式的有穷序列”。因此,研究一个形式系统实际上就是研究可数个对象的集合。我们给每个对象配上一个数,这种把每一个对象配上一个数的方法称为“哥德尔配数法”。哥德尔通过这些数反过来看原来形式系统的性质。哥德尔研究了46种函数和谓词,哥德尔证明了他的前45个函数和谓词都是原始递归的。但第46个谓词为“X是一个可证公式的哥德尔数”。在对哥德尔配数的系统中,可以得到一个公式,它相当于:我是不可证的。所以这个句子是不可证的且是真的。所以系统中存在真语句而又不可证,也就是系统不完全。哥德尔的论文在1931年发表之后,立即引起逻辑学家的莫大兴趣。它开始虽然使人们感到惊异不解,不久即得到广泛承认,并且产生巨大的影响:哥德尔的证明对希尔伯特原来的计划是一个巨大的打击,因此把整个数学形式化的打算是注定要失败的,因而逻辑主义和形式主义的原则是不能贯彻到底的;“希尔伯特计划”中证明论的有限主义观点必须修正,从而使证明论的要求稍稍放宽。1936年甘岑在容许超穷归纳的条件下证明了算术的无矛盾性,而倡导有限构造主义的直觉主义也不能解决问题;哥德尔的工具递归函数促进了递归函数论的系统研究,同时推动了不可判定问题的研究,开始出现递归论的新分支。哥德尔不完全定理的证明结束了关于数学基础的争论不休的时期,数学基础的危机不那么突出表现出来。数理逻辑形成了一个带有强技巧性的独立学科,而绝大部分数学家仍然把自己的研究建立在朴素集合论或ZF公理集合论的基础上。尽管集合论中存在矛盾,但这些矛盾大部分均可回避。研究这些矛盾,特别是集合论的矛盾变成数理逻辑学家的事业。因为矛盾也好、危机也好,根源在于无穷,但是数学中毕竟少不了无穷。归根结蒂,数学终究是研究无穷的科学。