十九世纪中叶，数学家布尔成功地将形式逻辑归结为一种代数运算；1937年数学家图灵提出了著名的“图灵机”模型，证明了通用数字计算机是可以制造出来的。这两位科学家的国籍是（）

A.美国和英国

B.英国和美国

C.美国和美国

D.英国和英国