、“现代计算机之父”、“人工智能之父”是（），其提出的（）计算机理论模型为现代通用计算机的实现奠定了坚实的理论基础；其提出的（）思想是人工智能的直接起源之一