可考证的提出计算机根本的数学进制理论的人是（）。

A.阿兰?图灵

B.莱布尼茨

C.比尔?盖茨

D.冯?诺依曼

正确答案：A