奠定了理论计算机基础的科学家是（ ）。