“算术相容性”在希尔伯特的“元数学”体系中,是一个不可判定命题,但是1936年数学家()证明了它。

题目
单选题
“算术相容性”在希尔伯特的“元数学”体系中,是一个不可判定命题,但是1936年数学家()证明了它。
A

鲁道夫

B

根岑

C

胡尔维茨

D

马克劳林

参考答案和解析
正确答案: C
解析: 暂无解析
如果没有搜索结果或未解决您的问题,请直接 联系老师 获取答案。
相似问题和答案

第1题:

十七世纪,法国的一位数学家在读古希腊数学家丢番图《算术》中的一个问题时,在旁边写下一段批注。由此引出了一个著名的定理。这位数学家是()

A.欧拉;

B.费马;

C.热尔曼;

D.勒让德。


参考答案:B

第2题:

十九世纪中叶,数学家布尔成功地将形式逻辑归结为一种代数运算;1937年数学家图灵提出了著名的“图灵机”模型,证明了通用数字计算机是可以制造出来的。这两位科学家的国籍是()

  • A、美国和英国
  • B、英国和美国
  • C、美国和美国
  • D、英国和英国

正确答案:D

第3题:

在1900年的巴黎国际数学家大会上,希尔伯特以他著名的25个问题揭开了20世纪数学的序幕。()

此题为判断题(对,错)。


参考答案:正确。

第4题:

在1900年巴黎国际数学家大会上提出了23个著名的数学问题的数学家是().

  • A、希尔伯特
  • B、庞加莱
  • C、罗素
  • D、F·克莱因

正确答案:A

第5题:

《九章算术》确定了中国古代数学的框架,不仅以()归纳体系、()内容、()方法为特点影响我国数学成就的建立,而且在培养和造就我国数学家方面起到了促进作用。


正确答案:开放的;算法化的;模型化的

第6题:

2013年单项选择数学家希尔伯特、华罗庚都是教育家。”由此可以推出的结论 是( )

A.数学家都是教育家 B.有的数学家是教育家
C.教育家都是数学家 D.教育家都不是数学家


答案:B
解析:

第7题:

德国数学家哥德巴赫于1742年6月7日在给大数学家欧拉的信中提出的,所以被称作“哥德巴猜想”被我国哪个数学家证明了"1+2"成立()

  • A、陈景润
  • B、华罗庚
  • C、王元

正确答案:A

第8题:

英国数学家图灵在()年提出了理想计算机模型。

A.1926

B.1932

C.1936

D.1938


答案:C

第9题:

“算术相容性”在希尔伯特的“元数学”体系中,是一个不可判定命题,但是1936年数学家()证明了它。

  • A、鲁道夫
  • B、根岑
  • C、胡尔维茨
  • D、马克劳林

正确答案:B

第10题:

九章算术》的内容分九章,全书共()问,魏晋时期的数学家()曾为它作注;


正确答案:246;刘徽

更多相关问题