艾伦·图灵提出了图灵机的概念，为计算机理论奠定了基础，因此被誉为计算机科学的奠基人之一。