解释|阿兰·图灵是谁？苹果LOGO设计理念就是来源与他! 图灵|诺伊曼|图灵机|阿兰·图灵

对于现今热得发烫的苹果品牌，很多人会提出同样一个问题，当初徽标中的苹果为什么会被咬了一口呢？最耐人寻味的解释是，它的设计来源于对计算机鼻祖阿兰·图灵的纪念。

文章插图
早在2003年，苹果电脑国际有限公司对其沿用至今的标识进行了更新，将原有的彩色苹果换成了一个半透明的、泛着金属光泽的银灰色标识。新的标识显得更为立体、时尚和新潮，也更符合苹果旗下的两个具有重要影响力的产品iTunes和iPod致力服务于年轻一代消费者的审美和创新的感觉。而更多人则会提出一个同样的问题：当初徽标中的苹果为什么被咬了一口呢？对此的解释有很多种：一种解释认为，苹果在希腊神话中是智慧的象征，当初亚当和夏娃就是吃了苹果才变得有思想，现在引申为科技的未知领域，代表电脑的智能化性能，恰似彩虹的色彩一样，具有多样性，表明了他们勇于向科学进军，探索未知领域的理想；而熟悉苹果背景的人将它解释为代表了活力和朝气，可以引起好奇和疑问；还有种有趣的说法，认为是由于英文的咬字（bite）与计算机的基本运算单位字节（Byte）同音；不过最耐人寻味的解释是，它的设计来源于对计算机鼻祖阿兰·图灵的纪念。那么图灵又是何许人也？他与电脑又有何种渊源？苹果图标又与他有什么关联呢？

文章插图
图灵作为计算机科学界的先驱和天才，在人们好奇的追溯中变得清晰，并且让人肃然起敬。事实上，对于被公认为20世纪最著名和最杰出的数学家之一，图灵在计算机界早就声名显赫，用无人不知、无人不晓来形容毫不夸张，这都源于图灵对于计算机领域的前瞻性设想。从如今的电脑时代就能轻易判断，图灵对于人类社会作出的无与伦比的巨大成就和贡献。我们都知道世界上第一台通用电子计算机的设计师是冯·诺伊曼，正因为他的设计，使得人类社会迈入了一个崭新的时代，所以冯·诺伊曼得到人们的一致推崇，被誉为“计算机之父”。然而冯·诺伊曼却不止一次地说过：图灵才是现代计算机设计思想的创始人，自己的成功完全是建立在图灵思想上的发展创造。冯·诺依曼把“计算机之父”的桂冠戴在比自己小10岁的图灵头上，足见图灵对计算机科学影响之巨大。阿兰·图灵1912年6月23日出生于英国伦敦。少年时代的他就已经表现出对数学和自然科学的偏好。1931年，图灵进入著名的剑桥大学专修数学。起初他成绩平平并不引人注目，但升入三年级后，他的才华如同积蕴的火山喷发，如同汹涌的海浪奔腾，真可谓：不鸣则已，一鸣惊人。他的杰出才能赢得了师友们的称赞和赏识，毕业后留校当了助教。当时20世纪的数学界，正在热烈讨论本世纪最伟大的科学发现之一 ——昆特·哥德尔的不完全性定理。在那以前，数学家们总认为，一个数学问题虽然要找到答案会很困难，但理论上总有一个确定的答案，一个数学命题，要么是真的，要么是假的。而哥德尔的不完全定理却指出：在一个稍微复杂一点的数学公理系统中，总存在那样的命题，我们既不能证明它是真的，也不能证明它是假的。这着实让数学家们大吃一惊，因为大家发现以往认为绝对严密的数学中，原来有令人如此不安的不确定性。每个逻辑学家都在苦苦思索，试图为陷入危机的数学找到一条出路，他们包括当时在剑桥的贝特朗·罗素、阿尔弗雷德·怀特海、路德维格·维特斯根坦等著名的逻辑学家。这时正在剑桥求学的图灵，也同样为此问题陷入苦苦的思考。1936年，年仅24岁的图灵做出了他一生最重要的科学贡献。他在其著名的论文《论可计算数在判定问题中的应用》一文中，以布尔代数为基础，将逻辑中的任意命题用一种通用的机器来表示和完成，并能按照一定的规则推导出结论。这篇论文被誉为现代计算机原理的开山之作，它描述了一种假想的可实现通用计算的机器，后人称之为“图灵机”。

文章插图
所谓“图灵机”，指的是一种理想的机器。它由三部分构成：一台控制机、一条两端无限长的工作带和一个读写头。带子上分成了许多小格，每一小格存一个符号，读写头沿着纸带左右移动，从而向控制机传递信息，这种机器能进行多种运算并可用于证明一些著名的定理。这台理想机器虽然极其简单，但却是最早给出的通用计算机模型，能完成一切计算机的功能。图灵还从理论上证明了这种假想机的可能性，尽管“图灵机”当时还只是一纸空文，这一切比巴贝奇的通用计算机研制工作迟了100多年，但现在的计算机专业人土确定并公认，只有图灵的思想才奠定了整个现代计算机发展的理论基础。更为重要的是，1937年图灵的著作出版了，其中就有关于图灵机的论文，这一著作引起了学术界的广泛注意。1938年，他取得物理学博士学位，并担任冯·诺伊曼博士的助手。身为一名数学家, 图灵研制模型计算机的梦想在第二次世界大战的硝烟中破碎。1939年，怀着一腔报国热情的图灵应召入伍，带领一大批专业人土在 “布雷契莱庄园”——英国的情报中心“超级机密”研究所里，从事对德军通讯密码的破译工作。当时的德军大量使用一种名叫“恩格玛”的密码机，它被证明是有史以来最为可靠的加密系统之一。