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

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

A逻辑

B自洽

C自主

D自足

相似考题

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

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

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

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

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

  • 第1题：

    简单命题：不包含其他命题的命题，只能把它分析为不同的词项，不能再把它分析为其他 命题，因此又叫做“原子命题”。
    下列哪项不是简单命题？（ ）


    答案：D
    解析：
    根据定义可知，简单命题的要件是：不能再把它分析为其他命题。D项可分解为：小张高 和小张胖两个命题，不符合定义。故本题正确答案为D。

  • 第2题：

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


    正确答案:扩增；重排；基因组

  • 第3题：

    “算术相容性”在希尔伯特的“元数学”体系中，是一个不可判定命题，但是1936年数学家（）证明了它。

    • A、鲁道夫
    • B、根岑
    • C、胡尔维茨
    • D、马克劳林

    正确答案:B

  • 第4题：

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


    正确答案:《几何原本》

  • 第5题：

    下列关于X线性质的描述，哪项是不正确的（　）

    • A、X线与紫外线一样，均为电磁波
    • B、X线具有波动和微粒的二象性
    • C、X线的干涉与衍射现象，证明了它的波动性，康普顿效应则证明了它的微粒性
    • D、光电效应也证明了它的波动性
    • E、X线不具有质量和电荷

    正确答案:D

  • 第6题：

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

    逻辑

    B

    自洽

    C

    自主

    D

    自足


    正确答案： D
    解析： 暂无解析

  • 第7题：

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

    正确答案： 《算术研究》
    解析： 暂无解析

  • 第8题：

    单选题
    第一个证明了广义的连续统假设的相容性定理的人是（）
    A

    伽罗瓦

    B

    笛卡尔

    C

    克莱因

    D

    哥德尔


    正确答案： C
    解析： 暂无解析

  • 第9题：

    单选题
    自变量的特征不包括【 】
    A

    它的变化会导致研究对象发生反应

    B

    它的变化能够被研究者所操纵控制

    C

    它的变化使研究者无法做出正确判断和解释

    D

    它的变化是受计划安排，系统性变化的


    正确答案： A
    解析： 暂无解析

  • 第10题：

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


    答案：D
    解析：
    解析
    选项D属无中生有，在文段中未提及。本题要求选出不相符的。
    选项A由文段第一句“任何学说要成为科学理论，必要条件是它必须是可证伪的”可以得到；选项B由文段倒数第二句“即使成为科学的理论，某种意义上仍然是假说。”总结得到；选项C由文段最后一句“科学家的正确态度应该是，不断试图****自己建立的学说，寻求对自己学说的批评，探究更正确的学说”说明“不能把现有理论当作终极真理来顶礼膜拜”；
    故正确答案为D。

  • 第11题：

    爱迪生曾说：“我不打算发明任何卖不出的东西，因为不能卖出去的东西都没有达到成功的定点。能销售出去就证明了它的实用性，而实用性就是成功”，这句话体现了（）的重要性。

    • A、效益效率原则
    • B、系统辩证原则
    • C、比较优势原则
    • D、机理简单原则

    正确答案:C

  • 第12题：

    第一个证明了广义的连续统假设的相容性定理的人是（）

    • A、伽罗瓦
    • B、笛卡尔
    • C、克莱因
    • D、哥德尔

    正确答案:D

  • 第13题：

    关于现代兴起的系统论这一学科，正确的说法是（）

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

    正确答案:A,B,C,D

  • 第14题：

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


    正确答案:《算术研究》

  • 第15题：

    单选题
    李明极有可能是一位资深的逻辑学教师。李明像绝大多数资深的逻辑学教师一样，熟悉哥德尔的完全性定理和不完全性定理，而绝大多数不是资深的逻辑学教师的人并不熟悉这些定理。实际上，许多不是资深的逻辑学教师的人甚至没有听说过哥德尔。以下哪一项陈述准确地指出了上述推理的缺陷（）
    A

    忽视了这种可能性：大多数熟悉哥德尔这些定理的人不是资深的逻辑学教师。

    B

    忽视了这种可能性；有些资深的逻辑学教师不熟悉哥德尔的这些定理。

    C

    推理中“资深的”这一概念是模糊的概念。

    D

    不加证明就断定不熟悉哥德尔完全性定理和不完全性定理的人也没有听说过哥德尔。


    正确答案： A
    解析： 暂无解析

  • 第16题：

    单选题
    “算术相容性”在希尔伯特的“元数学”体系中，是一个不可判定命题，但是1936年数学家（）证明了它。
    A

    鲁道夫

    B

    根岑

    C

    胡尔维茨

    D

    马克劳林


    正确答案： C
    解析： 暂无解析

  • 第17题：

    单选题
    爱迪生曾说：“我不打算发明任何卖不出去的东西，因为不能卖出去的东西都没有达到成功的顶点。能销售出去就证明了它的实用性，而实用性就是成功”，这句话体现了（）的重要性。
    A

    系统辩证原则

    B

    比较优势原则

    C

    机理简单原则

    D

    效益效率原则


    正确答案： A
    解析： 暂无解析

  • 第18题：

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

    正确答案： 《几何原本》
    解析： 暂无解析

相关内容