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