横幅

艾伦·图灵:破解谜机密码

传记

阿兰·图灵

阿兰·图灵(1912 - 1954)

英国数学家艾伦·图灵最有名的可能是他在战争时期在布莱切利公园的英国密码破译中心在那里,他的工作导致了德国enigma密码的破解(据一些人说,这一举缩短了第二次世界大战,并可能拯救了数千人的生命)。但他也负责制作哥德尔图灵的数学遗产主要寄托在这一点上——以及他的工作推动了计算机科学的发展。

尽管他上的是一所昂贵的私立学校,学校强调经典而不是科学,但图灵展现出了早期的天才迹象,这一点后来变得更加突出,在十几岁的时候,他甚至没有学过基础微积分,就解决了高级问题,并沉浸在爱因斯坦复杂的数学研究中。他的好朋友、剑桥大学的同学克里斯多夫·默卡去世后,他成了坚定的无神论者。在他的一生中,他都是一名有成就的长跑运动员。

在出版之后的几年里哥德尔图灵迫切地想要澄清和简化不完全性定理哥德尔的一个相当抽象和深奥的定理,并使它更具体。但他的解决方案——1936年发表,他后来声称,这个方案是他在幻想中想到的——实际上涉及了一种改变了整个现代世界的东西——计算机的发明。

图灵机

图灵机的表示

图灵机的表示

在1930年代图灵在计算机方面(或者更具体地说,是一个操纵符号的理论设备,被称为图灵机),替换哥德尔通用的基于算法的形式语言与这个正式和简单的设备。他首先证明了这样一个机器将能够进行任何可能的数学计算如果它可以用算法来表示。然后他继续表明,即使是这样一个逻辑机器,本质上是由算术,总会有一些问题,他们将永远无法解决,这一台机器美联储这样的问题永远不会停止试图解决它,但不会成功(称为“停止问题”)。

在这个过程中,他还证明了没有办法预先知道哪些问题是无法证明的,从而为所谓的判定问题或“判定问题”提供了否定的证明。决策问题”,所大卫希尔伯特在1928年。这对一个还在蹒跚学步的数学团体来说是又一记耳光哥德尔的压倒性不完全性定理。

战后,图灵继续他已经开始的工作,致力于早期计算机的开发,如ACE(自动计算引擎)和曼彻斯特马克1号。尽管他开发的计算机以现代标准来看是非常基础和有限的机器,但图灵清楚地看到了它的潜力,并梦想着有一天计算机将超越机器,能够学习、思考和交流。他是第一个提出计算机下棋程序的想法的人,并将精通这一游戏视为智能机器设计者应该努力追求的目标之一。

图灵测试

图灵测试

图灵测试

事实上,他是第一个解决人工智能问题的人,并提出了一个现在被称为图灵测试在试图定义一个标准的机器被称为聪明的”。通过这个测试,一台计算机可以说认为“如果它能骗过人类审讯者,让他以为是在和人类对话。在互联网出现之前的很长一段时间里,这显示了非凡的远见,当时唯一可用的计算机只有一个房间那么大,功能还不如现代袖珍计算器。

图灵的个人哲学就是要摆脱虚伪、妥协和欺骗。例如,他曾是一名同性恋,当时同性恋是非法的,甚至是危险的,但他从未隐瞒,也没有把它当成一个问题。不像哥德尔(强烈相信直觉的力量,相信人类思维是谁能够超越他描述的系统)的局限性,图灵显然感到一定的亲和力与电脑,在某种程度上,他认为他们是体现这种令人钦佩的没有谎言和虚伪。

战争结束后,他被当局作为潜在的安全隐患监视着,最终在1952年,他被逮捕,被指控犯有同性恋行为罪。结果,他被注射了雌性激素,被化学阉割,这导致他长出了乳房,也影响了他的思维。1954年,图灵被发现死亡,显然是用氰化物自杀。


<<返回Gödel

转到Weil >>

Baidu