图灵奖中的数学家

数学是所有工科的基础，要想在工程科学上真正严谨的作学问，必须有一个扎实的数学功
底。比如计算机科学中，离散数学就是它的精髓。
下面向大家介绍几位学数学出身或者本身就是数学家的计算机图灵奖得主以及他们的主要
成就。
1986年获奖的Robert E.Tarjan，在加州理工获数学学士学位，后来在Stanford取得计算机
和数学博士学位。是Princeton计算机系教授，主要研究图论，算法和数据结构设计。他发
现了判断一个图是否为平面图的线性时间复杂度的算法，在数据库软件，电路设计，航空
线路图优化等领域有广泛应用。Tarjan也是 1982年首届Nevanlinna奖得主。
1972年获奖的Edsger W.Dijkstra，在祖国荷兰获数学和物理学学士，理论物理博士学位。
在他2000年退休前一直是美国Taxas大学的计算机科学和数学教授。发现了以他名字命名的
图论中的最短路径算法。但他获得图灵奖的主要原因却是发明了ALGOL这一第二代编程语言
。
1985年获奖的Richard M.Karp，在Harvard大学获应用数学博士学位。现在是Berkeley大学
计算机系教授。最重要的论文是1972年发表的 “Reducibility Among Combinatorial Pro
blems”。他在并行算法，组合优化问题的概率分析方面颇有建树。现在的研究方向是人类
基因测序和基因数据表达。他也是美国国家科学院院士，获得过美国国家科学奖。
1974年获奖的Donald E. Knuth，在加州理工获数学博士，退休前是Standford大学计算机
系教授。发明数学排版软件TeX，现在正在撰写巨著 The Art of Computer Programming，
已出版3卷。
1983年获奖的Dennis M.Ritchie，在Harvard大学获应用数学博士学位。毕业后加入Bell实
验室，参与发明了Unix操作系统，发明了C,C++编程语言。
1989年获奖的William V.Kahan是加州Berkeley分校的数学教授。他因为在数值计算，特别
是浮点运算方面的贡献而获奖，有人评价他是”dedicated himself to make the world s
afe for numerical computations.”
1987年获奖的John Cocke，在Duke大学获数学博士学位。毕业后进入IBM公司工作，同时也
在MIT和NYU的Courant研究所做过客座教授。主要贡献是发明了 RISC（reduced instruct
ion set computers），大大改善了芯片
的性能。
1969年获奖的Marvin Minsky，在Harvard获数学学士，在Princeton获数学硕士，后在MIT
任数学和计算机教授。主要贡献是人工智能。
1971年获奖的John McCarthy，在加州理工获数学学士，在Princeton获数学博士学位。人
工智能大师，Lisp语言发明人。
1970年获奖的John Hardy Wilkinson，16岁入Rochester大学数学系学习，后在剑桥大学获
博士学位。 主要贡献是数值计算和”backward”误差分析。
1968年获奖的Richard Hamming，在UIUC获数学博士学位，博士论文题目是“线性微分方程
中的边值问题”。在数值分析，概率统计，编码理论上有卓越建树。