“算术相容性”在希尔伯特的“元数学”体系中,是一个不可判定命题,但是1936年数学家()证明了它
根岑
本题目来自[网课答案]本页地址:https://www.wkda.cn/ask/ejoyymtejxjyjoo.html
举一反三
- 在希尔伯特的“元数学”体系中,“算术相容性”是一个不可判定命题,但是1936年数学家()证明了它。
- 在希尔伯特的“元数学”体系中,“算术相容性”是一个不可判定命题,但是1936年数学家()证明了它。 A: 根岑 B: 胡尔维茨 C: 马克劳林 D: 鲁道夫
- “算术相容性” 在希尔伯特的“元数学”体系中,是一个不可判定命题,但是1936年数学家( )证明了它。 A: 鲁道夫 B: 根岑 C: 胡尔维茨 D: 马克劳林
- 在希尔伯特的“元数学”体系中,“算术相容性”是一个不可判定命题,但是1936年数学家( )证明了它 A: 根岑 B: 胡尔维茨 C: 马克劳林 D: 鲁道夫 E: 笛卡尔 F: 莱布尼兹
- “算术相容性”,本来在希尔伯特的“元数学”体系中是一个不可判定命题,哪位科学家证明了此命题
内容
- 0
一条数学定理是简单的,是指它的内容简明直观。尽管至今仍有数学家坚持认为,简单的数学定理一定存在简单的证明,但事实上,一些简单的数学定理需要非常复杂的证明。现在,不会有数学家会因为一条数学定理证明的复杂性而拒绝承认其真理性,但是,在半个世纪以前情况不是这样。当时有不少数学家不承认一条简单的映射定理,理由是它的证明尽管成立,但过于复杂。 如果上述断定为真,以下哪项一定为真 A: 一些复杂的数学定理不需要复杂的证明 B: 任何数学定理的证明都不是简单的 C: 一条数学定理,只要其证明成立,就一定会被所有数学家承认 D: 有的数学家认为,同一条数学定理可以有不同的证明 E: 在半个世纪以前,数学家都不认可复杂的数学证明
- 1
中国大学MOOC: 德国著名数学家希尔伯特在1900年举办的国际数学家大会中所提出的“算术公理的相容性 (the compatibility of the arithmetical axioms)”这一问题推动了可计算思想研究的深入。在希尔伯特所提出的这个问题中,一个算术公理系统是相容的需要满足三个特点。下面哪个描述不属于这三个特点之一( )
- 2
哥德尔第一定理表明,相容的体系存在不可判定的命题
- 3
数学中最先引入命题证明思想的数学家是----- A: 毕达哥拉斯 B: 欧几里得 C: 亚里士多德 D: 泰勒斯
- 4
在数学中引入逻辑证明,使数学构成一个严密的体系。因而被称为论证数学之父的是( )