单选题 对于中学数学教学，现在的共识是，中学数学固然能培养逻辑思维能力，但最重要的是培养学生观察、分析和解决问题的数学（ ）、数学意识、数学方法。

单选题 法国拓扑学家Thom说：数学论文应该有三种形式， 一是摇篮，即是在发展中的，是不成熟的，但却是有创意的；二是（ ），即证明性的文章，比较死板的；三是教堂，即评论性的文章。这样数学才能蓬勃发展，因为这样就有了活跃的思维，严格的证明，以及评论。

单选题 关于逻辑在数学中的作用，英国数学家F.Klein说：“数学的进展，主要归功于那些以数学（ ）而著称的人，他们多于那些以严谨证明而著称的人。”

单选题 1970年代以来，吴文俊开始研究计算机证明问题，他所提出的机械化方法，国外称之为“（ ）方法”。吴文俊研究的几何定理的机器证明，适用于某一种几何的所有定理，只要依照他所说的方法机械地进行，在有限步之后，就可以对整个一类定理得到统一的证真或证伪，而且不分难易。

单选题 关于逻辑在数学中的作用，数学家H.Weyl说：“逻辑是数学家为了保持（ ）健康而遵守的卫生法则，但这并不是说，数学的目的是为了单纯培养逻辑。”

单选题 关于逻辑在数学中的作用，数学家Lebesgue说：“有了新的发现，就需要引进逻辑化的（ ），逻辑的作用再重要，毕竟是次要的。”

单选题 目前，中国数学学派用计算机证明数学命题的主要代表人物是：吴文俊，石赫，张景中，杨骆，洪加威等人，他们的方法在世界上被称为（ ）方法。

单选题 数学家洪加威的（ ）法证明，给恒等式的证明提供了很宽泛的空间，打破了人们千百年来的习惯，受到了很多人的关注。