非朴素集合论问题
发布网友
发布时间:4小时前
我来回答
共1个回答
热心网友
时间:2024-10-17 05:29
虽然目前还没有非朴素集合一说,却有有关的理论
1903年,一个震惊数学界的消息传出:集合论是有漏洞的!这就是英国数学家罗素提出的著名的罗素悖论。
罗素构造了一个集合S:S由一切不是自身元素的集合所组成。然后罗素问:S是否属于S呢?根据排中律,一个元素或者属于某个集合,或者不属于某个集合。因此,对于一个给定的集合,问是否属于它自己是有意义的。但对这个看似合理的问题的回答却会陷入两难境地。如果S属于S,根据S的定义,S就不属于S;反之,如果S不属于S,同样根据定义,S就属于S。无论如何都是矛盾的。
罗素
其实,在罗素之前集合论中就已经发现了悖论。如1897年,布拉利和福尔蒂提出了最大序数悖论。1899年,康托尔自己发现了最大基数悖论。但是,由于这两个悖论都涉及集合中的许多复杂理论,所以只是在数学界揭起了一点小涟漪,未能引起大的注意。罗素悖论则不同。它非常浅显易懂,而且所涉及的只是集合论中最基本的东西。所以,罗素悖论一提出就在当时的数学界与逻辑学界内引起了极大震动。如G.弗雷格在收到罗素介绍这一悖论的信后伤心地说:“一个科学家所遇到的最不合心意的事莫过于是在他的工作即将结束时,其基础崩溃了。罗素先生的一封信正好把我置于这个境地。”戴德金也因此推迟了他的《什么是数的本质和作用》一文的再版。可以说,这一悖论就象在平静的数学水面上投下了一块巨石,而它所引起的巨大反响则导致了第三次数学危机。
危机产生后,数学家纷纷提出自己的解决方案。人们希望能够通过对康托尔的集合论进行改造,通过对集合定义加以*来排除悖论,这就需要建立新的原则。“这些原则必须足够狭窄,以保证排除一切矛盾;另一方面又必须充分广阔,使康托尔集合论中一切有价值的内容得以保存下来。”1908年,策梅罗在自己这一原则基础上提出第一个公理化集合论体系,后来经其他数学家改进,称为ZF系统。这一公理化集合系统很大程度上弥补了康托尔朴素集合论的缺陷。除ZF系统外,集合论的公理系统还有多种,如诺伊曼等人提出的NBG系统等。公理化集合系统的建立,成功排除了集合论中出现的悖论,从而比较*地解决了第三次数学危机。但在另一方面,罗素悖论对数学而言有着更为深刻的影响。它使得数学基础问题第一次以最迫切的需要的姿态摆到数学家面前,导致了数学家对数学基础的研究。而这方面的进一步发展又极其深刻地影响了整个数学。如围绕着数学基础之争,形成了现代数学史上著名的三大数学流派,而各派的工作又都促进了数学的大发展等等。
跟无限相关的悖论:
{1,2,3,4,5,…}是自然数集:
{1,4,9,16,25,…}是自然数平方的数集。
这两个数集能够很容易构成一一对应,那么,在每个集合中有一样多的元素吗?
非朴素集合论问题
虽然目前还没有非朴素集合一说,却有有关的理论 1903年,一个震惊数学界的消息传出:集合论是有漏洞的!这就是英国数学家罗素提出的著名的罗素悖论。罗素构造了一个集合S:S由一切不是自身元素的集合所组成。然后罗素问:S是否属于S呢?根据排中律,一个元素或者属于某个集合,或者不属于某个集合。因...
非结构化数据如何可视化呈现?
通常情况下,我们会按照结构模型把系统产生的数据分为三种类型:结构化数据、半结构化数据和非结构化数据。结构化数据,即行数据,是存储在数据库里,可以用二维表结构来逻辑表达实现的数据。最常见的就是数字数据和文本数据,它们可以某种标准...
有谁哪位学霸知道这个问题的?
在朴素集合论中, 表示所有满足性质 的 的集合,那么 表示的是所有使得 成立的 点构成的集合。这样的点构成 的垂直平分线是初中平面几何知识。然后需要注意的是命题 是命题 的否定。由 的定义, 是错误的,自然 就是正确的。另外下面一些回答在强调元素和集合的区别。所有能放在二元谓...
集合论的存在异议
对集合论最常见的反对意见来自结构主义者,他们认为数学是和计算些微相关着的,但朴素集合论却加入了非计算性的元素。拓朴斯理论曾被认为是传统公理化集合论的另一种选择。拓朴斯理论可以被用来解译各种集合集的替代方案,如结构主义、模糊集合论、有限集合论和可计算集合论等。
泛型集合与非泛型集合的异同
泛型集合和非泛型合集的区别在于,非泛型合集属于弱类型集合而泛型集合属于强类型集合。集合(简称集)是数学中一个基本概念,它是集合论的研究对象,集合论的基本理论直到19世纪才被创立。最简单的说法,即是在最原始的集合论——朴素集合论中的定义,集合就是“确定的一堆东西”。集合里的“东西”,叫...
谈谈对公理集合论和朴素集合论认识看法
公理集合论,在范围上,比朴素集合论小,举例来说,罗素悖论,不在公理集合论内,却在朴素集合论内
朴素集合论
朴素集合论是一种数学理论,其基本概念是将一组对象组合在一起形成一个集合。1、这些对象可以是任何东西,包括数字、字母、物体等等。在朴素集合论中,集合的元素是确定的,也就是说,每个元素要么属于该集合,要么不属于该集合。2、朴素集合论的核心概念包括集合、元素、空集、子集、超集、交集、并集和...
罗素悖论最后解决了吗
这个悖论揭示了朴素集合论的基础存在问题。为了解决这个悖论,数学家们发展了公理化集合论,特别是Zermelo-Fraenkel集合论(ZFC),其中包括了避免此类悖论的公理。ZFC通过限制集合的构造方式,例如禁止自引用的集合,从而避免了罗素悖论这样的矛盾出现。此外,还有其他一些集合论变体,如NBG集合论和MK集合论,...
人民是集合概念还是非集合概念
集合概念和非集合概念:集合:集合(简称集)是数学中一个基本概念,它是集合论的研究对象,集合论的基本理论直到19世纪才被创立。最简单的说法,即是在最原始的集合论——朴素集合论中的定义,集合就是“确定的一堆东西”。集合里的“东西”,叫作元素。由一个或多个确定的元素所构成的整体叫做集合...
pab和pa非b非有什么关系?
PAB指的是在有B的情况下满足A的概率。P(非A非B)表示既不属于A又不属于B的集合,也就是A和B集合之外的集合,就是非(A+B)。非A非B = 非(A∪B),所以 P(非A非B)=P(非(A∪B))。集合,简称集 是数学中一个基本概念,也是集合论的主要研究对象。集合论的基本理论创立于19世纪,关于...
数学集合取值范围问题?
集合(简称集)是数学中一个基本概念,它是集合论的研究对象,集合论的基本理论直到19世纪才被创立。最简单的说法,即是在最原始的集合论——朴素集合论中的定义,集合就是“确定的一堆东西”。集合里的“东西”,叫作元素。由一个或多个确定的元素所构成的整体叫做集合。若x是集合A的元素,则记作...