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


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

A.鲁道夫

B.马克劳林

C.胡尔维茨

D.根岑

正确答案:A


Tag:希尔伯特 相容性 数学家 时间:2023-02-15 16:07:33