- 1、本文档共18页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
孤独破译者与他计算机器(修订稿)
◇◇新语丝()()()()◇◇
孤独的破译者和他的计算机器(修订稿)
作者:若奇
他出生于伦敦,在远离父母的环境中孤独地长大。从小学到中学,他由于性
格离群和糟糕的文科成绩而饱受诟病。但他却从学习数学,阅读相对论和量子力
学中获得莫大乐趣。从中学开始他可能不自觉地发展了同性恋的性取向。他的第
一个精神“恋人”,一位才华横溢、与他对自然科学有着同样热爱的高年级同学
的突然去世,对他打击甚深,既让他永远丧失了对宗教的信仰,也激发了他揭开
人类智能活动秘密的最初愿望。
在剑桥大学国王学院,他受到哥廷根数理逻辑学派的熏陶。大学毕业后的第
二年,24岁的他就以36页的一篇传世之作奠定了他在计算机科学史上的地位。
二次大战中他领导英国情报机构“第八室”,为破解德国海军“恩尼格玛”密码
系统立下汗马功劳,对盟军在大西洋海战中取得压倒性优势贡献巨大。二战后他
在英国国家物理研究所设计的ACE计算机被认为是第一台真正意义上的现代计算
机。1950年他的另一篇开创性论文奠定了计算机人工智能的基础。他作为世界上
第一个计算机“个人”用户和第一个专职程序员,使用曼彻斯特大学“Mark-I”
计算机,单枪匹马地创立了另一门学科“形态发生学”。他兴趣广泛,多才多艺,
在数学,量子力学,地学,化学和生物学等方面都卓有建树。
他性格孤独,行为乖僻,有些害羞。因为他公开的同性恋取向,50年代初冷
战开始后他失去了从事国家机密活动的资格。1952年,40岁的他被依据当时英国
法律指控非法进行同性恋活动,他高傲而不肯为自己抗辩,但为了避免坐牢从而
得以继续他的研究,他不得不接受令他蒙羞的“激素治疗”。他身心俱焚,形吊
影单,1954年6月的一天,他被发现死于寓所的床上,身边有一只被咬去几口的
苹果。检验证明这只苹果被剧毒氰化物浸泡过。他的死充满疑云,但被警方判定
为自杀。也许,他以无声的抗议走完了他短暂,辉煌而悲剧的一生。他没有留下
一句遗言。
2009年9月10日,英国政府正式为他洗去沉冤。布朗首相代表英国政府向他
因同性恋遭受的不公道歉。他说,“我代表英国政府、以及所有因他的工作而自
由生活的人们向他说:‘我们很抱歉,你本应得到更多的奖赏。’”
这个人,就是天才的英国数学家阿兰?图灵(Alan Turing,1912-1954)。
二十世纪是人类历史上科学技术发展最快的世纪。100年间,涌现了大量对
世界产生重大的影响的科学和技术发现,包括量子力学,相对论,抗生素,基因
科学,飞机,电视等等。但是,在上个世纪结束的时候,如果要评选一项已经渗
透至人们日常生活的所有角落,对人类的工作和生活影响最大的本世纪科技发展
的话,则非计算机莫属。
如同提到经典力学人们必然联想起牛顿,提到相对论人们必然联想起爱因斯
坦,每项里程碑式的人类文明发展都有其领军巨匠大师。计算机的发展也不例外。
阿兰?图灵的名字永远与计算机科学联系在一起。作为人类创造性心智和抽象思
维的典范,“图灵机”亦将永垂科学青史。“图灵测试”仍是迄今为止公认的判
定计算机是否具有智能的标准。
为了理解图灵的主要贡献,让我们简单回顾一下19世纪20世纪之交数学界的
状况。
尽管数学在当时已经有了长足的发展,人们仍然对有关实数的一些基本性质
感到困惑。在解决实数是否可数的过程中,集合论创始人康托(Georg Cantor,
1845-1918)发展了包含无限元素的集合的理论。康托发现,无限集合的真子集
可以和原集合一样“大”,有可数的无限和不可数的无限等等,这些概念都不是
直观的。据说,康托因为思考这些无限的大小和可数性而走火入魔,后半生生活
在半疯的状态中,出入精神病院,在数学,音乐,哲学和神学之间游走。
人们意识到,为了更准确地理解世界,必须借助严格和可靠的工具。以欧几
里德几何原理为代表的公理化方法渐入佳境。
数学家们开始以前所未有的热情和异乎寻常的严格来重新构造数学的基础。
皮亚诺(Giuseppe Peano, 1858-1932)建立了以公理系统为基础的自然数的运算
系统。弗雷泽(Gottlob Frege, 1848-1925)则更进一步,在集合论和数理逻辑的
基础上建立了实数的运算系统。著名数学家,近代数学的代表人物,哥廷根学派
的掌门人希尔伯特(David Hilbert, 1862-1943)在实数系统的基础上将欧氏几何
全部重新推导,将其牢固地建立在前所未有的严格的数学根基上。
到了19世纪行将结束的时候,数学大厦似乎已经构建得十分宏伟坚固。以
希尔伯特为代表的数学家们对解决残存的数学问题相当乐观。1900年8月,
在巴黎召开的第二届世界数学家大会上,希尔伯特应邀致辞,他豪情满怀,信心
爆棚地宣称:
无论这些难题看起来多么难以解决,无
文档评论(0)