A.代数结构、序结构和拓扑结构 B.代数结构、序结构和群结构 C.代数结构、几何结构和群结构 D.集合、几何结构和群结构
单项选择题哥德尔不完备性定理是他在1931年提出来的。这一理论使数学基础研究发生了划时代的变化,更是现代逻辑史上很重要的一座里程碑。它证明了任何一个形式系统,只要包括了简单的初等数论描述,而且是()的,它必定包含某些系统内所允许的方法既不能证明真也不能证伪的命题。
A.逻辑 B.自洽 C.自主 D.自足
单项选择题为避免数学以后再出现类似问题,数学家对集合论的严格性以及数学中的概念构成法和数学论证方法进行逻辑上、哲学上的思考,其目的是力图为整个数学奠定一个坚实的基础。随着对数学基础的深入研究,在数学界产生了数学基础研究的三大学派()
A.抽象主义、现实主义、直觉主义 B.集合主义、抽象主义、形式主义 C.几何学派、抽象学派、现实学派 D.逻辑主义、直觉主义、形式主义
单项选择题罗素悖论引发了数学的第三次危机,它的一个通俗解释就是理发师悖论:在某个城市中有一位理发师,他的广告词是这样写的:“本人的理发技艺十分高超,誉满全城。我将为本城所有不给自己刮脸的人刮脸,我也只给这些人刮脸。我对各位表示热诚欢迎!”现在的问题是:如果理发师的胡子长了,他能给自己刮脸吗()
A.能 B.不能 C.无结果
单项选择题公理化方法的发展大致经历了这样三个阶段(),用它们建构起来的理论体系典范分别对应的是《几何原本》、《几何基础》和ZFC公理系统。
A.实质公理化阶段、纯形式公理化阶段和形式公理化阶段 B.形式公理化阶段、实质公理化阶段和纯形式公理化阶段 C.实质公理化阶段、形式公理化阶段和纯形式公理化阶段 D.纯形式公理化阶段、形式公理化阶段和实质公理化阶段
单项选择题第二次数学危机,指发生在十七、十八世纪,围绕微积分诞生初期的基础定义展开的一场争论,这场危机最终完善了微积分的定义和与实数相关的理论系统,同时基本解决了第一次数学危机的关于无穷计算的连续性的问题,并且将微积分的应用推向了所有与数学相关的学科中。而这场争论是指()
A.无穷小量究竟是不是零 B.无穷小量是零 C.无穷大量究竟是不是有限 D.无穷大量究竟是很大的数