下列哪些项是直觉主义学派的主张_____。
A: 只承认可构造的无穷集合
B: 排斥非构造性数学
C: 认为数学的真理性等价于数学系统的相容性
D: 严格限制使用“排中律”
A: 只承认可构造的无穷集合
B: 排斥非构造性数学
C: 认为数学的真理性等价于数学系统的相容性
D: 严格限制使用“排中律”
举一反三
- 数学构造法是一种基本的数学方法,直觉主义学派的创始人哥德尔提出一个口号“存在必须被构造”。他强调数学直觉,坚持数学对象必须可以构造。
- 为避免数学以后再出现类似问题,数学家对集合论的严格性以及数学中的概念构成法和数学论证方法进行逻辑上、哲学上的思考,其目的是力图为整个数学奠定一个坚实的基础。随着对数学基础的深入研究,在数学界产生了数学基础研究的三大学派() A: 抽象主义、现实主义、直觉主义 B: 集合主义、抽象主义、形式主义 C: 几何学派、抽象学派、现实学派 D: 逻辑主义、直觉主义、形式主义
- 为避免数学以后再出现类似问题,数学家对集合论的严格性以及数学中的概念构成法和数学论证方法进行逻辑上、哲学上的思考,其目的是力图为整个数学奠定一个坚实的基础。随着对数学基础的深入研究,在数学界产生了数学基础研究的三大学派() A: A抽象主义、现实主义、直觉主义 B: B集合主义、抽象主义、形式主义 C: C几何学派、抽象学派、现实学派 D: D逻辑主义、直觉主义、形式主义
- 构造公理系统的三性(相容性、独立性、完备性)中,独立性是数学简洁化的要求。
- 直觉主义学派所提倡的构造性数学已经成为数学中的一个重要群体,并与计算机科学密切相关。 A: 正确 B: 错误