图灵机(续勉 http://robolab.sjtu.edu.cn ?图灵将其作为模拟人的思维活动的模型,凡是可以用图灵机 来计算的函数都是可计算的。 冬图灵用这个模型证明了不可计算数(也就是不可用图灵机的 算法来表达)的存在。 冬由此建立了可计算性理论。 tic-tac-toe O × XOO O× computer 0 16 RIR.SJTU
图 灵 机 (续) 图灵将其作为模拟人的思维活动的模型,凡是可以用图灵机 来计算的函数都是可计算的。 图灵用这个模型证明了不可计算数(也就是不可用图灵机的 算法来表达)的存在。 由此建立了可计算性理论。 16 http://robolab.sjtu.edu.cn RIR.SJTU
图灵其人 http://robolab.sjtu.edu.cn 冬关于图灵(Tur ing)其人 冬阿伦.图灵(A|anM.Turing)1912年成月23日生于伦敦近郊。 冬因父母远在印度,小的时候缺少父爱和母爱,性格和行为怪癖 (今天的留守儿童)。 中学时期,除了数学,成绩一般,1931年中学毕业,二次没有 考上当时最负盛名的”三圣学院“,最后进了King's College 攻读数学,数学才华开始显露。 17 RIR.SJTU
图灵其人 关于图灵(Turing)其人 阿伦.图灵(Alan M. Turing)1912年成月23日生于伦敦近郊。 因父母远在印度,小的时候缺少父爱和母爱,性格和行为怪癖 (今天的留守儿童)。 中学时期,除了数学,成绩一般,1931年中学毕业,二次没有 考上当时最负盛名的”三圣学院“,最后进了King’s College 攻读数学,数学才华开始显露。 17 http://robolab.sjtu.edu.cn RIR.SJTU