十九世纪中叶,数学家布尔成功地将形式逻辑归结为一种代数运算;1937年数学家图灵提出了著名的“图灵机”模型,证明了通用数字计算机是可以制造出来的。这两位科学家的国籍是()
A:美国和英国
B:英国和美国
C:美国和美国
D:英国和英国
出自:计算机维修工