八卦: The Fall of Alan Turing
八卦: The Fall of Alan Turing
我这人平生最怕的就是数学, PBS曾经播过Derek Jacobi主演的传记片我也没看. 前两天在图书馆瞎转悠(也就是我这种书呆子才会经常没事在那里晃荡), 看到一本新出的Turing传记. 随手翻了翻, 大篇大篇地解释Turing的各项成就, 我一点也不懂.
Alan Turing, 英国人, 天才数学家, 剑桥毕业, 被人称为Father of Computer Science. 他在没有硬件技术的情况下凭空想象出电脑, 软件, 系统, 和有关的理论, 甚至编造出没有机器可run的程序来. 他干过的最有名的事情, 恐怕是Bletchley Park, 二战中跟一帮英国数学家关起门来破译德国密码Enigma的事迹. 电影Enigma讲的就是这事, 只不过里面的故事比现实要漂亮安全得多.
Turing的堕落跟王尔德几乎一模一样: 遇人不淑. 他是同性恋, 他的情人Arnold Murray是个小混混, 背着他跟同伙去撬他的门锁, 偷他家的东西. 他不知道是谁干的, 于是报警. 结果警察一调查发现原来小偷是他男朋友. 那时候(1952年), 搞基是违法的, 他们就把受害人抓起来了. 讽刺的是, 其实当时男朋友已经道歉了, 两人都和好了, Turing 却进了监狱.
判刑时他有两个选择: 要么坐牢, 要么接受监外治疗, 治好他的同性恋. 他选择治疗, 被定时打针, 雌性激素, 等于把男人变女人, 不, 是变太监, 变得没有性欲. 现在这种"治疗"也还在用, 只不过是专门给恋童癖的罪犯用的.
我不知道他对强迫打雌性激素更痛苦还是对专业上的倒霉更痛苦. 本来战后他一直跟Bletchley的同事们不公开地帮政府搞研究, 现在因为他是同性恋, 道德败坏, 政府拿走了他的security clearance, 因为道德败坏的人信不得, 一不小心就成卖国贼了. 他再不能参加顶尖的研究工作, 只好自己在一边呆着.
1954年, Turing的家务工发现他死在自己床上, 床边是个啃了几口的苹果. 验尸结论死因为氰化物中毒, 苹果没有化验过, 但是调查人员认为他先在苹果上涂了毒药再吃的, 所以是自杀.
这本传记最后提出两个alternative theories: 1) Turing的妈坚信儿子不是自杀而是不小心手上沾了毒药出的事故, 2) 政府暗杀. 作者似乎不怎么关心人性心理, 照他看来这两个理论都挺有道理. 其实, 妈妈不肯面对儿子自杀的现实另找借口, 再自然不过了. 政府暗杀岂会用这么古怪的方法? Turing已经处在生不如死的环境里, 难道就这么混下去?
1952年啊. 也只不过半世纪以前, 在一个文明先进, 道貌岸然, 满地绅士的社会.
Alan Turing, 英国人, 天才数学家, 剑桥毕业, 被人称为Father of Computer Science. 他在没有硬件技术的情况下凭空想象出电脑, 软件, 系统, 和有关的理论, 甚至编造出没有机器可run的程序来. 他干过的最有名的事情, 恐怕是Bletchley Park, 二战中跟一帮英国数学家关起门来破译德国密码Enigma的事迹. 电影Enigma讲的就是这事, 只不过里面的故事比现实要漂亮安全得多.
Turing的堕落跟王尔德几乎一模一样: 遇人不淑. 他是同性恋, 他的情人Arnold Murray是个小混混, 背着他跟同伙去撬他的门锁, 偷他家的东西. 他不知道是谁干的, 于是报警. 结果警察一调查发现原来小偷是他男朋友. 那时候(1952年), 搞基是违法的, 他们就把受害人抓起来了. 讽刺的是, 其实当时男朋友已经道歉了, 两人都和好了, Turing 却进了监狱.
判刑时他有两个选择: 要么坐牢, 要么接受监外治疗, 治好他的同性恋. 他选择治疗, 被定时打针, 雌性激素, 等于把男人变女人, 不, 是变太监, 变得没有性欲. 现在这种"治疗"也还在用, 只不过是专门给恋童癖的罪犯用的.
我不知道他对强迫打雌性激素更痛苦还是对专业上的倒霉更痛苦. 本来战后他一直跟Bletchley的同事们不公开地帮政府搞研究, 现在因为他是同性恋, 道德败坏, 政府拿走了他的security clearance, 因为道德败坏的人信不得, 一不小心就成卖国贼了. 他再不能参加顶尖的研究工作, 只好自己在一边呆着.
1954年, Turing的家务工发现他死在自己床上, 床边是个啃了几口的苹果. 验尸结论死因为氰化物中毒, 苹果没有化验过, 但是调查人员认为他先在苹果上涂了毒药再吃的, 所以是自杀.
这本传记最后提出两个alternative theories: 1) Turing的妈坚信儿子不是自杀而是不小心手上沾了毒药出的事故, 2) 政府暗杀. 作者似乎不怎么关心人性心理, 照他看来这两个理论都挺有道理. 其实, 妈妈不肯面对儿子自杀的现实另找借口, 再自然不过了. 政府暗杀岂会用这么古怪的方法? Turing已经处在生不如死的环境里, 难道就这么混下去?
1952年啊. 也只不过半世纪以前, 在一个文明先进, 道貌岸然, 满地绅士的社会.
Last edited by Jun on 2006-04-28 5:47, edited 1 time in total.
我们中国人本来其实不在乎的,纪晓岚那个著名的对联“睡草屋闭户演字,卧樵榻弄笛书符“就是这么来的。:speechless002: 后来因为一贯的争强好胜心理,你道貌岸然,我比你还岸然。我觉得后来是这么发生的。
听说图灵奖等于数学界的诺贝奖,真也不真?
听说图灵奖等于数学界的诺贝奖,真也不真?
http://harps.yculblog.com
搬家了搬家了
搬家了搬家了
我在国内上研究生的时候学过图灵机,当时那节课上下来,感觉就是神奇,太神奇了。
从wikipedia找来的介绍:
图灵机
维基百科,自由的百科全书
跳转到: 导航, 搜索
即确定型图灵机
1936年,阿兰・图灵提出了一种抽象的计算模型 ── 图灵机 (Turing Machine)。图灵的基本思想是用机器来模拟人们用纸笔进行数学运算的过程,他把这样的过程看作下列两种简单的动作:
* 在纸上写上或擦除某个符号;
* 把注意力从纸的一个位置移动到另一个位置;
而在每个阶段,人要决定下一步的动作,依赖于 (a) 此人当前所关注的纸上某个位置的符号和(b) 此人当前思维的状态。为了模拟人的这种运算过程,图灵构造出一台假想的机器,该机器由以下几个部分组成:
1. 一条无限长的纸带。纸带被划分为一个接一个的小格子,每个格子上包含一个来自有限字母表的符号,字母表中有一个特殊的符号 \square 表示空白。纸带上的格子从左到右依此被编号为 0, 1, 2, ... ,纸带的右端可以无限伸展。
2. 一个读写头。该读写头可以在纸带上左右移动,它能读出当前所指的格子上的符号,并能改变当前格子上的符号。
3. 一个状态寄存器。它用来保存图灵机当前所处的状态。图灵机的所有可能状态的数目是有限的,并且有一个特殊的状态,称为停机状态。
4. 一套控制规则。它根据当前机器所处的状态以及当前读写头所指的格子上的符号来确定读写头下一步的动作,并改变状态寄存器的值,令机器进入一个新的状态。
注意这个机器的每一部分都是有限的,但它有一个潜在的无限长的纸带,因此这种机器只是一个理想的设备。图灵认为这样的一台机器就能模拟人类所能进行的任何计算过程。
从wikipedia找来的介绍:
图灵机
维基百科,自由的百科全书
跳转到: 导航, 搜索
即确定型图灵机
1936年,阿兰・图灵提出了一种抽象的计算模型 ── 图灵机 (Turing Machine)。图灵的基本思想是用机器来模拟人们用纸笔进行数学运算的过程,他把这样的过程看作下列两种简单的动作:
* 在纸上写上或擦除某个符号;
* 把注意力从纸的一个位置移动到另一个位置;
而在每个阶段,人要决定下一步的动作,依赖于 (a) 此人当前所关注的纸上某个位置的符号和(b) 此人当前思维的状态。为了模拟人的这种运算过程,图灵构造出一台假想的机器,该机器由以下几个部分组成:
1. 一条无限长的纸带。纸带被划分为一个接一个的小格子,每个格子上包含一个来自有限字母表的符号,字母表中有一个特殊的符号 \square 表示空白。纸带上的格子从左到右依此被编号为 0, 1, 2, ... ,纸带的右端可以无限伸展。
2. 一个读写头。该读写头可以在纸带上左右移动,它能读出当前所指的格子上的符号,并能改变当前格子上的符号。
3. 一个状态寄存器。它用来保存图灵机当前所处的状态。图灵机的所有可能状态的数目是有限的,并且有一个特殊的状态,称为停机状态。
4. 一套控制规则。它根据当前机器所处的状态以及当前读写头所指的格子上的符号来确定读写头下一步的动作,并改变状态寄存器的值,令机器进入一个新的状态。
注意这个机器的每一部分都是有限的,但它有一个潜在的无限长的纸带,因此这种机器只是一个理想的设备。图灵认为这样的一台机器就能模拟人类所能进行的任何计算过程。
钻石恒久远
从一篇 “图灵机杂思 zz 刘未鹏 /文“摘录的,这个解释的更清楚一点:
图灵机是图灵为了研究可计算问题而构思的一个理论装置,你只要想一想有限状态机就可以大概知道图灵机是个什么概念了,只不过图灵机的内存(纸带)是潜无穷的(也就是可以任意长啦,“潜无穷”是古稀蜡人的说辞)。图灵机的定义形象的说来就像老式的电传机:一个读写头,一根纸带(可能任意长),读写头不断读取纸带上的符号,并根据内在的状态转换规则转换当前状态,同时进行一些动作,譬如插除或改写当前字符,向前/向后移动读写头或保持不动等。至于其抽象的定义大抵就是有限状态机的定义了。图灵机的这一定义现在我们看起来似乎是很显然的,然而当时却代表着一种思想上的革命,一种从无到有。图灵机实质上抽象出了我们平素进行机械式计算的核心规律,所以才等价于“一个人+纸笔+一定的规则”进行机械运算呢。这么个理论机器首先就指明了创建计算机的可能性,然而这还不够,如果为了某一个问题就去创建一个特定的图灵机的话效率就太低了。图灵机理论的一个最美妙的结论就是存在“元图灵机(Universal Turing-Machine,直译应为一般图灵机/通用图灵机,然而“元图灵机”更精确地表达了其意思),所谓元图灵机其实就是把图灵机作为运算对象的图灵机,假设有一个元图灵机M,一个图灵机P以及P的输入数据D,那么将(P,D)喂给元图灵机M,M就能够吐出P(D)(即P在D上的结果)。而这便是现在我们所用的计算机的始祖模型,其中M就好比我们的计算机(元图灵机),P则是程序(编码后的图灵机),D则是程序P的输入数据。元图灵机的存在表明了我们可以用一台机器来解决所有图灵可计算(turing-computable)的问题――只要喂给它解决这个特定问题的图灵机编码(程序)以及问题的输入数据即可,该元图灵机就会模拟我们喂给它的那个图灵机P的行为,最终给出结果。元图灵机的存在性为计算机的诞生点燃了一盏明灯,这是图灵机理论中最漂亮的发现。
图灵机是图灵为了研究可计算问题而构思的一个理论装置,你只要想一想有限状态机就可以大概知道图灵机是个什么概念了,只不过图灵机的内存(纸带)是潜无穷的(也就是可以任意长啦,“潜无穷”是古稀蜡人的说辞)。图灵机的定义形象的说来就像老式的电传机:一个读写头,一根纸带(可能任意长),读写头不断读取纸带上的符号,并根据内在的状态转换规则转换当前状态,同时进行一些动作,譬如插除或改写当前字符,向前/向后移动读写头或保持不动等。至于其抽象的定义大抵就是有限状态机的定义了。图灵机的这一定义现在我们看起来似乎是很显然的,然而当时却代表着一种思想上的革命,一种从无到有。图灵机实质上抽象出了我们平素进行机械式计算的核心规律,所以才等价于“一个人+纸笔+一定的规则”进行机械运算呢。这么个理论机器首先就指明了创建计算机的可能性,然而这还不够,如果为了某一个问题就去创建一个特定的图灵机的话效率就太低了。图灵机理论的一个最美妙的结论就是存在“元图灵机(Universal Turing-Machine,直译应为一般图灵机/通用图灵机,然而“元图灵机”更精确地表达了其意思),所谓元图灵机其实就是把图灵机作为运算对象的图灵机,假设有一个元图灵机M,一个图灵机P以及P的输入数据D,那么将(P,D)喂给元图灵机M,M就能够吐出P(D)(即P在D上的结果)。而这便是现在我们所用的计算机的始祖模型,其中M就好比我们的计算机(元图灵机),P则是程序(编码后的图灵机),D则是程序P的输入数据。元图灵机的存在表明了我们可以用一台机器来解决所有图灵可计算(turing-computable)的问题――只要喂给它解决这个特定问题的图灵机编码(程序)以及问题的输入数据即可,该元图灵机就会模拟我们喂给它的那个图灵机P的行为,最终给出结果。元图灵机的存在性为计算机的诞生点燃了一盏明灯,这是图灵机理论中最漂亮的发现。
钻石恒久远