本文参考Crash Course课程

计算机科学之父——阿兰·马蒂森·图灵
1912年生于伦敦
1935年是剑桥国王学院的硕士生,开始解决德国数学家大卫·希尔伯特的问题——可判定性问题:是否存在一种算法,输入正式逻辑语句,输出准确的是或否答案
1935年美国数学家阿隆佐·丘奇首次提出解决方法,开发了“Lambda算子的数学表达系统,证明这种算法不存在

阿兰·图灵提出假想计算机,叫做图灵机,提供了简单强大的数学计算模型
无限长的纸带:可以储存符号
读写头:可以读取写入纸带上的符号
状态变量:保存当前状态
一组规则:描述机器做什么,根据状态+符号
图灵完备:和图灵机一样强大的

停机问题:给定图灵机描述和输入纸带,是否有算法可以确定机器会永远算下去还是到某一点会停机
丘奇和图灵用驳论证明了计算机能力有极限,起步了可计算性理论,叫“丘奇-图灵论题
战争开始后,图灵加入位于”布莱切利园“的一个密码破译组织,破解德国的通信加密——英格玛机加密的信息,图灵设计一个机电计算机Bombe
战争结束后创建了曼切斯特1号——早期有影响力的存储程序计算机
最有名的战后贡献——人工智能(1956年才有名字)
图灵测试:如果计算机能欺骗人类相信它是人类,才算是智能。如果一个人用短信和两个人聊天,一个是人,一个是计算机,如果人分不出来,就通过了图灵测试
公开全自动图灵测试,简称验证码
图灵奖:计算机领域的最高奖项