和玲凌奖简介？
从65438年到0935年，图灵对数理逻辑产生了兴趣。数理逻辑，也称为形式逻辑或符号逻辑，是逻辑的一个重要分支。数理逻辑用数学方法，即符号、公式和公理来研究人的思维过程和规律。它的起源可以追溯到17世纪伟大的德国数学家戈特弗里德·威廉·莱布尼茨(1646-1716)，其目的是建立一种精确、准确、准确、再准确、再准确、再可靠的数学逻辑。在莱布尼茨的思想中，数理逻辑、数学和计算机都有一个统一的目的，即人类思维过程的计算和计算机化，甚至是它在计算机上的实现。两个多世纪以来，许多数学家和逻辑学家沿着莱布尼茨的思想做了大量实质性的工作，使数理逻辑逐渐完善和发展，许多概念也逐渐清晰。然而，什么是“计算机”？在图灵之前，没有人说清楚。
1936年，图灵发表了一篇论文“关于可计算数及其在确定性问题中的应用”。有意思的是，这篇论文的主题是回答德国大数学家戴维·希尔伯特在1900年提出的著名的“23个数学问题”之一，只在其论文的一个脚注中提出了一个计算机抽象模型。有了这台计算机，推理可以变成一些简单的机械动作。这真的是一个错误。正是这个注脚，开启了计算机科技史上的新时代。图灵提出的计算模型现在被称为“图灵机”。图灵的论文发表后，立即引起了美国科学家的关注。图灵随即受到了克林顿大学的邀请，于是图灵第一次漂洋过海，去美国与教会合作，并于1938获得了克林顿大学的博士学位。在美国，图灵还结识了计算机科学理论的另一位重要创始人，匈牙利出生的天才科学家冯·诺依曼(约翰·冯·诺依曼，1903-1957)。冯·诺依曼非常欣赏图灵，邀请他去那里工作，但图灵没有接受邀请，于1938年回到了英国剑桥大学。
二战爆发后，图灵到了服役年龄，开始为战争服役。主要是破译德军密码，他做出了很多贡献，战后获得了荣誉。他被称为OBE(大英帝国办公室勋章)，这是对非战斗人员的极高荣誉。
战后，图灵继续从事计算机理论和技术的研究与开发。先是在NPL(国家物理实验室)研究计算机ACE(自动计算引擎)，然后在曼彻斯特大学研究存储程序计算机MARK I。因为图灵的一系列突出贡献和伟大创造，他在1951当选为英国皇家学会院士。6月1954，因吃毒苹果在家中去世，享年42岁。
2.图灵奖
为了纪念这位“计算机科学之父”，后人在英国曼彻斯特的萨克维尔公园为他建造了一座真人大小的铜像。这座雕像揭幕于2001年6月23日，也就是图灵89岁生日，铜像本身就是在中国铸造的。
图灵去世后12年，也就是1966年，美国ACM(计算机械协会)决定设立图灵奖。ACM于9月1947成立于纽约哥伦比亚大学。它成立的目的是促进计算机科学技术的发展和学术交流。自成立以来，ACM积极开展各项活动，现已成为计算机领域最具影响力的两大国际学术组织之一(另一个是IEEE计算机学会)。图灵奖是ACM在1966设立的第一个奖项，专门奖励在计算机科学研究中做出创造性贡献、推动计算机科学技术发展的杰出科学家。奖金数额不算太高，刚开始是20000美金，从1989增加到25000美金。图灵奖对获奖条件要求极高，颁奖程序极其严格。一般每年只授予一位计算机科学家，只有几年才有两位在同一方向做出贡献的合作者或科学家享受这一荣誉。它是计算机领域最负盛名、最崇高的奖项，被誉为“计算机领域的诺贝尔奖”。