算法的过程称为“数学机械化”，数学机械化的最大优点是可以让计算机来完成．中国当代数学家在这方面的研究处世界领先地位，为此而获得首届自然科学 500 万大奖的是

[ 　　 ]

A ．袁隆平

B ．华罗庚

C ．苏步青

D ．吴文俊