贝尔奈斯的数学哲学

贝尔奈斯是西方现代数学哲学中柏拉图主义的代表人物之一。他主张一种狭义的柏拉图主义。在数学本体论方面,他认为数学对象是客观的,这种客观性是现象学的客观性。在数学认识论方面,他认为数学本质上是经验的,但这种经验是理性经验。数学真理是客观存在的、发展的。在贝尔奈斯的数学哲学中,有丰富的数学辩证法思想。贝尔奈斯数学哲学的形成,有多方面的原因。贝尔奈斯的数学哲学对数学的发展有一定的积极作用,但也无法解决数学对象和数学真理性的争论问题。

关于序数定义的等价性问题

序数理论是良序集的一个本质理论,关于序数概念,一些数学家都曾以不同形式予以定义,其定义分别如下: 定义Ⅰ(冯·诺依曼定义)具有∈三歧性的可传递集合称作序数。 定义Ⅱ(策墨罗定义)序数可归纳定义如下: (a)○是序数, (b)若a是一序数,则a^+是一序数。