三大数学流派
逻辑主义、形式主义和直觉主义三大学派
三大数学流派是围绕数学的哲学基础问题进行的不同探讨而形成的三大学派,主要指逻辑主义、形式主义直觉主义三大学派。其形成主要是在1900年到1930年这三十年间。代表人物有罗素、希尔伯特布劳威尔
简介
十九世纪下半叶,康托尔创立了著名的集合论,在集合论刚产生时,曾遭到许多人的猛烈攻击。但不久这一开创性成果就为广大数学家所接受了,并且获得广泛而高度的赞誉。数学家们发现,从自然数与康托尔集合论出发可建立起整个数学大厦。因而集合论成为现代数学的基石。
可是,好景不长。1903年,一个震惊数学界的消息传出:集合论是有漏洞的!这就是英国数学家罗素提出的著名的罗素悖论。 可以说,这一悖论就象在平静的数学水面上投下了一块巨石,而它所引起的巨大反响导致了第三次数学危机
罗素悖论使得数学基础问题第一次以最迫切的需要的姿态摆到数学家面前,导致了数学家对数学基础的研究。而这方面的进一步发展又极其深刻地影响了整个数学。如围绕着数学基础之争,形成了现代数学史上著名的三大数学流派。