数学联邦政治世界观
超小超大

【SEP】数学与哲学直觉主义(一) (11-11)

3.8 描述性集合论、拓扑学和拓扑理论

布劳威尔并不是唯一对某些经典推理形式表示怀疑的人。这在描述性集合论中尤其明显,描述性集合论的出现是对康托尔集合论中出现的高度非结构性概念的反应。这个领域的奠基人,包括Émile Borel和Henri Lebesgue这两个主要人物,被称为半直觉主义者,他们对连续体的建设性处理导致了博莱尔层次的定义。从他们的观点来看,像所有实数集的集合这样的概念是没有意义的,因此必须用一个确实有明确描述的子集的层次结构来代替。

在Veldman 1999中,提出了Borel集概念的直觉等价物,并表明Borel集的经典等价定义会产生各种直觉上不同的类,这种情况在直觉主义中经常发生。对于直觉主义的Borel集,Borel等级定理的类似物在直觉上是有效的。对这一事实的证明基本利用了上面讨论的连续性公理,从而显示了经典数学如何指导寻找直观主义的类似物,然而,这些类似物必须以完全不同的方式来证明,有时使用从经典观点来看不可接受的原则。

另一种研究连续体或一般拓扑空间的子集的方法是通过形式或抽象拓扑学的发展出现的(Fourman 1982, Martin-Löf 1970, Sambin 1987)。在这种构造性拓扑学中,开放集和点的作用是相反的;在经典拓扑学中,开放集被定义为某个点的集合,在构造性案例中,开放集是基本概念,而点则是以它们为基础定义的。因此,这种方法有时被称为无点拓扑学。

在Brouwer之后,直觉性的函数分析被许多人发展得很远,但由于大多数方法不是严格意义上的直觉性的,也是广义上的构造性的,所以这里将不再讨论这一研究。

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

旅途, 连载中
旅途,
洛纳koko
这是一个关于长相奇特的少年为改变样貌,而踏上寻找“传说中的药材”的旅途的故事.那么少年的身世究竟如何?这场旅途是否顺利?欢迎和我们一起踏上这......
1.3万字9个月前
埃莎利 连载中
埃莎利
顾相莞
发疯,随便写的,主要目的就是,不高兴的时候就写写,嗯高兴的时候也可以写……唉,日常叹气
2.6万字9个月前
前世今生只为情 连载中
前世今生只为情
凤月儿
夫妻失合,外敌入侵,血洗仙山。以身化花,以求来世。再世相遇,依旧恩怨不断,血流成河……“你爱我吗?”“当然爱了,不惜性命。”(已完本,请继续......
17.6万字8个月前
情至深,爱之切,伤之重 连载中
情至深,爱之切,伤之重
容昭仪
建议从转轮公主开始看,第一个故事没有结局强烈推荐:九尾仙尊友情提示:越往后面越好看,越后面越好看,后面最好看甜虐参半新篇介绍:青丘小白狐情劫......
32.0万字8个月前
穿书后我靠玄学走上人生巅峰 连载中
穿书后我靠玄学走上人生巅峰
水上开花
一个玄学弟子大晚上的吐槽一个玄幻文,然后…穿进去了。穿成了一只长得难看,羽毛稀少的鸟?于是…她每天对着自家的铜镜问:魔镜魔镜,告诉我,谁才是......
11.8万字8个月前
穿越仙剑三之那年花开只为你 连载中
穿越仙剑三之那年花开只为你
她姓杨,我信仰~幂
这是为重楼写的一篇文,希望大家喜欢,有不好的地方请说出来,会认真的改
1.6万字8个月前