( )被称为“计算机科学之父”？他提出了一个后人以他命名的计算模型，探索了自动计算的极限：凡是该机解决不了的问题，任何算法也解决不了。 A. 查理斯·巴贝奇 B. 艾伦·图灵 C. 冯·诺依曼 D. 布莱士·帕斯卡