单项选择题 罗素和怀特海于191913年合著的《数学原理》一书，被公认为是自（）以来对逻辑学的最伟大贡献之一。

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

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