（填空题）
我国的著名数学家（）在机器证明数学问题上进行了卓有成效的工作。
正确答案
答案解析
略
相似试题
（单选题）
在1900年巴黎国际数学家大会上提出了23个著名的数学问题的数学家是（）.
（单选题）
德国著名数学家希尔伯特发表《数学问题》的著名演讲，提出的数学界面临的难以解决的问题有（），后来他又补充了两个问题。
（单选题）
（）在1900年巴黎国际数学家大会上做了《数学问题》的演说
（填空题）
1900年，德国数学家（）在巴黎国际数学家大会上提出了（）个尚未解决的数学问题，在整个二十世纪，这些问题一直激发着数学家们浓厚的研究兴趣。
（单选题）
中国数学史上最先完成勾股定理的证明出自（）
（单选题）
世界上最著名、最完整而且流传最广的数学著作是（）
（判断题）
学生学习遇到的数学问题也是数学史家历史上遇到的问题。
（单选题）
数学家（）在《勾股局域》阐述了勾股定理动态的证明方法。
（单选题）
在数学证明的发展中，是谁提出了证明是需要前提条件的（）
