三段论是演绎推理的主要形式,由( )三部分组成。
大前提、小推理、结论
前提、推理、结论
大前提、小前提、结论
小前提、大前提、结论
自然科学研究存在着两种方式:定性研究和定量研究。定性研究揭示研究对象是否具有( ),定量研究揭示研究对象具有某种特征的( )。
某种特征 数量状态
内在关系 实际状态
某种特征 实际状态
内在关系 数量状态
公理方法就是从( )出发,按照一定的规定(逻辑规则)定义出其他所有的概念,推导出其他一切命题的一种演绎方法。
初始概念和公理
公理和推理
定理和概念
定理和命题
公理化方法的发展大致经历了这样三个阶段:( ),用它们建构起来的理论体系典范分别对应的是《几何原本》、《几何基础》和ZFC公理系统。
形式公理化阶段、实质公理化阶段和纯形式公理化阶段
实质公理化阶段、形式公理化阶段和纯形式公理化阶段
纯形式公理化阶段、形式公理化阶段和实质公理化阶段
实质公理化阶段、纯形式公理化阶段和形式公理化阶段
第三次数学危机产生于十九世纪末和二十世纪初,当时正是数学空前兴旺发达的时期。首先是逻辑的( ),促使了数理逻辑这门学科诞生,其中,十九世纪七十年代康托尔创立的( )是产生危机的直接来源。
数学化 集合论
数学化 超穷数理论
理论化 集合论
数学化 数论
罗素悖论引发了数学的第三次危机,它的一个通俗解释就是理发师悖论:在某个城市中有一位理发师,他的广告词是这样写的:“本人的理发技艺十分高超,誉满全城。我将为本城所有不给自己刮脸的人刮脸,我也只给这些人刮脸。我对各位表示热诚欢迎!”现在的问题是:如果理发师的胡子长了,他能给自己刮脸吗?( )
无结果
能
不能
为避免数学以后再出现类似问题,数学家对集合论的严格性以及数学中的概念构成法和数学论证方法进行逻辑上、哲学上的思考,其目的是力图为整个数学奠定一个坚实的基础。随着对数学基础的深入研究,在数学界产生了数学基础研究的三大学派:( )。
几何学派、抽象学派、现实学派
抽象主义、现实主义、直觉主义国开形考答案请进:opzy.net或请联系微信:1095258436
逻辑主义、直觉主义、形式主义
集合主义、抽象主义、形式主义
哥德尔不完备性定理是他在1931年提出来的。这一理论使数学基础研究发生了划时代的变化,更是现代逻辑史上很重要的一座里程碑。它证明了任何一个形式系统,只要包括了简单的初等数论描述,而且是( )的,它必定包含某些系统内所允许的方法既不能证明真也不能证伪的命题。
自洽
自主
逻辑
自足
哥德尔不完全性定理一举粉碎了数学家两千年来的信念。他告诉我们:真与可证是两个概念,( )。某种意义上,悖论的阴影将永远伴随着我们。
可证的一定是真的,但真的不一定可证
可证的一定是真的,但真的不一定可证
可证的一定是真的,但真的不一定可证
可证的一定是真的,但真的不一定可证
客观世界具有统一性,数学作为描述客观世界的语言必然也具有统一性。因此,数学的统一性是客观世界统一性的反映,是数学中各个分支固有的内在联系的体现。布尔巴基学派在集合论的基础上建立了三个基本结构:( ), 然后根据不同的条件,由这三个基本结构交叉产生新的结构。可以说,布尔巴基学派用数学结构显示了数学的统一性。
集合、几何结构和群结构
代数结构、序结构和拓扑结构
代数结构、序结构和群结构
代数结构、几何结构和群结构