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

• A、美国和英国
• B、英国和美国
• C、美国和美国
• D、英国和英国