艾伦·图灵:破解“谜”密码

传记

图灵(1912-1954)

的英国数学家艾伦·图灵也许最著名的是他在战争期间的工作布莱切利公园的英国密码破译中心在那里，他的工作导致了德国谜码的破解(据一些人说，这一举缩短了第二次世界大战，并可能挽救了成千上万人的生命)。但他也负责制作哥德尔图灵的不完备性定理更令人沮丧和沮丧，而图灵的数学遗产主要是基于这一点——以及他的工作所带来的计算机科学的发展。

尽管图灵就读于一所昂贵的私立学校，这所学校强调古典文学而不是科学，但图灵显示出了早期的天才迹象，这种天才后来变得更加突出，他在十几岁时甚至没有学过初等微积分就解决了高级问题，并沉浸在阿尔伯特·爱因斯坦的复杂数学作品中。在他的好友、剑桥同学克里斯托弗·默卡去世后，他成为了坚定的无神论者。终其一生，他都是一名成功而坚定的长跑运动员。

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

图灵机

图灵机的表示

20世纪30年代，图灵用计算机(或者，更具体地说，一种操纵符号的理论设备，被称为计算机)重新定义了不完整性图灵机),替换哥德尔用这种正式而简单的装置，实现了通用的基于算术的形式语言。他首先证明了这样一个这台机器将能够进行任何想象得到的数学计算如果它可以用算法来表示。然后他继续证明，即使是这样一个逻辑机器，本质上是由算术驱动的，也总会有一些问题是它们永远无法解决的，而一台被输入这样一个问题的机器永远不会停止尝试解决它，但永远不会成功(被称为“停止问题”)。

在这个过程中，他还证明了事先没有办法告诉哪些问题是不可证明的问题，从而为所谓的可证明问题或“可证明问题”提供了一个否定的证明。决策问题，由大卫希尔伯特在1928年。这是对数学界的又一记耳光哥德尔的破碎不完全性定理。

战争结束后，图灵继续他的工作，并致力于早期计算机的开发，如ACE(自动计算引擎)和曼彻斯特马克1号。尽管按现代标准来看，图灵开发的计算机是一种非常基础和有限的机器，但他清楚地看到了它的潜力，并梦想着有一天计算机将不仅仅是机器，能够学习、思考和交流。他是第一个开发国际象棋计算机程序的人，并将掌握这一游戏视为智能机器设计师应该努力实现的目标之一。

图灵测试

图灵测试

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

图灵的个人哲学就是摆脱虚伪，妥协和欺骗。例如，他是一名同性恋，在那个时候，同性恋是非法的，甚至是危险的，但他从未隐瞒过，也没有把它当作一个问题。不像哥德尔(图灵坚信直觉的力量，并相信人类的思维能够超越他所描述的系统的限制)，他显然觉得自己与计算机有某种亲切感，在某种程度上，他认为计算机体现了这种令人钦佩的没有谎言和虚伪。

战争结束后，他被当局视为潜在的安全威胁而受到监视，最终在1952年，他被逮捕，被指控犯有同性恋行为罪。结果，他被化学阉割，注射了雌性激素雌激素，这导致他胸部变大，也影响了他的思想。1954年，图灵被发现死亡，显然是用氰化物自杀的。

<<回到Gödel

转发到Weil >>