106年前的6月23日,阿兰·麦席森·图灵在英国伦敦出生。
阿兰·麦席森·图灵(Alan Mathison Turing),生于1912年6月23日,被誉为“计算机科学之父”和“人工智能之父”。他出生于英国帕丁顿,1931年进入剑桥大学国王学院,师从著名数学家哈代,1938年在美国普林斯顿大学取得博士学位,二战爆发后返回剑桥,曾经协助军方破解德国的著名密码系统Enigma,帮助盟军取得了二战的胜利。图灵因此在1946年获得“不列颠帝国勋章”。
图灵机意义——探索计算的极限
图灵机模型是目前为止最为广泛应用的经典计算模型。目前尚无找到其它的计算模型(包括量子计算机在内),可以计算图灵机无法计算的问题。图灵停机问题开启了可计算性理论的序幕,这是计算学科最核心的理论之一。并提出了可以用计算机解决的问题的判定方法,为计算机编程语言的发展奠定了基础。
此外,图灵机为现代计算机提供了理论原型。通用图灵机U,把另外一台图灵机A的编码A’作为输入的一部分,模拟执行A的计算过程,为计算机编程语言的发展奠定了理论基础。一个硬件的机器A,比如,A可能是专门计算加法的机器,被软件A’在U上模拟了;另一个计算乘法机器B,也可通过软件B’在U上模拟实现。只要配上适当的软件,U可以做任何计算。通用图灵机U,是现代通用计算机的理论原型,为现代计算机指明了发展方向,肯定了现代计算机实现的可能性。
留言与评论(共有 0 条评论) |