数学家传记
高德纳是一位美国数学家和计算机科学家,以对算法研究的贡献和发明TeX排版语言而最为著名。
高德纳的父母是Ervin Henry Knuth和Louise Marie Bohning。高德纳的父亲Ervin是一所路德会学校的教师。他在决定高德纳的兴趣方面发挥了非常重要的作用,正是通过他的父亲,高德纳获得了对教育、音乐和数学的热爱。Ervin在周日教堂礼拜中演奏教堂管风琴,高德纳很快就成为管风琴的热情爱好者。
高德纳就读于路德会学校,这些学校特别强调英语语法,由此产生了高德纳对研究句子结构的热爱。他在中学头几年对此的迷恋,最终在接触计算机时自然而然地导向了编写计算机代码,但这直到他完成学校教育之后才发生。在中学的头几年里,还有其他迹象表明高德纳的兴趣最终会走向何方。有一个插曲,在大多数高德纳的传记中都有重复,但在这本传记中仍然值得重复,那就是关于“齐格勒巨型棒”的故事。
他参加了糖果制造商Ziegler设立的一项竞赛。竞赛的目的是看用“Ziegler's Giant Bar”的字母能组成多少个单词,对还是学生的高德纳来说,这正是他喜欢的那种挑战。他花了两周时间,期间假装生病,并借助词典想出了4500个单词。竞赛的评委只找到了2500个,高德纳轻松获胜。他事后评论说,如果他想到使用撇号,本可以找到更多!他的学校也因此受益,获得了一台电视机作为奖品。
在高中时,高德纳的兴趣更多地指向音乐而非数学。他的音乐兴趣包括演奏和作曲,他在那个阶段决定高中毕业后要学习音乐。高德纳在学校乐队中演奏萨克斯管,后来演奏大号。尽管他花了很多时间在音乐兴趣上,高德纳肯定没有忽视其他学校科目。他于1956年从高中毕业,平均成绩是他学校有史以来最高的。
在学校里,他开始表现出对数学的兴趣,并通过固定除一个变量外的所有变量、绘制所得图形来尝试在多个维度中想象曲面,以此自娱。这是理解数学函数的一种极好方法,如今借助计算机,这种方法以及更复杂的技术可以迅速让学生获得深刻理解。然而高德纳不得不通过为所绘制的每个值进行手工计算来绘制图形,这显示出他在“Ziegler's Giant Bar”竞赛中表现出的那种为解决问题投入数小时工作的奉献精神。人们可能会认为,鉴于他在学校的出色表现,他的老师会相信他能在大学里几乎任何他选择的科目上取得成功,但事实并非如此。问题在于高德纳在这个人生阶段并不相信自己,因此他的老师怀疑他是否具备成功所需的个性,尤其是自信。
这表明高德纳对自己的学习方向有多么犹豫不决:当他获得俄亥俄州克利夫兰凯斯理工学院学习物理的奖学金时,尽管他之前打算学习音乐,他还是接受了。他于1956年9月进入凯斯理工学院物理课程。从第二年起,高德纳开始转向数学而远离物理,这其实有两个原因。有一天,当高德纳本应与学院乐队一起演出时,他错过了送乐队去演出的巴士,于是发现自己有空闲时间,便尝试解决他的一位数学教授布置的挑战题。解出这道题使高德纳在那门课上自动获得“A”,也给了他所需的那种恰当激励,让他认为也许数学而非物理更适合他。其次,他发现物理实验课不适合他,因此最终转向数学成为自然而然的选择。
事实上,高德纳在凯斯学院的第一年就已经第一次接触计算机,那时他还没有转向数学。他不得不使用IBM 650,并查阅手册以了解如何编写程序[1]:-
……我们从IBM得到的手册会展示程序的例子,我知道我能做得……比那更好。所以我想我可能有些天赋。
高德纳利用他在编写计算机程序方面日益增长的专业知识,于1958年制作了一个程序来分析学院篮球队的表现。这引起了一些公众关注,IBM在他们的广告中使用了高德纳的照片。人们可能会预期这些事件会开始帮助他克服自卑情结,但他仍然觉得自己达不到标准。这使他投入大量额外时间在学术研究上。结果是,当他在1960年6月获得学士学位时,他被授予优异成绩,并且,在一个相当独特的举措中,学院同时授予他硕士学位,他的表现如此出色。高德纳在他毕业那年获得了两项奖学金,一项是伍德罗·威尔逊奖学金,另一项是国家基金会奖学金。
在还是博士生时就发表数学论文是一项真正的成就,但高德纳在完成本科学位的那一年就发表了两篇论文。这两篇是An imaginary number system和On methods of constructing sets of mutually orthogonal Latin squares using a computer I,后一篇论文是与钱德拉·鲍斯和I M Chakravarti合写的。在第一篇中,高德纳描述了一个以虚数2为基的虚数系统,给出了这些数的加法、减法和乘法方法。在第二篇论文中,高德纳和他的合著者给出了两组各五个12阶相互正交拉丁方。
1960年秋,高德纳进入加州理工学院,并于1963年6月因其学位论文Finite semifields and projective planes获得数学博士学位。事实上,除了数学博士研究工作之外,高德纳从1960年起就开始把他相当可观的计算专长用于撰写论文之外的用途,成为加利福尼亚州帕萨迪纳Burroughs公司的软件开发顾问。到1962年,他的计算专长已广为人知,以至于尽管他当时仍是博士生,Addison-Wesley仍与他接洽,请他写一本关于编译器的书。他在1962年夏天开始了这个项目。
他这一时期的出版物表明,他正在把计算应用于与他的学位论文工作无关的组合数学问题。例如,他把莱昂哈德·欧拉常数计算到1271位小数,并于1962年发表了结果。同年,他发表了用计算机求多项式值的工作。尽管高德纳在数学上成果丰硕,他确实也抽出时间做其他事情。在研究生期间,高德纳于1961年6月24日与Nancy Jill Carter结婚。他们的两个孩子弗瑞兹·约翰 Martin Knuth和Jennifer Sierra 高德纳分别出生于1965年和1966年。
我们在上文注意到,高德纳的博士论文题目是Finite semifields and projective planes。半域是一种代数结构,它满足除乘法结合律之外的除环所有通常公理。该论文包含大量关于有限半域及其与某些类型射影平面联系的信息。1963年完成博士学位后,高德纳成为加州理工学院数学助理教授,并于1966年晋升为副教授。1964年至1967年,他担任美国计算机协会编程语言编辑。他继续把计算应用于代数和组合数学问题。例如,1964年他发表了有限域的数据表,使快速计算机计算得以进行。他对音乐的热爱——他曾几乎把一生献给音乐——仍在继续,并于1965年加入美国管风琴师公会。他继续演奏音乐、创作音乐,甚至设计了自己的管风琴。
到1966年,他关于编译器的书已经增长到3000页手写稿,艾迪生-韦斯利意识到这是一部比他们最初设想的要重要得多的著作。讨论后决定高德纳应该制作一部七卷本的著作,涵盖的内容远不止编译器。这部著作成为The Art of Computer Programming,并于1968年开始出版,当时第1卷:Fundamental Algorithms问世。第2卷:Seminumerical algorithms在次年出版,第3卷:Sorting and searching在1973年出版。在前言中,高德纳写道,这些是:-
……旨在训练读者掌握程序员技艺所需的各种技能的书籍……[它们]并非作为计算机编程的入门读物;读者应该有一些先前的经验。[我的目标是提供](a)总结若干重要领域已获得知识的参考书,以及(b)用于自学或大学计算机与信息科学课程的教科书。
高德纳的目标是:-
……组织和总结关于计算机方法这一快速发展的学科已知的内容,并为其提供坚实的数学与历史基础。
... show that the connection between computers and mathematics is far deeper and more intimate than these traditional relationships would imply。
M Muller在评论这些精彩著作时写道:-
高德纳已经做出了及时而重大的贡献。他成功地在先前几乎不存在组织的地方提供了思想的组织;他提供了许多本质上新颖且有助于在所涵盖的各个领域中为早期工作者的努力获得抽象、整合或统一的基础的思想。
1968年,高德纳被任命为斯坦福大学计算机科学教授。在离开加州理工学院的同时,他也辞去了在Burroughs公司的顾问职位。高德纳在斯坦福大学度过了余下的职业生涯。他于1977年被任命为Fletcher Jones计算机科学讲席教授,并于1990年被命名为计算机编程艺术讲席教授。1993年,他成为斯坦福大学荣休教授,并继续居住在大学校园内。
高德纳对数学和计算做出了许多贡献。我们应该提到的一个特别贡献是高德纳-Bendix算法,这是用于代数结构计算的基本算法之一,特别是群和半群。这一重要贡献于1970年与他的学生Peter B Bendix联合发表,试图通过推导给定关系的后果来解决代数系统中的字问题,以在某种意义上给出一个完备集。另一个完全改变了数学印刷和传播方式的贡献是高德纳发明了TeX,一种用于排版数学和科学文章的语言。从1976年开始,高德纳从其他项目中抽出十年时间致力于TeX和METAFONT的开发,这是一种用于字母设计的计算机软件系统。
TeX改变了数学和科学出版的技术,因为它使数学家和科学家能够以最高质量印刷数学文章,而这只需使用家用电脑即可实现。然而,它不仅改变了数学和科学文章的出版方式,也改变了它们的传播方式。在17世纪,一位数学家会给另一位数学家写信,他们会用英语、法语或德语等讨论日常生活,但每当他们解释数学内容时,他们会使用拉丁语。如今,数学家通过电子邮件交流,每当他们想解释数学内容时,他们需要数学符号,几乎总是使用TeX来传播。据我们所知,没有人试图衡量TeX对数学产出水平的影响,事实上这将是一件非常难以衡量的事情,但尽管如此,我[EFR]确信,使用TeX带来的数学生产和传播的额外便利,在过去十年中对这门学科产生了重大影响。
我们应当提及高德纳众多进一步贡献中的几项:编程语言的语义学;属性文法;解析的发展;用于搜索字符串的高德纳-Morris-Pratt算法;以及结构化文档和文学编程。关于解析的工作出现在1965年的论文On the translation of languages from left to right中。在这篇论文中,高德纳写道:-
最近,人们对那些语法足够简单、以至于可以从语法机械地生成高效从左到右分析算法的语言产生了很大兴趣。在本文中,我们定义LR(k)文法,这也许是这类文法中最一般的一类,它们为理解在构造简单结构语言(例如代数语言)的分析算法时所使用的所有特殊技巧提供了基础。
高德纳-Morris-Pratt模式匹配算法发表在1977年的论文Fast pattern matching in strings中。高德纳继续在计算机科学、组合数学和代数(他博士论文的主题)方面发表重要贡献。例如在后一领域,他于1991年发表了Efficient representation of perm groups。他在引言中写道:-
本文给出了C C Sims算法的一个初等版本,用于计算给定置换群的强生成元,并附有正确性证明以及关于适当底层数据结构的一些说明。
由于他相当杰出的贡献,高德纳获得了许多荣誉——多到无法在这篇长度的文章中一一提及。让我们只列出其中一小部分。1971年,他成为美国计算机协会格蕾丝·霍珀奖的首位获得者;1973年,他当选为美国艺术与科学院会士;1974年,他获得美国计算机协会的艾伦·图灵奖;1975年,他当选为国家科学院院士;同年,他获得美国数学协会颁发的Lester R 莱斯特·佛特奖;1979年,他被授予国家科学奖章(由卡特总统颁发);1981年,他当选为国家工程院院士;1982年,他当选为IEEE荣誉会员,并于同年获得该组织的计算机先驱奖;1986年,他获得美国数学会颁发的凯瑟琳·斯蒂尔阐述性写作奖;1988年,他被授予富兰克林奖章;1992年,他当选为Académie des Sciences院士;1994年,他获得瑞典科学院颁发的Adelskold奖章;1995年,他获得IEEE颁发的冯·诺伊曼奖章;1996年,他获得稻盛基金会颁发的京都奖。
让我们提一下高德纳自2000年以来获得的一些荣誉。他获得了世界范围内众多大学的荣誉学位:加拿大滑铁卢大学(2000年)、图宾根大学(2001年)、奥斯陆大学(2002年)、安特卫普大学(2003年)、哈佛大学(2003年)、马其顿大学(2003年)、蒙特利尔大学(2004年)、苏黎世联邦理工学院(2005年)、康考迪亚大学(2006年)、威斯康星大学(2006年)、波尔多大学(2007年)。2003年,他当选为伦敦皇家学会会士,2008年当选为俄罗斯科学院会士。2006年,他被授予亚美尼亚国立工程大学金质奖章,同年获得埃里温国立大学金质奖章。2001年,小行星“(21656) 高德纳”以他的名字命名。
2015年,高德纳在其150周年之际当选为伦敦数学会荣誉会员。简短引文如下:-
高德纳是世界上最伟大的计算机科学家之一,他的工作在过去半个世纪中对这门学科产生了深远影响。他的研究涵盖数学和计算机科学的多个领域,包括随机图中的结构、泛代数中的字问题、字符串中的模式匹配、前缀码和二叉搜索树。
最后让我们引用Stanford Magazine中关于高德纳退休后日常生活的内容:-
退休后,他仍然每周编写几个程序。他不再指导学生,但每年主持几次免费的公开计算机沉思讲座,偶尔旁听研究生课程,并且每周大多数日子骑自行车到校园使用图书馆或在水上中心游泳。
Donald Knuth's parents were Ervin Henry Knuth and Louise Marie Bohning. Donald's father Ervin was a school teacher who taught in a Lutheran school. He played a very important role in determining Donald's interests, and it was through his father that Donald gained his love for education, music, and mathematics. Ervin played the church organ at the Sunday church services and Donald soon became a passionate lover of the organ.
Donald attended Lutheran schools and from the special emphasis that was placed on English grammar in these schools came Knuth's love of investigating sentence structure. His fascination with this in his first couple of years of secondary school would lead naturally towards writing computer code when he eventually encountered computers, but this did not happen until after his school education was complete. During these first years at secondary school there were other signs of where Knuth's interests would eventually lead. One episode, repeated in most biographies of Knuth but still worth repeating in this one, concerns "Ziegler's Giant Bar."
He entered a competition set up by the confectionary manufacturer Ziegler. The aim was to see how many words could be made with the letters of "Ziegler's Giant Bar" and for the schoolboy Knuth this was exactly the sort of challenge that he loved. He spent two weeks during which he pretended to be ill and, using a dictionary, he came up with 4500 words. The judges for the competition had only found 2500 and Knuth was an easy winner. He commented afterwards that had he thought to use the apostrophe he could have found many more! His school benefited by receiving a television set as a prize.
At high school Knuth's interests were more directed towards music than they were to mathematics. His musical interests involved both playing and composing music and he decided at that stage that he would study music after graduating from high school. Knuth played the saxophone, and later the tuba, in his school band. Although he spent much time with his musical interests, Knuth most certainly did not neglect his other school subjects. He graduated from High School in 1956 with the highest grade point average that anyone had ever achieved at his school.
At school he had begun to show an interest in mathematics and he amused himself by trying to visualise surfaces in several dimensions by plotting the graphs obtained by keeping all but one of the variables fixed. This is an excellent way to understand mathematical functions and today with the aid of computers this, and more sophisticated techniques, can quickly give students a deep understanding. However Knuth had to plot his graphs by doing hand calculations for every value which he plotted, showing the same sort of dedication to putting hours of work into problems that he had shown with the "Ziegler's Giant Bar" competition. One might have thought that his teachers would have believed that he could succeed at college in almost any subject he chose given his outstanding school performance, but this was not really so. The problem was that Knuth did not believe in himself at this stage in his life and so his teachers doubted whether he had the personality, in particular the confidence, to succeed.
It shows how undecided Knuth was about the direction his studies might take that when offered a scholarship to Case Institute of Technology in Cleveland, Ohio, to study physics he accepted despite his previous intentions to study music. He entered the physics course at the Case Institute in September 1956. There were really two reasons why, from his second year on, Knuth started to move towards mathematics and away from physics. One day when Knuth was meant to be performing with the College band he missed the bus taking the band to the performance so, finding himself with free time, he tried to solve a challenge problem that one of his mathematics professors had set. Solving it earned Knuth an automatic "A" in that class and also the right sort of boost he needed to think that perhaps mathematics rather than physics was for him. Secondly he found that physics practicals did not suit him, so in the end the move towards mathematics became a natural one to make.
In fact Knuth already had his first encounter with computers in his first year at Case before he made the move towards mathematics. He had to use the IBM 650 and consulted the manual to find out how to write programs [1]:-
... the manual we got from IBM would show examples of programs and I knew I could do ... better than that. So I thought I might have some talent.
Knuth used his growing expertise at writing computer programs to produce one in 1958 to analyse the performance of the College basketball team. It led to some publicity and IBM used a photograph of Knuth in their advertising. One might have expected that events would begin to help him overcome his inferiority complex but he still felt that he was not up to standard. This had the effect of making him put in large amounts of extra work at his academic studies. The result was that when he graduated with his B.S. in June 1960 he was awarded a distinction and, in a quite unique move, the College awarded him a Master's Degree at the same time, such was the brilliance of his performance. Knuth was awarded two Fellowships, a Woodrow Wilson Fellowship and a National Foundation Fellowship in the year of his graduation.
It is a real achievement to publish a mathematics paper while still a doctoral student, but Knuth managed to publish two papers in the year he completed his undergraduate degree. These were An imaginary number system and On methods of constructing sets of mutually orthogonal Latin squares using a computer I the latter paper being written jointly with R C Bose and I M Chakravarti. In the first Knuth describes an imaginary number system using the imaginary number 2 as its base, giving methods for the addition, subtraction and multiplication of the numbers. In the second paper Knuth and his co-authors give two sets of five mutually orthogonal Latin squares of order 12.
In the autumn of 1960 Knuth entered the California Institute of Technology and, in June 1963, he was awarded a Ph.D. in mathematics for his thesis Finite semifields and projective planes. In fact in addition to the work for his doctorate in mathematics, Knuth had from 1960 begun to put his very considerable computing expertise to uses other than writing papers becoming a software development consultant to the Burroughs Corporation in Pasadena, California. Knowledge of his computing expertise was so well established by 1962 that, although he was still a doctoral student at the time, Addison-Wesley approached him and asked him to write a text on compilers. He began that project in the summer of 1962.
His publications from this time show that he was applying computing to combinatorial mathematical problems which were not connected to the work he was undertaking for his thesis. For example he computed Euler's constant to 1271 decimal places and published the result in 1962. In the same year he published work on the evaluation of polynomials by computer. Despite Knuth's remarkable mathematical productivity he did find time for other things. During his years as a graduate student Knuth married Nancy Jill Carter on 24 June 1961. Their two children John Martin Knuth and Jennifer Sierra Knuth were born in 1965 and 1966 respectively.
We noted above that the title of Knuth's Ph.D. thesis was Finite semifields and projective planes. A semifield is an algebraic structure satisfying all the usual axioms for a division ring except associativity of multiplication. The thesis contains a wealth of information on finite semifields and their connections to certain types of projective planes. After completion of his doctorate in 1963 Knuth became an Assistant Professor of Mathematics at the California Institute of Technology, being promoted to Associate Professor in 1966. From 1964 to 1967 he worked as an Editor of Programming Languages for the Association for Computing Machinery. He continued to apply computing to algebraic and combinatorial mathematics problems. For example in 1964 he published tables of data for finite fields which enabled rapid computer calculations to be carried out. His great love of music, which he had almost devoted his life to, continued and in 1965 he joined the American Guild of Organists. He would continue to play music, compose music and has even designed of his own pipe organ.
By 1966 his book on compilers had grown to 3000 handwritten pages and Addison-Wesley realised that here was a much more major work than they had originally envisaged. Discussions led to a decision that Knuth should produce a seven volume work covering much more than compilers. The work became The Art of Computer Programming and publication began in 1968 when Volume 1: Fundamental Algorithms appeared. Volume 2: Seminumerical algorithms came out in the following year, and Volume 3: Sorting and searching in 1973. In the Preface Knuth writes that these are:-
... books that have been designed to train the reader in the various skills which go into a programmer's craft... [They are] not meant to serve as an introduction to computer programming; the reader is supposed to have some previous experience. [I aim to provide] (a) reference books which summarize the knowledge which has been acquired in several important fields, and (b) textbooks for self-study or for college courses in the computer and information sciences.
Knuth's aim was to:-
... organize and summarize what is known about the fast subject of computer methods and to give it firm mathematical and historical foundations.
... show that the connection between computers and mathematics is far deeper and more intimate than these traditional relationships would imply.
M Muller, reviewing these wonderful books, writes that:-
Knuth has already made a timely and great contribution. He has managed to provide organization of ideas where little existed before; he has provided many ideas which in essence are new and helpful in obtaining a basis of abstraction, integration, or unification of efforts of earlier workers in the various fields covered.
In 1968 Knuth was appointed as Professor of Computer Science at Stanford University. At the same time as he left the California Institute of Technology he also resigned his consultancy position with the Burroughs Corporation. Knuth remained at Stanford University for the remainder of his career. He was appointed Fletcher Jones Professor of Computer Science in 1977 and in 1990 he was named Professor of The Art of Computer Programming. In 1993 he became Professor Emeritus at Stanford University and continued to live on the University Campus.
Knuth has made many contributions to mathematics and computing. One particular contribution we should mention is the Knuth-Bendix algorithm, one of the fundamental algorithms for computing with algebraic structures, particularly with groups and semigroups. This important contribution, published jointly with his student Peter B Bendix in 1970, attempts to solve the word problem in algebraic systems by deriving consequences of given relations to give, in some sense, a complete set. Another contribution, which has totally changed the whole way that mathematics is printed and communicated is Knuth's invention of TeX, a language for typesetting mathematical and scientific articles. Starting in 1976 Knuth took ten years off his other projects to work on the development of TeX and METAFONT, a computer software system for alphabet design.
TeX has changed the technology of mathematics and science publishing since it enables mathematicians and scientists to produce the highest quality of printing of mathematical articles yet this can be achieved simply using a home computer. However, it has not only changed the way that mathematical and scientific articles are published but also in the way that they are communicated. In the 17th century a mathematician would have written a letter to another mathematician and they would discuss their everyday lives in English, French or German, say, but whenever they came to explain a piece of mathematics they would use Latin. Nowadays mathematicians communicate by e-mail and whenever they want to explain a piece of mathematics they require mathematical symbols which almost always they communicate using TeX. Nobody, to our knowledge, has tried to measure the impact of TeX on the level of mathematical production, and indeed this would be a very difficult thing to measure, but nevertheless I [EFR] am certain that the added ease of production and communication of mathematics using TeX has had a major impact on the subject over the last ten years, say.
We should mention a few of the many further contributions by Knuth: semantics of programming languages; attribution grammar; the development of parsing; the Knuth-Morris-Pratt algorithm which searches for a string of characters; and structured documentation and literate programming. The work on parsing appeared in a 1965 paper On the translation of languages from left to right. In this paper Knuth writes:-
There has been much recent interest in languages whose grammar is sufficiently simple that an efficient left-to-right parsing algorithm can be mechanically produced from the grammar. In this paper, we define LR(k) grammars, which are perhaps the most general ones of this type, and they provide the basis for understanding all of the special tricks which have been used in the construction of parsing algorithms for languages with simple structure, e.g., algebraic languages.
The Knuth-Morris-Pratt pattern matching algorithm was published in the 1977 paper Fast pattern matching in strings. Knuth continues to publish important contributions to computer science, combinatorics and algebra, the topic of his doctoral thesis. For example in the latter area he published Efficient representation of perm groups in 1991. He writes in the introduction:-
This note presents an elementary version of C C Sims's algorithm for computing strong generators of a given perm group, together with a proof of correctness and some notes about appropriate low-level data structures.
For his quite remarkable contributions Knuth has received many honours - far too many to be mentioned in an article of this length. Let us just list a small selection. He was the first recipient of the Grace Murray Hopper Award from the Association for Computing Machinery in 1971; he was elected a Fellow of the American Academy of Arts and Science in 1973; in 1974 he won the Alan M Turing Award from the Association for Computing Machinery; he was elected to the National Academy of Sciences in 1975; in the same year he won the Lester R Ford Award from the Mathematical Association of America; he was awarded the National Science Medal in 1979 (presented to him by President Carter); he was elected to the National Academy of Engineering in 1981; he was elected an honorary member of the IEEE in 1982 and awarded their Computer Pioneer Award in the same year; he was awarded the Steele Prize for Expository Writing from the American Mathematical Society in 1986; he was awarded the Franklin Medal in 1988; he was elected to the Académie des Sciences in 1992; he was awarded the Adelskold Medal from the Swedish Academy of Sciences in 1994; he was awarded the John von Neumann Medal from the IEEE in 1995; and the Kyoto Prize from the Inamori Foundation in 1996.
Let us mention a few of the honours that Knuth has received since 2000. He has received honorary degrees from a large number of universities world-wide: Waterloo University, Canada (2000), Tübingen University (2001), the University of Oslo (2002), Antwerp University (2003), Harvard University (2003), the University of Macedonia (2003), Montreal University (2004), ETH Zürich (2005), Concordia University (2006), Wisconsin University (2006), the University of Bordeau (2007). In 2003 he was elected to the Royal Society of London, and in 2008 to the Russian Academy of Sciences. He was awarded the Gold Medal from the State Engineering University of Armenia in 2006, and in the same year the gold medal from Yerevan State University. In 2001 the minor planet "(21656) Knuth" was named after him.
In 2015 Knuth was elected to Honorary Membership of the London Mathematical Society in its 150th Anniversary year. The short citation reads:-
Professor Knuth is one of the world's greatest computer scientists, whose works have had a profound influence on the subject over the past half-century. His research covers diverse areas of mathematics and computer science, including structure in random graphs, word problems in universal algebras, pattern matching in strings, prefix codes and binary search trees.
Finally let us quote from the Stanford Magazine about Knuth's daily life following retirement:-
In retirement, he still writes several programs a week. He no longer advises students, but he hosts free public Computer Musings talks several times a year, drops in on graduate-level courses occasionally, and bikes to campus most days of the week to use the libraries or swim at the aquatic centre.
正文里的方括号编号指向这里,悬停即可直接看到条目。书目保留原文——译了书名反而查不到文献。
原站列出的延伸阅读与外部数据库,照原样保留,目标多为英文页面。
原站的交叉引用。指向本站已镜像专题的留在站内,其余仍指回原站。