题目
A.哥德尔不完全定理说存在着命题在描述它的系统里就是不能证明其为真;
B.哥德尔不完全定理说存在着既不能证明其为真,也不能证明其为假的命题;
C.借助哥德尔的编码程序,关于自然数每个可能的命题本身又可表达为一个数;
D.哥德尔不完全定理说在一个一致的形式系统中一定存在着一个系统不能证明的命题。
第1题
A.哥德尔不完全定理说存在着命题在描述它的系统里就是不能证明其为真;
B.哥德尔不完全定理说存在着既不能证明其为真,也不能证明其为假的命题;
C.借助哥德尔的编码程序,关于自然数每个可能的命题本身又可表达为一个数;
D.哥德尔不完全定理说在一个一致的形式系统中一定存在着一个系统不能证明的命题。
第2题
A.哥德尔定理表明:相容的体系一定是不完全的
B.哥德尔定理表明:相容的体系一定含有“不可判定命题”
C.哥德尔是奥地利数学家
D.哥德尔定理表明:相容的体系一定是不独立的
E.公理化体系的相容性、独立性、完全性,有时是可以同时满足的
F.哥德尔不完全性定理并未得到严格的证明
第3题
A.哥德尔不完全性定理是最具重要意义的数学定理之一
B.哥德尔不完全性定理是属于某种否定性的结果
C.数学是绝对真理的化身
D.哥德尔不完全性定理是在哥德尔35岁时发表的
E.哥德尔不完全性定理发表的当年就受到数学家的广泛重视
F.哥德尔不完全性定理是哥德尔与另一位数学家联名发表的
第4题
A.哥德尔1906年出生在奥地利;
B.哥德尔1930年2月获博士学位;
C.哥德尔1930年宣布了他的第一个不完全性定理;
D.哥德尔1924年中学毕业后进入维也纳大学攻读数学。
第7题
A.不可判定命题通过扩大形式系统是可能证明或者证否的
B.判断一个命题的真伪,除了数学的方法外,还可以有非数学的方法
C.对于不可判定命题,数学家均无能为力
D.判断一个命题的真伪,只有数学推理的方法
E.哥德尔不完全性定理让许多数学家失去信心
F.哥德尔不完全性定理与公理化系统的思路是一致的
第10题
A.哥德尔不完全性定理把命题“正确”与“可证明”区别开来了
B.“可证明”的命题一定“正确”
C.“正确”的命题不一定“可证明”
D.“正确”的命题一定“可证明”
E.“不可证明”的命题一定“不正确”
F.命题“正确”与命题“可证明”是一回事
为了保护您的账号安全,请在“赏学吧”公众号进行验证,点击“官网服务”-“账号验证”后输入验证码“”完成验证,验证成功后方可继续查看答案!