计算机科学 | 第 15 集：阿兰·图灵

第 15 集：阿兰·图灵

00:33 介绍图灵
00:52 可判定性问题
01:14 阿隆佐·丘奇，Lambda 算子
01:38 图灵机
04:54 停机问题
08:09 破解德军英格玛加密机
10:40 图灵测试
11:18 图灵的个人生活
12:07 图灵奖