总的来说，计算机科学理论的奠基人是图灵。 图灵是现代计算机设计思想的创始人,1936年，图灵向伦敦权威的数学杂志投了一篇论文，题为《论数字计算在决断难题中的应用》。在这篇开创性的论文中，图灵给“可计算性”下了一个严格的数学定义，并提出著名的“图灵机”(Turing Machine)的设想。“图灵机”不是一种具体的机器，而是一种思想模型,这一理论奠定了整个现代计算机的理论基础。
