图灵机勃 http://robolab.sjtu.edu.cn 冬图灵将其作为模拟人的思维活动的模型，凡是可以用图灵机 来计算的函数都是可计算的。 冬图灵用这个模型证明了不可计算数（也就是不可用图灵机的 算法来表达)的存在。 冬由此建立了可计算性理论。 tic-tac-toe × ×OO computer ties player 0 0 16 RIR.SJTU
图 灵 机 (续) 图灵将其作为模拟人的思维活动的模型，凡是可以用图灵机 来计算的函数都是可计算的。 图灵用这个模型证明了不可计算数（也就是不可用图灵机的 算法来表达）的存在。 由此建立了可计算性理论。 16 http://robolab.sjtu.edu.cn RIR.SJTU
图灵其人 http://robolab.sjtu.edu.cn 冬关于图灵(Tur ing),其人 阿伦.图灵(Alan M.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
图灵其人勉 http://robolab.sjtu.edu.cn 由于图灵在可计算性方面的伟大的工作，ACM在1966年纪念计 算机诞生20周年（世界第一台电子计算机ENIAC)的时候，决定 设立一个奖项，称为“图灵奖”，以纪念奠定了现代计算机 理论和模型的伟大科学家，这个奖被认为是计算机学科的诺 贝尔奖。 冬图灵的工作受到了美国学术界的高度关注，普林斯顿大学的 Church教授向他发出了邀请，1938年图灵在该校获得博士学 位。 ACM图灵奖 一廿单发安的能一 新知间州时 年时d的 18 RIR.SJTU
图 灵 其 人 (续) 由于图灵在可计算性方面的伟大的工作，ACM在1966年纪念计 算机诞生20周年(世界第一台电子计算机ENIAC)的时候,决定 设立一个奖项，称为“图灵奖”，以纪念奠定了现代计算机 理论和模型的伟大科学家，这个奖被认为是计算机学科的诺 贝尔奖。 图灵的工作受到了美国学术界的高度关注，普林斯顿大学的 Church教授向他发出了邀请，1938年图灵在该校获得博士学 位。 18 http://robolab.sjtu.edu.cn RIR.SJTU