哥德尔不完备性定理是他在1931年提出来的。这一理论使数学基础研究发生了划时代的变化,更是现代逻辑史上很重要的一座里程碑。它证明了任何一个形式系统,只要包括了简单的初等数论描述,而且是()的,它必定包含某些系统内所允许的方法既不能证明真也不能证伪的命题。A逻辑B自洽C自主D自足

哥德尔不完备性定理是他在1931年提出来的。这一理论使数学基础研究发生了划时代的变化,更是现代逻辑史上很重要的一座里程碑。它证明了任何一个形式系统,只要包括了简单的初等数论描述,而且是()的,它必定包含某些系统内所允许的方法既不能证明真也不能证伪的命题。

A逻辑

B自洽

C自主

D自足


参考解析

相关考题:

递归论定理指出了形式系统的相容性在本系统内不能证明,使希尔伯特纲领受到了沉重的打击。() 此题为判断题(对,错)。

关于现代兴起的系统论这一学科,正确的说法是( )。A.它扬弃了先分析后综合的传统科学方法,开拓了从整体出发、在整体与部分的有机联系中认识把握事物的新方法B.它要求人们综合地系统考察事物,并在动态中协调整体与部分的关系,使部分的功能向总体目标的最优化方向发展C.它运用和证明了辩证法关于普遍联系的原理D.它有力地驳斥了孤立、片面地认识事物的形而上学的观点

据报载,著名物理学家、英国剑桥大学教授斯蒂芬·霍金宣布他已放弃对“万有理论”(TheoryofEverything)的追求,过去他认为人们很快就能找到一个至少能在原则上描述、预测宇宙中所有事物的终极“万有理论”,而现在他认为,人们永远都获得不了这样的理论。因为根据数学中的“哥德尔不完备性定理”,这样的理论根本就不可能有。根据这段文字,理解不正确的是( )。A.任何一种学科的发展都离不开其他学科的支持B.“哥德尔不完备性定理”比“万有理论”更加接近事物的真相 T--TC.追求真理的道路并不总是一帆风顺的D.霍金过往对“万有理论”的追求显示了人们不竭的探索精神

现代逻辑是以19世纪中期粗线的数理逻辑为起点的,它使用特别符号和形式系统的方法来研究演绎推理及逻辑规律,是传统形式逻辑的直接延续和( )。A延伸B变革C发展D变化

简单命题:不包含其他命题的命题,只能把它分析为不同的词项,不能再把它分析为其他 命题,因此又叫做“原子命题”。下列哪项不是简单命题?( )

波普尔提出了“可证伪性”理论,他认为任何学说要成为科学理论,必要条件是它必须是可证伪的,也就是说可以通过反例来证明其伪。“天鹅是白的”这个命题是可证伪的,如果找到一只黑天鹅,这个命题就会被证明是错的;“如果我从小开始学钢琴,现在一定能够成为一名钢琴家”,这个命题是不可证伪的,现在的“我”无法重新走一遍人生,也就无法验证其真伪。只有经过多次验证,不能被推翻的理论才能成为科学。即使成为科学的理论,某种意义上仍然是假说。科学家的正确态度应该是,不断试图推翻自己建立的学说,寻求对自己学说的批评、探究更正确的学说。唯有此,才能不断接近真理。与这段文字中波普尔的理论不相符的是:A可证伪性是科学与非科学理论的分界标准B任何科学理论都是针对问题所作的一种假说C在科学活动中不能把现有理论当作终极真理来顶礼膜拜D任何事物的内在规律或“本质”都是可以认识和可预见的

DNA水平的调控是真核生物发育调控的一种形式,它包括了基因丢失、()、()、和易位等方式,通过这些方式可以消除或变换某些基因并改变它们的活性。这些调控方式与转录及翻译水平的调控是不同的,因为它使()发生了改变。

爱迪生曾说:“我不打算发明任何卖不出的东西,因为不能卖出去的东西都没有达到成功的定点。能销售出去就证明了它的实用性,而实用性就是成功”,这句话体现了()的重要性。A、效益效率原则B、系统辩证原则C、比较优势原则D、机理简单原则

“算术相容性”在希尔伯特的“元数学”体系中,是一个不可判定命题,但是1936年数学家()证明了它。A、鲁道夫B、根岑C、胡尔维茨D、马克劳林

第一个证明了广义的连续统假设的相容性定理的人是()A、伽罗瓦B、笛卡尔C、克莱因D、哥德尔

欧几里得把形式逻辑的公理演绎方法应用于几何学,从而完成了数学史上具有划时代意义的重要著作()

关于现代兴起的系统论这一学科,正确的说法是()A、它扬弃了先分析后综合的传统科学方法,开拓了从整体出发、从整体与部分的有机联系中认识把握事物的新方法B、它要求人们综合地系统考察事物,并在动态中协调整体与部分的关系,使部分的功能向总体目标的最优化方向发展C、它运用和证明了辩证法关于普遍联系的原理D、它有力地驳斥了孤立、片面地认识事物的形而上学观点

下列关于X线性质的描述,哪项是不正确的( )A、X线与紫外线一样,均为电磁波B、X线具有波动和微粒的二象性C、X线的干涉与衍射现象,证明了它的波动性,康普顿效应则证明了它的微粒性D、光电效应也证明了它的波动性E、X线不具有质量和电荷

高斯发表的论文()是数学史上为数不多的经典著作之一,它开辟了数论研究的全新时代。

单选题哥德尔不完备性定理是他在1931年提出来的。这一理论使数学基础研究发生了划时代的变化,更是现代逻辑史上很重要的一座里程碑。它证明了任何一个形式系统,只要包括了简单的初等数论描述,而且是()的,它必定包含某些系统内所允许的方法既不能证明真也不能证伪的命题。A逻辑B自洽C自主D自足

单选题李明极有可能是一位资深的逻辑学教师。李明像绝大多数资深的逻辑学教师一样,熟悉哥德尔的完全性定理和不完全性定理,而绝大多数不是资深的逻辑学教师的人并不熟悉这些定理。实际上,许多不是资深的逻辑学教师的人甚至没有听说过哥德尔。以下哪一项陈述准确地指出了上述推理的缺陷()A忽视了这种可能性:大多数熟悉哥德尔这些定理的人不是资深的逻辑学教师。B忽视了这种可能性;有些资深的逻辑学教师不熟悉哥德尔的这些定理。C推理中“资深的”这一概念是模糊的概念。D不加证明就断定不熟悉哥德尔完全性定理和不完全性定理的人也没有听说过哥德尔。

填空题高斯发表的论文()是数学史上为数不多的经典著作之一,它开辟了数论研究的全新时代。

单选题“算术相容性”在希尔伯特的“元数学”体系中,是一个不可判定命题,但是1936年数学家()证明了它。A鲁道夫B根岑C胡尔维茨D马克劳林

单选题第一个证明了广义的连续统假设的相容性定理的人是()A伽罗瓦B笛卡尔C克莱因D哥德尔

单选题爱迪生曾说:“我不打算发明任何卖不出去的东西,因为不能卖出去的东西都没有达到成功的顶点。能销售出去就证明了它的实用性,而实用性就是成功”,这句话体现了()的重要性。A系统辩证原则B比较优势原则C机理简单原则D效益效率原则

单选题自变量的特征不包括【 】A它的变化会导致研究对象发生反应B它的变化能够被研究者所操纵控制C它的变化使研究者无法做出正确判断和解释D它的变化是受计划安排,系统性变化的

填空题欧几里得把形式逻辑的公理演绎方法应用于几何学,从而完成了数学史上具有划时代意义的重要著作()