填空题

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

正确答案

来源:www.examk.com

答案解析

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

    单选题查看答案

  • 德国著名数学家希尔伯特发表《数学问题》的著名演讲,提出的数学界面临的难以解决的问题有(),后来他又补充了两个问题。

    单选题查看答案

  • ()在1900年巴黎国际数学家大会上做了《数学问题》的演说

    单选题查看答案

  • 1900年,德国数学家()在巴黎国际数学家大会上提出了()个尚未解决的数学问题,在整个二十世纪,这些问题一直激发着数学家们浓厚的研究兴趣。

    填空题查看答案

  • 中国数学史上最先完成勾股定理的证明出自()

    单选题查看答案

  • 世界上最著名、最完整而且流传最广的数学著作是()

    单选题查看答案

  • 学生学习遇到的数学问题也是数学史家历史上遇到的问题。

    判断题查看答案

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

    单选题查看答案

  • 在数学证明的发展中,是谁提出了证明是需要前提条件的()

    单选题查看答案