对哥德尔第一定理提出的问题,数学家也想到了补救方法,灵感主要来源于1936年（)证明了算数相容性。

A.黎曼积分

B.形式系统

C.希尔伯特问题

D.希尔伯特纲领

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

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

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

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

A.A.可判定性，即算法在有限步内判定命题的真伪

B.B.完备性，即所有能够从该形式化系统推导出来的命题，都可以从这个形式化系统推导出来

C.C.一致性，即一个命题不可能同时为真或为假

D.D.复杂性，即算法性能与输入数据大小相关

A.前苏联数学家柯尔莫戈洛夫

B.英国数学家牛顿

C.德国数学家莱布尼茨

D.德国数学家希尔伯特

A.莱布尼兹

B.希尔伯特

C.冯·诺依曼

D.克莱因

A.吴文俊

B.苏步青

C.陈景润

D.华罗庚

A.运算器

B.模拟器

C.控制器

D.图灵机

A.马歇尔冲突

B.筱原的基准

C.霍夫曼定理

D.配第-克拉克定理

A.荷兰数学家弗赖登塔尔

B.美国数学家斯蒂恩

C.德国数学家F•克莱因

D.法国数学家庞加莱

A.内部服务补救问题

B.有效授权不足的问题

C.服务补救并不总是有效的

D.满足顾客的无理要求