
🖼️ 图片来源:公有领域图片 · Wikimedia Commons(Alan Turing, 1951)
1912 年,阿兰·图灵出生在英国伦敦。他小时候就特别着迷数字和谜题,安静又爱动脑筋,长大后果真成了一位了不起的数学家。
那时候,数学家有一个很美的梦想:数学里的每一个问题,是不是都能靠一套固定的、机械的步骤算出来?1900 年,德国数学家希尔伯特在巴黎一口气列出 23 个最难的数学问题;1928 年,他把这个念头收成一个很干脆的问题——「判定问题」:有没有一种通用的方法,能判断任意一个数学命题到底是真是假?要是真有,数学就等于一台能自动吐答案的机器。可 1931 年,年轻的哥德尔泼了一盆冷水:任何足够强的数学体系里,都存在着既证明不了、也推翻不了的命题。那「判定问题」本身呢?它到底能不能解决?全世界的数学家都在等一个答案。
1936 年,24 岁的图灵决定先回答一个更基础的问题:什么叫「机械地算」?他把「算」拆到了最简——一条无限长的纸带、一个会读会写的头、一张写着「下一步做什么」的规则表。凡是这样一步步算得出来的,就叫「可计算」。有了这个精确的定义,他反过来证明了:判定问题无解——根本不存在一台机器,能对所有数学命题都给出「是」或「否」。更妙的是,他还顺手造出了一台「通用图灵机」:把别的机器的规则喂给它,它就能变成任何一台机器。这台机器,就是今天所有计算机的理论原型——所以我们用的每一台电脑,骨子里都还是一台图灵机!
图灵还做过一件超级秘密的大事:第二次世界大战的时候,他在一个代号「布莱切利园」的秘密基地工作,想办法破解德国军队的密码机「恩尼格玛」。他造出特别的机器,提前读懂敌人的密信,帮大家更快赢得和平,保护了无数人的生命。
战争结束后,图灵开始思考一个让全世界都难住的问题:机器,真的会思考吗?可「思考」看不见也摸不着,怎么判断呢?
1950 年,他想出一个聪明的办法——「模仿游戏」:你隔着电传打字机(Teletype:一种能打字、也能把回话打在纸上的老式机器)聊天,对面可能是人,也可能是机器。如果你聊着聊着,分不清对面到底是谁,那就说明机器「通过测试」啦!后来,大家都把这个办法叫作「图灵测试」。
可惜,图灵在 1954 年就早早离开了我们。为了纪念这位伟大的科学家,1966 年起,全世界设立了一项以他名字命名的计算机最高荣誉——「图灵奖」,它被誉为「计算机界的诺贝尔奖」,每年颁给为计算机和人工智能做出巨大贡献的人。别着急,在后面的故事里,你就会遇见好几位捧起图灵奖的科学家!
这个点子特别神奇:我们不用争论机器有没有「内心」,只要看它能不能聊得像人一样就够了。因为这份了不起的贡献,图灵被称作「计算机科学之父」——今天你用的每一台电脑,都得叫他一声「爷爷」呢!
🖼️ 图片:Andrew Hodges 图灵资料站 turing.org.uk · 模仿游戏示意图、图灵奖奖杯:维基共享资源(经 kids.kiddle.co 镜像);图灵机示意图、判定问题示意图为本课件自制
点击卡片翻开,看看背后的知识~
和屏幕对面的「神秘人」聊几句,再猜猜 TA 是真人还是机器——这是一台帮你练「识人辨机」的小训练器。
🖥️ 你看不见屏幕那边,只能靠「聊天」来判断。先问问题,再猜 TA 是谁!
一共 8 道题,从简单到难。点选答案,答对会变绿、答错会变红(可重试)~
Q1. 图灵测试还有一个名字,叫做什么?
Q2. 怎么判断机器「通过了图灵测试」?
Q3. 提出图灵测试的图灵是哪国人?
Q4. 1936 年,图灵在纸上发明了一台「想象中的万能机器」,它叫什么?
Q5. 第二次世界大战时,图灵在秘密基地「布莱切利园」想办法破解德军的哪种密码机?
Q6. 计算机界的最高荣誉「图灵奖」,被誉为什么?
Q7. 为什么大家把图灵称为「计算机科学之父」?
Q8. 下面哪种说法最像图灵的想法?
💭 思考一下:你觉得,机器真的会「思考」吗?还是它只是假装会聊天?和爸爸妈妈说一说你的看法。
小小学员 完成了 本站《图灵测试:机器会思考吗?》
学会:第一台会思考的机器梦