单项选择题 在数学基础探讨过程中所形成的三大学派之一是（）

单项选择题 我国最古的一部算书——《算数书》是（）

单项选择题 下列哪位中国数学家开辟了一条定理机械证明的代数化途径，他将证明的问题归结为纯代数问题，并有一整套高度机械化的代数关系整理程序。（）