4、计算机科学的奠基人是____。

**解析：** 本题考查的是计算机科学史上的关键人物及其贡献。 * **A. 查尔斯·巴贝奇 (Charles Babbage)**：设计了差分机和分析机，被誉为“计算机之父”或“通用计算机概念的提出者”，但他生活在机械计算机时代，并非现代电子计算机科学的理论奠基人。 * **B. 图灵 (Alan Turing)**：提出了“图灵机”模型，为现代计算机逻辑工作原理奠定了理论基础；同时提出了“图灵测试”，对人工智能领域也有深远影响。因此，他被广泛公认为**计算机科学的奠基人**和“计算机科学之父”。 * **C. 阿塔诺索夫 (John Atanasoff)**：设计了ABC计算机（Atanasoff-Berry Computer），这是世界上第一台电子数字计算机的原型，主要贡献在于硬件实现。 * **D. 冯·诺依曼 (John von Neumann)**：提出了“存储程序”原理（即冯·诺依曼架构），确立了现代计算机的基本结构，被誉为“现代计算机之父”，侧重于计算机体系结构的设计。 综上所述，从科学理论和计算模型的角度来看，图灵是计算机科学的奠基人。 **故正确答案为：B**