现代数理逻辑的四大分支是公理化集合论、证明论、模型论和哥德尔不完全性。() 此题为判断题(对,错)。
直觉主义的最重要缺陷是对哥德尔不完全性的否定。() 此题为判断题(对,错)。
宣布在多数票投票规则下,投票悖论无法避免,公共决策无法保证民主性的定理是()。 A、帕累托定理B、博尔达定理C、孔多赛定理D、阿罗不可能定理
马克思主义的认识论与哥德尔定理认为人类面对的有两个世界,是下述哪两个世界?()A、未来世界B、现实世界C、虚拟世界D、精神世界E、理念世界
无论是“说谎者悖论”,还是哥德尔的模仿,问题的核心都指向了()。A、自相矛盾B、自相抵消C、自我指谓D、不合情推理
逻辑系统的四大定理不包括()。A、一致性定理B、有效性定理C、可靠性定理D、不完全性定理
哥德尔不完全性定理一举粉碎了数学家两千年来的信念。他告诉我们:真与可证是两个概念()某种意义上,悖论的阴影将永远伴随着我们。
外部性问题的矛盾内部化的原理被称为()A、科斯定理B、搭便车C、道德风险D、诺斯悖论
第一个证明了广义的连续统假设的相容性定理的人是()A、伽罗瓦B、笛卡尔C、克莱因D、哥德尔
勾股定理在西方也被称作()。A、毕达哥拉斯定理B、费马大定理C、阿基米德定理D、芝诺悖论
悖论是必然存在的原理是()A、哥德尔不完全定理B、黑箱理论C、耗散结构理论D、建构主义
说明真与可证是两个概念,可证一定是真的,真的不一定可证的理论是()A、哥德尔不完全定理B、黑箱理论C、耗散结构理论D、建构主义
罗素的“理发师悖论”是指()A、哥德尔不完全定理B、黑箱理论C、耗散结构理论D、建构主义
从语义的角度区分了句子的阶层,认为语义悖论可以通过区分对象语言和元语言来解决的是()。A、康德尔B、塔尔斯基C、哥德尔D、布拉里•福蒂
()从语义的角度区分了句子的阶层,认为语义悖论可以通过区分对象语言和元语言来解决。A、康德尔B、塔尔斯基C、哥德尔D、布拉里·福蒂
证明不完全性定理的人是()A、伽罗瓦B、伯奈斯C、哥德尔D、爱因斯坦
单选题无论是“说谎者悖论”,还是哥德尔的模仿,问题的核心都指向了()。A自相矛盾B自相抵消C自我指谓D不合情推理
单选题李明极有可能是一位资深的逻辑学教师。李明像绝大多数资深的逻辑学教师一样,熟悉哥德尔的完全性定理和不完全性定理,而绝大多数不是资深的逻辑学教师的人并不熟悉这些定理。实际上,许多不是资深的逻辑学教师的人甚至没有听说过哥德尔。以下哪一项陈述准确地指出了上述推理的缺陷()A忽视了这种可能性:大多数熟悉哥德尔这些定理的人不是资深的逻辑学教师。B忽视了这种可能性;有些资深的逻辑学教师不熟悉哥德尔的这些定理。C推理中“资深的”这一概念是模糊的概念。D不加证明就断定不熟悉哥德尔完全性定理和不完全性定理的人也没有听说过哥德尔。
单选题逻辑系统的四大定理不包括()。A一致性定理B有效性定理C可靠性定理D不完全性定理
单选题外部性问题的矛盾内部化的原理被称为()A科斯定理B搭便车C道德风险D诺斯悖论
单选题资本结构无关定理(MM定理)的前提是( )。Ⅰ.资本自由进出Ⅱ.平等地获得信息Ⅲ.不存在交易成本Ⅳ.不存在税收AⅠ、Ⅱ、ⅣBⅠ、Ⅱ、Ⅲ、ⅣCⅠ、Ⅱ、ⅢDⅠ、Ⅲ、Ⅳ
单选题第一个证明了广义的连续统假设的相容性定理的人是()A伽罗瓦B笛卡尔C克莱因D哥德尔
填空题哥德尔不完全性定理一举粉碎了数学家两千年来的信念。他告诉我们:真与可证是两个概念()某种意义上,悖论的阴影将永远伴随着我们。
单选题勾股定理在西方也被称作()。A毕达哥拉斯定理B费马大定理C阿基米德定理D芝诺悖论
单选题证明不完全性定理的人是()A伽罗瓦B伯奈斯C哥德尔D爱因斯坦
单选题从语义的角度区分了句子的阶层,认为语义悖论可以通过区分对象语言和元语言来解决的是()。A康德尔B塔尔斯基C哥德尔D布拉里•福蒂
单选题()从语义的角度区分了句子的阶层,认为语义悖论可以通过区分对象语言和元语言来解决。A康德尔B塔尔斯基C哥德尔D布拉里·福蒂