在数学证明的发展中，是谁提出了证明是需要前提条件的（）

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

单选题查看答案

数学证明最早是（）提出来的。

单选题查看答案

数学中一个“小理论”的证明可能会需要好几代人来完成。

判断题查看答案

我国的著名数学家（）在机器证明数学问题上进行了卓有成效的工作。

填空题查看答案

数学家（）在《勾股局域》阐述了勾股定理动态的证明方法。

单选题查看答案

古代数学家（）注释过《周髀算经》，此《周髀算经》注中对勾股定理进行了一般表述，并作了构造性证明，这也是中国数学家对此定理的数学证明。

填空题查看答案

最早证明了有理数集是可数集的数学家是（）.

单选题查看答案

哪位数学家证明了在圆柱内嵌一个球，圆柱的体积和球的体积的比是3：2（）

单选题查看答案

数学家欧几里德运用（）方法证明了正弦定理。

单选题查看答案