图灵机勃 http://robolab.sjtu.edu.cn ?图灵将其作为模拟人的思维活动的模型，凡是可以用图灵机 来计算的函数都是可计算的。 冬图灵用这个模型证明了不可计算数（也就是不可用图灵机的 算法来表达)的存在。 冬由此建立了可计算性理论。 tic-tac-toe × XOO O× computer 0 21 RIR.SJTU图 灵 机 (续)  图灵将其作为模拟人的思维活动的模型，凡是可以用图灵机 来计算的函数都是可计算的。  图灵用这个模型证明了不可计算数（也就是不可用图灵机的 算法来表达）的存在。  由此建立了可计算性理论。 21 http://robolab.sjtu.edu.cn RIR.SJTU