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

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

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