图灵

1931年，考入剑桥大学国王学院，由于成绩优异而获得数学奖学金。1935年，在《伦敦数学会杂志》上发表第一篇数学论文“左右殆周期性的等价”。1936年9月，应邀到美国普林斯顿高级研究院学习，并与丘奇一同工作。1937年，发表的另一篇文章“可计算性与λ可定义性”则拓广了丘奇（Church）提出的“丘奇论点”，形成“丘奇-图灵论点”，对计算理论的严格化，对计算机科学的形成和发展都具有奠基性的意义。1938年夏，回到英国，仍在剑桥大学国王学院任研究员，继续研究数理逻辑和计算理论，同时开始了计算机的研制工作。1939年秋，应召到英国外交部通信处从事军事工作，主要是破译敌方密码的工作。1948年，接受了曼彻斯特大学的高级讲师职务，并被指定为曼彻斯特自动数字计算机（Madam）项目的负责人助理。1951年，由于在可计算数方面所取得的成就，成为英国皇家学会会员。1952年，辞去剑桥大学国王学院研究员的职务，专心在曼彻斯特大学工作，同年被判“化学阉割”。1954年6月7日，氰化物中毒，享年41岁。