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

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

此题为判断题(对，错)。

相似考题

1.下列选项中,不属于希尔伯特提出的选择和组织公理系统的原则的是()。A.一致性B.相容性C.独立性D.完备性

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

3.25、下列说法中，正确的有：A．哥德尔不完全性定理揭示了形式化方法的局限性B．哥德尔不完全性定理的核心是认为：形式化系统中矛盾的症结在于“自我指谓”C．数学这棵大树是向两个方向生长的。它既向上生长，去研究宇宙的深度；也向下生长，去研究人类自身理性思维的深度D．形式的公理系统所要求的完全性是指该形式系统中所有命题都能判定“真伪”E．数学的唯一任务是逻辑推理F．公元前300年，欧几里得的《几何基础》开创了公理化方法G．任何形式系统中的命题，要么可被证明为对，要么可被证明为错H．公理化集合论中有不可判定命题

4.在()中,伯努利提出了新的概念和定理,尤其是在此书巾论证了概率论最重要的定律之一—“大数定律”,并给出了证明,这使建立在经验之上的频率稳定性推测进一步理论化了。A.《猜度术》B.《机遇原理》C.《或然算术试验》D.《论赌博中的计算》

更多“递归论定理指出了形式系统的相容性在本系统内不能证明,使希尔伯特纲领受到了沉重的打击。() ”相关问题

  • 第1题：

    【多选题】霍金的主要成就是（).

    A．提出了宇宙监督建设

    B．证明了奇点定理

    C．证明了面积定理

    D．证明了黑洞存在热辐射


    BCD

  • 第2题：

    10、希尔伯特在历史上第一次明确地提出了选择和组织公理系统的原则，即：

    A．相容性

    B．完备性

    C．独立性

    D．确定性


    ABC

  • 第3题：

    5、哥德尔不完全性定理说明（)是不可能完成的。

    A．黎曼积分；

    B．形式系统；

    C．希尔伯特问题；

    D．希尔伯特纲领。


    希尔伯特纲领。

  • 第4题：

    9、下列关于哥德尔不完全定理的描述中不正确的一项是？

    A．哥德尔不完全定理说存在着命题在描述它的系统里就是不能证明其为真；

    B．哥德尔不完全定理说存在着既不能证明其为真，也不能证明其为假的命题；

    C．借助哥德尔的编码程序，关于自然数每个可能的命题本身又可表达为一个数；

    D．哥德尔不完全定理说在一个一致的形式系统中一定存在着一个系统不能证明的命题。


    哥德尔不完全定理说存在着既不能证明其为真，也不能证明其为假的命题；

  • 第5题：

    6、《红楼梦》版本的两大系统是指：

    A．庚辰本系统

    B．脂评本系统

    C．戚蓼生序本

    D．程本系统


    脂评本系统;程本系统

相关内容