哥德尔不完备性定理是他在1931年提出来的。这一理论使数学基础研究发生了划时代的变化，更是现代逻辑史上很重要的一座里程碑。它证明了任何一个形式系统，只要包括了简单的初等数论描述，而且是（）的，它必定包含某些系统内所允许的方法既不能证明真也不能证伪的命题。A、逻辑B、自洽C、自主D、自足
哥德尔不完备性定理是他在1931年提出来的。这一理论使数学基础研究发生了划时代的变化，更是现代逻辑史上很重要的一座里程碑。它证明了任何一个形式系统，只要包括了简单的初等数论描述，而且是（）的，它必定包含某些系统内所允许的方法既不能证明真也不能证伪的命题。
- A、逻辑
- B、自洽
- C、自主
- D、自足
相关考题：
据报载，著名物理学家、英国剑桥大学教授斯蒂芬·霍金宣布他已放弃对“万有理论”(TheoryofEverything)的追求，过去他认为人们很快就能找到一个至少能在原则上描述、预测宇宙中所有事物的终极“万有理论”，而现在他认为，人们永远都获得不了这样的理论。因为根据数学中的“哥德尔不完备性定理”，这样的理论根本就不可能有。根据这段文字，理解不正确的是（ ）。A．任何一种学科的发展都离不开其他学科的支持B．“哥德尔不完备性定理”比“万有理论”更加接近事物的真相 T--TC．追求真理的道路并不总是一帆风顺的D．霍金过往对“万有理论”的追求显示了人们不竭的探索精神
单选题哥德尔不完备性定理是他在1931年提出来的。这一理论使数学基础研究发生了划时代的变化，更是现代逻辑史上很重要的一座里程碑。它证明了任何一个形式系统，只要包括了简单的初等数论描述，而且是（）的，它必定包含某些系统内所允许的方法既不能证明真也不能证伪的命题。A逻辑B自洽C自主D自足
单选题李明极有可能是一位资深的逻辑学教师。李明像绝大多数资深的逻辑学教师一样，熟悉哥德尔的完全性定理和不完全性定理，而绝大多数不是资深的逻辑学教师的人并不熟悉这些定理。实际上，许多不是资深的逻辑学教师的人甚至没有听说过哥德尔。以下哪一项陈述准确地指出了上述推理的缺陷（）A忽视了这种可能性：大多数熟悉哥德尔这些定理的人不是资深的逻辑学教师。B忽视了这种可能性；有些资深的逻辑学教师不熟悉哥德尔的这些定理。C推理中“资深的”这一概念是模糊的概念。D不加证明就断定不熟悉哥德尔完全性定理和不完全性定理的人也没有听说过哥德尔。
单选题数学方法是西方科学中极其重要和不可或缺的方法。严谨和精确是科学精神的重要组成部分，而严谨和精确在很大程度上是由数学方法带来的。科学要求各种概念尽可能被定量且能以一定的精确性加以检验。定律和定理的精确性体现在它的数学表达上。实验测定值与定律和定理的数学推定值二者的符合或接近，是定律和定理得以成立的主要依据，也是定律和定理令人信服的主要原因。长期以来形成的观念是：一门学科如果不能“数学化”，就算不得精确学科，或被认为是不成熟的学科。对这段文字的主旨概括最准确的是（ ）。A数学化是衡量科研成果的标准B数学表达使定律和定理更精准C数学方法是使科学精准化的手段D数学的魅力在于严谨和精确