20世纪40年代，英国数学家（）提出了图灵机理论，它是计算机的理论模型和数学模型。

20世纪40年代，英国数学家（）提出了图灵机理论，它是计算机的理论模型和数学模型。
A.冯.诺伊曼
B.阿兰.图灵
C.哥登.摩尔
D.查尔斯.巴贝奇
正确答案：B