什么奠定了计算机可计算性的理论基础（计算机的计算能力是由什么决定的）

图灵机计算模型对现代计算机的贡献主要是：建立了图灵机的理论模型，奠定了“可计算性”理论的基础；提出了图灵测试，阐述了机器智能的概念。

所谓的图灵机就是指一个抽象的机器，它有一条无限长的纸带，纸带分成了一个一个的小方格，每个方格有不同的颜色。有一个机器头在纸带上移来移去。机器头有一组内部状态，还有一些固定的程序。在每个时刻，机器头都要从当前纸带上读入一个方格信息，然后结合自己的内部状态查找程序表，根据程序输出信息到纸带方格上，并转换自己的内部状态，然后进行移动。

图灵机的意义：它证明了通用计算理论，肯定了计算机实现的可能性，同时它给出了计算机应有的主要架构；