从数学上奠定了可计算问题的理论基础的，或者说计算机的数学模型是____。

又出幺蛾子了，从数学上奠定了这个基础的是老冯，他提出的模型是图灵机，ε=(´ο｀*)))唉，我的阅读理解又报异常了，该咋修理？