图灵奖中的数学家 zz

Allos

图灵奖中的数学家 zz

& p" {6 P$ q* [" X6 I 数学是所有工科的基础，要想在工程科学上真正严谨的作学问， 0 t0 |' e' @2 k2 P2 s% a6 j必须有一个扎实的数学功底。比如计算机科学中，离散数学就是它的 精髓。 ' L2 f- K- S. v: i 下面向大家介绍几位学数学出身或者本身就是数学家的计算机 图灵奖得主以及他们的主要成就。 4 {& T9 `9 ^9 X8 H 0 t8 C- a3 H2 Y2 @1986年获奖的Robert E.Tarjan，在加州理工获数学学士学位， Q- y* W. J; v4 e* K后来在Stanford取得计算机和数学博士学位。现在是Princeton计算机 系教授，主要研究图论，算法和数据结构设计。他发现了判断一个图 是否为平面图的线性时间复杂度的算法，在数据库软件，电路设计， 航空线路图优化等领域有广泛应用。Tarjan也是1982年首届Nevanlinna 1 e- e3 U Q3 {( o. M奖得主。 % k3 V8 n7 e' N3 w* n ; e0 f9 E6 b2 `6 d, e- I1972年获奖的Edsger W.Dijkstra，在祖国荷兰获数学和物理学 学士，理论物理博士学位。在他2000年退休前一直是美国Taxas大学的 # H1 _- ?; P; J8 W& Z$ {计算机科学和数学教授。发现了以他名字命名的图论中的最短路径算法。 但他获得图灵奖的主要原因却是发明了ALGOL这一第二代编程语言。 ; d; b3 w+ h9 S, _; v7 I& p7 r1985年获奖的Richard M.Karp，在Harvard大学获应用数学博士学位。 现在是Berkeley大学计算机系教授。最重要的论文是1972年发表的 "Reducibility Among Combinatorial Problems"。他在并行算法，组合 # F3 ^, E% a1 Q, {优化问题的概率分析方面颇有建树。现在的研究方向是人类基因测序和 基因数据表达。他也是美国国家科学院院士，获得过美国国家科学奖。 - c2 w: e1 g1 V9 _3 b1974年获奖的Donald E. Knuth，在加州理工获数学博士，退休前 是Standford大学计算机系教授。发明数学排版软件TeX，现在正在撰写 : e6 p4 H; }, }. l8 P0 u巨著 The Art of Computer Programming，已出版3卷。 1983年获奖的Dennis M.Ritchie，在Harvard大学获应用数学博士学位。 毕业后加入Bell实验室，参与发明了Unix操作系统，发明了C,C++编程语言。 ) n: {4 e B- ` X8 \ 1989年获奖的William V.Kahan是加州Berkeley分校的数学教授。他因为 & v3 B9 k& `! N8 G2 E$ S在数值计算，特别是浮点运算方面的贡献而获奖，有人评价他是 "dedicated himself to make the world safe for numerical computations." + J/ \# {4 S' E) [/ h, o1987年获奖的John Cocke，在Duke大学获数学博士学位。毕业后进入 0 b$ T! z: l" S5 O8 G HIBM公司工作，同时也在MIT和NYU的Courant研究所做过客座教授。主要贡献 4 J! U& U# c; c P S是发明了RISC（reduced instruction set computers），大大改善了芯片 1 m3 W! d4 m* F8 t$ |3 Z的性能。 $ c9 [4 |. E4 \- b: y0 o" X5 I# ? / `; C/ N: {1 o1969年获奖的Marvin Minsky，在Harvard获数学学士，在Princeton获 数学硕士，后在MIT任数学和计算机教授。主要贡献是人工智能。 3 N2 ]# Y1 l# j2 k- w/ R2 ~+ U: x 5 g. C. ]; d7 W' R6 d' J3 C1971年获奖的John McCarthy，在加州理工获数学学士，在Princeton获数学博士学 位。人工智能大师，Lisp语言发明人。 ! j& [2 X: i+ S. ^: ?" `; w ! \$ @" @5 h/ Y3 f1970年获奖的John Hardy Wilkinson，16岁入Rochester大学数学系学习，后在剑桥 大学获博士学位。 主要贡献是数值计算和"backward"误差分析。

) B' o6 w* y6 n5 [1968年获奖的Richard Hamming，在UIUC获数学博士学位，博士论文题目是“线性微分方 ( p9 v& z6 F; }# \8 L程中的边值问题”。在数值分析，概率统计，编码理论上有卓越建树。 附录： 8 C. k4 Y6 r) n8 @; N* _/ yhttp://www.cs.wlu.edu/~whaleyt/classes/313/Turing/ # b/ @# g P: ?7 l) T4 s4 |( y 8 \* }4 f: v- X U# ~+ U6 l