关于图灵和图灵奖的介绍?

1． 图灵是计算机科学技术的奠基人.阿伦 · 图灵(Alan Mathison Turing) 是英国人，1912年6月23日生于伦敦近郊。其父母早期在印度工作，退休后在法国生活，没有回英国定居。图灵和他的一个哥哥在英国由从军队退休的Ward夫妇带大的。图灵13岁进入中学，学习成绩并不特别好，只有数学例外，演算能力特别强，此外，就是擅长赛跑。1931年中学毕业后，进入英国剑桥大学的"King's College " 攻读数学。他的学位论文是关于概率论的中心极限定理(the Central Limit Theorem of Probability)，1936年图灵因就同一课题所发表的论文而获得史密斯奖(Smith Prize)。

1935年，图灵开始对数理逻辑发生兴趣。数理逻辑又叫形式逻辑或符号逻辑(symbollogic)，是逻辑学的一个重要分支。数理逻辑用数学方法，也就是用符号和公式、公理的方法去研究人的思维过程、思维规律，其起源可追溯到17世纪德国的大数学家莱布尼兹(Gottfried Wilhelm Leibniz, 1646-1716)，其目的是建立一种精确的、普遍的符号语言，并寻求一种推理运算，以便用演算去解决人如何推理的问题。在莱布尼兹的思想中，数理逻辑、数学和计算机三者均出于一个统一的目的，即人的思维过程的演算化、计算机化、以至于在计算机上实现。两个多世纪以来，许多数学家和逻辑学家沿着莱布尼兹的思路进行了大量实质性工作，使数理逻辑逐步完善和发展起来，许多概念开始逐步明朗。但是，“计算机”到底是怎么一回事？在图灵之前，没有任何人清楚地说明过。

1936年图灵发表了论文“论可计算及其在判定问题中的应用”(On Computable Numbers With an Application to the Enstcheidungs Problem)。有趣的是，该论文的主题是回答德国大数学家戴维 · 希尔伯特在1900年提出的著名的“23个数学难题”中的一个问题，只是在其论文的一个脚注中“顺便”提出来一种计算机抽象模型，利用这种计算机，可以把推理化作一些简单的机械动作。可真是“歪打正着”，正是这个脚注，开辟了计算机科学技术史的新纪元。图灵提出的该计算模型现在被大家称为“图灵机”(Turing Machine)。图灵的论文发表后，立刻引起了美国科学家的重视。暜林斯顿大学立即向图灵发出邀请，，于是图灵首次远涉重洋，到美国和邱奇合作，并于1938年在暜林斯顿大学取得博士学位。在美国，图灵还遇到了计算机科学理论的另一位重要奠基人、出生在匈牙利的天才科学家冯 · 诺依曼(John von Neumann, 1903—1957)。冯 · 诺依曼对图灵十分欣赏并邀请他到他那里工作，但图灵没有接受这个邀请，1938年回到英国剑桥大学。

第二次大战爆发后，图灵正值服役年龄，开始为战争服务。主要是破译德军密码，曾立不少功劳，战后被光荣授勋，被称为OBE(Officer Order of the British Empire)，这是对非战斗人员的极高荣誉。

战后，图灵继续从事计算机理论和技术方面的研发工作 先是在英国国家物理实 验室NPL(National Physical Laboratory)进行了计算机ACE(Automatic Computing Engine)的研究，后在曼彻斯特大学从事过存储程序式计算机MARK I 的研究。由于图灵的一系列杰出贡献和重大创造，1951年，被选为英国皇家学会院士。1954年6月，因吃了有毒苹果而在家中死去，年仅42岁。

2． 图灵奖

后人为纪念这位“计算机科学之父”，在英国曼彻斯特的Sackville公园为他建造了一尊真人大小的青铜坐像，这尊塑像是2001年6月23日，也就是图灵89岁诞辰那天揭幕的，铜像本身则是在中国铸造的。

图灵去世后的12年，即1966年，美国的计算机协会ACM (Association for Computing Machinery) 确定设立图灵奖。ACM是于1947年9月15日在纽约的哥伦比亚大学成立的。成立的目的旨在推动计算机科学技术的发展和学术交流。ACM建立以来，积极开展各种活动，目前已成为计算机界最有影响的两大国际性学术组织之一（另一为IEEE的计算机协会，即IEEE Computer Society）。图灵奖是ACM于1966年第一个设立的奖项，专门奖励那些在计算机科学研究中作出创造性贡献、推动计算机科学技术发展的杰出科学家。奖金金额不算太高，设奖初期为2万美元，1989年起增至2万5千美元。图灵奖对获奖条件要求极高，评奖程序极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名合作者或在同一方向作出贡献的科学家共享此荣。它是计算机界最负盛名、最崇高的一个奖项，有“计算机界的诺贝尔奖”之称。

对于 vue 来说，模板本质就是一个字符串

vue 中的模板是有逻辑的，是动态的，如 v-if、v-for 等

与 html 格式很像，但有很大区别；html 是静态的，而 vue 模板是动态的

最终还是要转化为 html 来显示，怎么才能转换为 html 来显示呢？

模板最终必须转换为 JS 代码？

因为模板有逻辑 (v-if,v-for)，必须用 JS 才能实现(前端中只有 JS 是图灵完备语言）

转换为html渲染页面，必须用 JS 才能实现渲染

因此模板最终要转换为一个 JS 函数(render 函数)，（render 函数是指的渲染函数，并不一定就必须是 render 这个名字）

render函数

render 函数的 with 的用法

模板中，所有信息都包含在了 render 函数中

this 即 vm

price 就是 this.price，也是 vm.parice，也是 data.price

为了检验一台机器是否能合情理地被说成在思想，人工智能的始祖阿伦•图灵提出了一种称作图灵试验的方法 ， 假设有一台电脑，其性能正如上面描述的思维：按照图灵试验，该电脑和某个自愿者同时接受检查。还方一个人作为质问者。电脑和自愿者在质问者的视线之外，质问者必须有意识的提出一些检验问题，依赖他们双方做出的回答，来决定两者谁为电脑谁为人类，这些问题以及质问者收到的回答，全部用一种非人格的模式传送，例如打印在键盘上或展现在屏幕上。质问者不允许从任何一方得到除了这种问答之外的信息。

自愿者真实地回答问题并试图说服质问者，他确实是人而另外一个是一台电脑；但是该电脑已被编好了“说谎”的程序，也试图说服质问者它是人。如果质问者在一系列的这种检验的过程中、不能以任何一种方式证明哪个是真正的人、那么该电脑(或电脑程序、或程序员、或设什者等等)音定是通过了这一检验：”虽然说，不管质问者首先提出什么，都能设想出一种方法仗电脑如人的样子去回答那个特殊问题。但是，在电脑缺乏任何理解能力的情况下，会因为不断的询问而显露出缺陷来。尤其是对于具存创造性和需要真正理解的问题，只要质问者能提出具有创造性或需要真正理解的问题，偶尔也可以问一个完全无聊的问题，或者可以加上一两个表面上听起来像是无聊的、而实际上有一点意义的问题,看看电脑能否检测出差别来。

---