相关考题
-
单项选择题
“算术相容性”在希尔伯特的“元数学”体系中，是一个不可判定命题，但是1936年数学家（）证明了它。
A.鲁道夫
B.根岑
C.胡尔维茨
D.马克劳林 -
单项选择题
美国数学家（）于1980年出版了著作《数学：确定性的丧失》。
A.诺伯特·维纳
B.约翰·福布斯·纳什
C.F·克莱因
D.M·克莱因 -
判断题
哥德尔定理，证明了公理化体系对逻辑的三个基本要求存在无法同时满足的问题。
