计算之美-图灵奖第一个40年(上册)

计算的美丽—图灵奖第一个四十年（上）陈怀临，首席科学家《弯曲评论》@tektalk.cnwinxos11-01-28winxos11-01-28前言：《计算的美丽–图灵奖的第一个40年》(以下简称《计算的美丽》)原成文与2006年5月，并发布于上。现校订修改独家发表于《弯曲评论》。计划从2月8日开始，每周星期五介绍一个图灵奖获得者。如需转载，请参阅《弯曲评论》版权申明。《计算的美丽》的组织方式如下：*编年题材通过从1966年开始的图灵奖，逐年介绍当年的图灵奖获得者。到目前为止，是图灵奖的第一个40年(1966–2005)。总共有50位杰出的科学家获得了此荣誉。到现在为止（2008年2月8日）近2年过去了。新的4位图灵奖获得者也产生了（2006年一位，2007年三位）。笔者在修订此书时，也一并将最新的获奖科学家收录于此。另外，两年来，也发生了两位图灵奖获得者科学家一位失踪，一位离开人世的悲痛消息。他们分别是1998年图灵奖获得者、著名的数据库研究领域科学家JamesGray和1977年图灵奖获得者、Fortan程序语言和BNF范式的发明人JohnBackus。他们的失踪和离世是全人类的损失。笔者坚信，他们的名字必将与他们在其所在研究领域的发明创造一样，流芳百世。*内容组织对每一年的图灵奖，组织方式如下：–照片–得奖科学家名称，生肖–图灵奖研究工作引用–图灵奖研究工作引用(中文翻译)–编者注(关于相关的该学术研究领域介绍)–当年图灵奖演讲文章–图灵奖获得者简介–图灵将获得者照片收集笔者希望通过这样的方式，提供给读者一个快速，综合的渠道，可以展开并了解历届图灵奖获得者的生平、研究贡献和相关领域的发展和历史上的一些重要文献。该电子书籍可以适用于数学和计算机相关领域的在校学生，研究生作为课外读物。也可以适用于计算机相关工程技术人员业余时间阅读。谨以此书献给为中国信息产业和计算机界的人们!希望不久的将来，中国在计算领域也产生为共享的人类文明做出重要贡献的科学家!1.计算的美丽–1966年图灵奖获得者AlanPerlisAlanJ.Perlis(04/01/1922–02/07/1990)图灵奖获得时间：1966年。第一位图灵奖(1966年)获得者。图灵奖引用(TuringAwardCitation)：“Forhisinfluenceintheareaofadvancedprogrammingtechniquesandcompilerconstruction”【笔者译：】“(授予AlanJ.Perlis图灵奖以表彰其在)高级编程技术及其编译器构造领域的影响。”笔者注：Alan上述的工作主要来源于，作为一个主要研发成员，在ALGOL(ALGOrithmicLanguage)编程语言方面的贡献。ALGOL语言直接导致了PASCAL语言的产生。关于ALGOL语言，可参阅：://en.wikipedia.org/wiki/ALGOL_programming_language关于编程语言的历史与演变，可参见：计算机语言发展历史(图灵奖演讲文章)：“TheSynthesisofAlgorithmicSystems”(算法系统的合成),JournaloftheACM,14(1):1-9,January1967AlanJ.Perlis简介:AlanJ.PerlisWiki:，出生于美国宾州Pittsburgh,Pennsylvania.1943年获得卡内基梅隆大学（CMU）()的化学学士学位。1949年和1950年，分别获得MIT的数学硕士与博士学位。其博士论文题目为“OnIntegralEquations,theirSolutionbyIterationandAnalyticContinuation”.Alan是著名的CMU计算机科学系的首位系主任在1965年到1971年。在1971年，Alan加入耶鲁大学计算机科学系，并在1976年到1980年出任计算机系系主任。1982年，Alan在耶鲁大学计算机系任职期间，撰写了一篇著名的文章—”EpigramsonProgramming”(编程警言)并发表在ACMSIGPLAN杂志上(Vol.17,No.9,September1982)。这篇包含130个警言的文章得到了工业界和学术界广泛的注意和引用。原文可参见：://关于Alan更详细的生平和学术介绍可参见：AlanJ.Perlis的生平与学术生涯的学生及其谱系可以参阅如下：的历史照片:2.计算的美丽–1967年图灵奖获得者MauriceV.WikesMauriceVincentWilkes(06/26/1913—)图灵奖获得时间：1967年。第二位图灵奖获得者。图灵奖引用(TuringAwardCitation)：“ProfessorWilkesisbestknownasthebuilderanddesigneroftheEDSAC,thefirstcomputerwithaninternallystoredprogram.Builtin1949,theEDSACusedamercurydelaylinememory.Heisalsoknownastheauthor,withWheelerandGill,ofavolumeon“PreparationofProgramsforElectronicDigitalComputers”in1951,inwhichprogramlibrarieswereeffectivelyintroduced.”【笔者译：】“(授予MauriceV.Wilkes图灵奖以表彰其在)Wikes教授以设计和实现了第一台具有内部存储程序的计算机EDSAC而闻名。EDSAC在1949年5月成功运行并使用了汞(MercuryDelayLine)的存储器。与Wheeler和Gill一起，Wilkes教授在1951年出版了“PreparationofProgrammingforElectronicDigitalComputers”一书。在这本书中，程序库的概念和用法被首次有效的提出。”笔者注：EDSAC:ElectronicDelayStorageAutomaticCalculatorEDSAC项目是1946年开始的。一般而言，学术与工业界认为，世界上第一台通用电子计算机是ENIAC(electronicnumericalintegratorandcomputer)。ENIAC是有美国宾州大学电子系MooreSchoolofElectricalEngineering(UniversityofPennsylvania)在1943年到1946年设计的。其主要贡献者是J.PresperEckertandJohnMauchly。ENIAC不是含有存储器结构的计算机。1944年8月，JohnMauchly和J.PresperEckert提出了EDVAC(electronicdiscretevariableautomaticcomputer)项目。1944年，JohnVonNeumann(冯.诺依漫)加入了ENIAC研发小组。深受图灵(Turing)的UniversalMachine的启发，冯..依漫强调了一个计算机必须具备存储器的结构，在1945年6月撰写了其著名的”FirstDraftofareporttotheEDVAC”。这也就是我们常说的冯.诺依漫机器结构。可惜的是，虽然EDVAC的设计在1946年就完成了，但直到1952年才完成。而此时，剑桥大学的Wilkes已经在1949年完成了EDSAC的设计与工程建造。或者我们说EDSAC是第一台诺依漫机器结构的电子计算机。目前关于是谁第一个提出存储结构的计算机体系结构，存在着许多不同的声音。人们认为，在诺依漫加入ENIAC项目之前，JohnMauchly和J.PresperEckert就已经提出用水银来做存储器的想法并写下了一个内部备忘录。“Aroundthesummerof1943,MauchlyandEckertdiscussedtheconceptofcreatingastored-programcomputer,inwhichaninternalread-writememorywouldbeusedtostorebothinstructionsanddata.Thistechniquewouldallowtheprogramtobranchtoalternateinstructionsequencesbasedontheresultsofpreviouscalculations,asopposedtoblindlyfollowingapre-determinedsequenceofinstructions.”“Eckert’sideawastousemercurydelaylines(whichhealreadyknewagreatdealabout)forthememory.Aroundthebeginningof1944,Eckertwroteaninternalmemoonthesubjectand,inAugust1944,MauchlyandEckertproposedthebuildingofanothermachinecalledtheelectronicdiscretevariableautomaticcomputer(EDVAC).历史的许多往事是很难彻底清楚的。我们可以相信，在诺依漫写下其存储结构的计算机设计报告之前，这些想法都已经存在和被讨论过。从历史的长河来看，我们后来人对这些早期的科学家们都是一样的尊敬，是他/她们为人类带来了计算的美丽,是他/她们创造了新的文明，一些相关链接，以方便读者阅读更多的资料:ENIACWiki:::周年的纪念活动：更多的关于EDSAC的图片资料：:(图灵奖演讲文章)：“ComputersThenandNow”,JournaloftheACM(JACM)Volume15,Issue1(JanuaryPresentedattheACM20thAnniversaryConference,Washington,D.C.,August1967.ABSTRACTReminiscencesontheearlydeve