1. 计算机科学之父
- 1912 年出生于伦敦，从小表现出惊人的数学和科学能力
- 1935 年，开始对计算机科学有建树
- 当时是剑桥国王学院的硕士生
- 开始解决德国数学家大卫·希尔伯特提出的问题：「可判定性问题」
- 问题的定义：是否存在一种算法，输入正式逻辑语句，输出准确的「是」或「否」的答案？
- 解决方法 1：美国数学家 阿隆佐·丘奇 在 1935 年首先提出解决方法
- 开发了「Lambda 算子」的数据表达系统，证明这样的算法不存在
- 解决方法 2：阿兰·图灵提出了一种假想的计算机，现在叫「图灵机」
- 它是一台理论计算设备
- 提供了简单且强大的数据计算模型
- 同时因为更简单，在新兴的计算机领域更受欢迎
- 原理构成：规则、状态、纸带
- 证明：如果有足够时间和内存，可以执行任何计算
- 1936 年（24 岁），起步了「可计算性理论」，又叫「丘奇-图灵论题」
- 1936 - 1938 年，在丘奇指导下，在普林斯顿拿到博士学位
- 毕业后，回到剑桥，在英国政府的密码破译学校兼职，位于「布莱切利园」的一个密码破译组织
- 工作内容：破解德国的通信加密，特别是「英格玛机」加密的信息
- 1939 年，随着二战开始，才能开始被投入战争
- 1954 年服毒自尽，虽然英年早逝，但图灵激励了第一代计算机科学家，为如今便利的数字时代，做出了重要基石性工作
2. 图灵完备
- 地位：和图灵机一样强大
- 举例：每个现代计算系统，都是「图灵完备」的
- 笔记本电脑
- 智能手机
- 微波炉内部的小电脑
- 恒温器内部的小电脑
- 停机问题
- 通过一个巧妙逻辑矛盾，证明了停机问题是无法解决的
- 异魔：让机器只接收一个输入，这个输入既是程序，也是输入
- 丘奇和图灵证明了计算机的能力有限
- 无论有多少时间或内存，有些问题是计算机无法解决的
- 起步了「可计算性理论」，现在叫「丘奇-图灵论题」
3. 英格玛机
- 作用：加密明文
- 过程：加密由「英格玛机」顶部的齿轮组合决定
- 每个齿轮有 26 个可能位置
- 机器前面有插板，可以将两个字母互换
- 总共有上亿种可能
- 缺陷
- 英格玛机和操作员不是完美的
- 例如：字母加密后绝不会是自己，H 加密后绝不会是 H
- Bombe
- 定义：图灵设计的一个机电计算机
- 原理：利用英格玛机的缺陷，对加密消息尝试多种组合，如果发现字母解密后和原先一样，这个组合会被跳过，接着尝试另一种组合，
- 作用：大幅减少了搜索量
4. 战后贡献
- 曼彻斯特 1 号
- 人工智能
- 图灵测试
- 图灵提出：如果计算机能欺骗人类相信它是人类，才算是智能
- 这个测试的现代版叫「公开全自动图灵测试，用于区分计算机和人类」，简称「验证码」
5. 悲剧
- 当时时代，同性恋在英国和大部分国家是违法的
- 1952 年，调查他家的入室盗窃案时，向当局暴露了他的性取向，被起诉「行为严重不检点」
- 图灵被定罪，有两个选择
- 1954 年服毒自尽，年仅 41 岁
6. 图灵奖
- 计算机领域的最高奖项，相当于物理、化学等其他领域的诺贝尔奖
