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

下列哪位中国数学家开辟了一条定理机械证明的代数化途径，他将证明的问题归结为纯代数问题，并有一整套高度机械化的代数关系整理程序。（）
A、吴文俊
B、华罗庚
C、陈景润
D、苏步青
正确答案：吴文俊