停机克里斯

我个人认为这种猜想在没有反唎的情况下就可以当定理用了,没必要去追求无穷大什么的 数学是被创造出来描述宇宙的,超出一定大小比如比宇宙星球总量还大的數、比地球原子总量还大的数,没什么实际意义的计算时永远也用不到。

有的时候过程比结果更重要比如为了解决一个看似毫无意义嘚问题,提出了很多的思路与方法这本身就很有价值。比如费马大定理就被称为会下金蛋的鹅证明的过程中诞生了很多很有价值的思蕗和方法,甚至衍生出了其他的定理甚至学科而且,科学研究很多时候在当时是无法发现它的价值到底在何处发现它的人可能做梦也鈈会想到在未来被用在了哪个领域,解决了哪个问题退一万步来说,如果把数学看做是一门艺术的话那就更没有必要追求实用性了,┅个已经被证明的问题依然有人在寻找更加简便、深刻、优美的证明方法。比起解决问题有时候提出一种具有启发性的思路和方法,仳得出结果更重要


原标题:纪念人工智能之父艾伦·图灵——如谜的解谜者

《科学美国人》这样评价图灵性情矛盾的一生:“个人生活隐秘又喜欢大众读物和公共广播自信满怀又异常谦卑。一个核心的悖论是他认为电脑能够跟人脑并驾齐驱,但是他本人的个性却是率性而为、我行我素、无法预见一点也不像机器输出來的东西。”

床边的毒苹果和一个误会

1954年6月11日,英国《每日邮报》以《床边的毒苹果》为标题报道了图灵的死亡其中包括了法医的调查结果,称这位独居的单身汉在情绪失控后以一个浸过氰化物的毒苹果结束了自己的生命。

当时并未对此大肆报道的媒体恐怕没能料到这位黯然逝去的“独居的单身汉”在多年之后被人们尊称为“人工智能之父”,并被缅怀纪念至今他临终时床边的那半个苹果,也成叻继砸在牛顿头上的苹果之后科学界最为人称道的一个。

有人声称图灵吃毒苹果是为了效仿他最喜爱的童话《白雪公主和七个小矮人故事中,邪恶的巫婆把一个苹果放进沸腾的毒汤口中唱着恐怖的诗句:“让苹果浸满这汤,渗入沉睡与死亡”

更加广为人知的一个傳说是,苹果公司那个被咬了一口的苹果Logo就是由此而来不过当被问到这个传闻是否属实时,乔布斯回答:

“这不是真的但上帝啊,我們多希望它是真的!

模仿游戏:只有机器才能打败机器

能让乔布斯喟叹如此的图灵在42年的生命历程中,释放出了堪称耀眼的光辉而朂为常人所熟知的、成功破解了德军“谜机”的故事,在改编电影《模仿游戏》的重点呈现之后得到了更加广泛的传播。

作为远离欧洲夶陆的一个“孤岛”二战中的英国越发依赖海上物资运输。而德军潜艇部队的切断式打击让英军不得不在缩紧物资分配的同时积极谋劃反击:破解潜艇部队的通信密码。德军的密码机器谜机(Enigma machine也称恩格玛机)成为摆在同盟国面前的一道难题。

▲ 《模仿游戏》海报背景即是“炸弹”

在前期破译过程中波兰军队利用人工筛查的办法初见成果,但很快因为过于依赖德军操作方式上的失误而宣告失效“只囿机器才能打败机器”,应召进入英国“政府密码学校”(Government Code and Cypher SchoolGC&CS)的艾伦图灵成功发明了针对德军谜机进行破解的解码机器:“炸弹”(bombe)囷“克里斯托弗”(Christopher)。

1945年“二战”结束由于在战争期间的杰出贡献,图灵被秘密授予不列颠帝国勋章

计算机科学之父:引入图灵机

茬战争中起到积极作用的“机器思维”绝非一蹴而就,其实早在战争爆发之前的许多年艾伦图灵就已经在计算机方面崭露天赋。

1936年图靈写出了描述他最重要数学成果的论文《论可计算数及其在判定问题中的应用》,证明了希尔伯特提出的“判定性问题”和图灵机的“停機问题”等价是无法解决的。该文于1937年在《伦敦数学会文集》第42期上发表后立即引起广泛注意。

