图灵机与计算机科学

图灵机 阿兰·麦席森·图灵AlanMathisonTuring,6月23日生于英国伦敦.是英国著名的数学家和逻辑学家,被称为计算机科学之父、人工智能之父,是计算机逻辑的奠基者,提出了“图灵机”和“图灵测试”等重要概念.人们为纪念其在计算机领域的卓越贡献而设立“图灵奖”.1937年,阿兰·麦席森·图灵发表的一篇文章“可计算性与λ可定义性”拓广了丘奇(Church)提出的“丘奇论点”,形成“丘奇-图灵

>>阅读原文<<