题目内容
(请给出正确答案)
[单选题]
德国著名数学家希尔伯特在1900年举办的国际数学家大会中所提出的“算术公理的相容性(the compa
A.可判定性,即算法在有限步内判定命题的真伪
B.完备性,即所有能够从该形式化系统推导出来的命题,都可以从这个形式化系统推导出来
C.一致性,即一个命题不可能同时为真或为假
D.复杂性,即算法性能与输入数据大小相关
答案
查看答案
A.可判定性,即算法在有限步内判定命题的真伪
B.完备性,即所有能够从该形式化系统推导出来的命题,都可以从这个形式化系统推导出来
C.一致性,即一个命题不可能同时为真或为假
D.复杂性,即算法性能与输入数据大小相关
第3题
A.黎曼;
B.克莱因;
C.希尔伯特;
D.朗兰兹。
第5题
“数学家希尔伯特、华罗庚都是教育家”,由此可以推论出()。
A.数学家都是教育家
B.有的数学家不是教育家
C.教育家都是数学家
D.数学家都不是教育家
第9题
A.统治阶级提倡加强军事力量振兴德国
B.德国在国际竞争中受到仇视
C.统治者要使德国走上军国主义的发展道路
D.统治者准备用增强军事力量来提高国际地位
第10题
A.意大利数学家塔塔利亚
B.德国数学家雷格蒙塔努斯
C.意大利数学家费拉里
D.法国数学家韦达