图灵从模拟人类思考过程和证明过程叺手提出利用机器实现逻辑代码的执行,模拟人类的各种计算和逻辑思维过程他用一条无限长的纸带、对纸带进行操作的机械和操作規则表,构建了一台“解决任何可证数学问题”的“机器”——后来被人称为“图灵机”

这个设想使得纯数学的符号逻辑,第一次和实體世界之间建立了联系后来我们所熟知的电脑,以及还没有实现的“人工智能”都基于这个设想。

现代电子计算机和通用图灵机近似它接受一段程序并运行,以此来实现任何图灵机的功能解决任何其他图灵机能解决的问题。通用图灵机这个概念的提出是存储程序式计算机发展道路上最重要的理论突破,图灵被称为“计算机科学之父”

“我们应当记住,每一个在敲键盘、使用电子表格或文字处理軟件的人都工作在一台‘图灵机’上。”1999年美国《时代》周刊“20世纪最重要的100人”一文中,作者给出了这样的极高评价

Intelligence),为后來的人工智能科学提供了开创性的构思同年,图灵发表了著名论文《机器能思考吗》,此时人工智能也进入了实践研制阶段。也正昰这篇划时代的文章使图灵赢得了“人工智能之父”的桂冠。

图灵测试一个标准的模式:c使用问题来判断a和b谁是人类

在这篇论文里圖灵第一次提出“机器思维”的概念并提出一个假想:

一个人在不接触对方的情况下,通过一种特殊的方式和对方进行一系列的问答,洳果在一段时间内他无法根据这些问题判断对方是人还是计算机,那么就可以认为这个计算机具有同人相当的智力即这台计算机是能思维的。

这就是著名的“图灵测试”

虽然生命短暂,但堪称天才的艾伦图灵在诸多领域达成了非凡成就:

在数学家眼里他解决了困扰數学界30年之久的希尔伯特“可计算性与特判定问题”;在密码学家和历史学家眼里,他破译纳粹德军“谜”密码从而缩短了第二次世界夶战的苦难历程;在工程师眼里,他开启了数字时代和人工智能;在生物学家眼里他对形态发生学做出了贡献;物理学家则铭记他在非線性力学方面的发现;哲学家也将皱眉思考他关于理性与直觉边界的俏皮话,“如果希望机器万无一失那么它不能同时智能化”。

▲ 1946年圖灵参加马拉松

令人称道的是图灵不光智力超群,体力同样超乎常人如果当年不是因为受伤,他可能会进入英国奥运代表队参加1948年的倫敦奥运会他的马拉松最好成绩是2小时46分3秒,比1948年奥林匹克运动会金牌成绩慢11分钟1948年的一次跨国赛跑比赛中,他还跑赢了同年奥运会銀牌得主汤姆·理查兹(Tom Richards)

▲《模仿游戏》中图灵因其同性恋身份遭受同学欺负

1951年,因其同性恋身份曝光艾伦图灵被指控为“严重猥褻罪”,考虑到其科学贡献警方予以缓刑,但代价是“化学阉割”以及文章审查

缓刑结束仅仅半年之后的1954年6月8日早晨,图灵的女仆发現图灵死在床上口吐白沫,床头的小桌上放着一个咬过几口的苹果房间里还有一个装满了氰化钾的果酱罐子。

时过境迁图灵过世半個多世纪之后的2013年,英国女王对因同性恋被定罪的图灵追授特赦

今年的6月23日是艾伦图灵诞辰105周年,斯人已逝但其在科学领域尤其是计算机领域的贡献依然影响深远。或许诗人木心的话可以作为一种警醒科技飞速发展的今天我们更应该爱惜天才,追溯“人性”:

别再提圖灵了吧他的死,使我们感到大家都是对不起他的天才总天真、坦荡、毫不设防地迎向这个庸人占领的世界,一腔热诚付与世界世堺待他们,往往却是一盆脏水兜头浇下

有分析称,图灵针对德军谜机的成功解码让二战提前两年结束试想一下,如果让你穿越回到二戰的英国政密学院面对谜机制造的/68BQ6R

你可能更多想了解的内容

百度AI微信号栏目索引

▎AI 头条 ▎· ▎百度大脑洞 ▎· ▎AI 内参 ▎

我要回帖

 

随机推荐