阿兰·麦席森·图灵(Alan Mathison Turing)是计算机科学史上最具代表性的人物之一,他堪称现代计算机之父。
图灵提出的“图灵机”模型和“可计算性”理论,为计算机科学奠定了理论基础。在他的贡献下,计算机科学逐渐获得了科学地位,而不再只是一门手艺。
除此之外,阿兰·图灵还是二战期间英国加密研究中心(Bletchley Park)中的一名成员,他为破解纳粹德国的密码系统尤其是“恩尼格玛密码机”做出了巨大贡献。因此,图灵也被誉为“密码学之父”。
图灵还深刻地思考了“智能”的本质,为人工智能的发展做出了重要贡献。他超越了当时获得普遍认可的阴阳(即逻辑和真值)命题演算,把关注点从命题演算中“对”与“错”,转移到更通用的“可行性”和“不可行性”上。