图灵奖中的数学家 zz

Allos

图灵奖中的数学家 zz

2 b/ f" ?! y) X0 l& b 数学是所有工科的基础，要想在工程科学上真正严谨的作学问， 必须有一个扎实的数学功底。比如计算机科学中，离散数学就是它的 精髓。 下面向大家介绍几位学数学出身或者本身就是数学家的计算机 5 {; x* I: |* h# o H' |图灵奖得主以及他们的主要成就。 % u4 \+ N% v; O1 G + L3 K4 T! {' R* I7 p7 s6 {1986年获奖的Robert E.Tarjan，在加州理工获数学学士学位， 后来在Stanford取得计算机和数学博士学位。现在是Princeton计算机 系教授，主要研究图论，算法和数据结构设计。他发现了判断一个图 " H5 v8 _ D" z7 J是否为平面图的线性时间复杂度的算法，在数据库软件，电路设计， 航空线路图优化等领域有广泛应用。Tarjan也是1982年首届Nevanlinna 5 u/ M: v, d( G1 b3 L奖得主。 " F- D5 W7 I9 |. D+ n" w1 l $ y. ]2 B, T9 m% C9 w: r6 d1972年获奖的Edsger W.Dijkstra，在祖国荷兰获数学和物理学 学士，理论物理博士学位。在他2000年退休前一直是美国Taxas大学的 % l- c. f! @: T3 j! d3 }计算机科学和数学教授。发现了以他名字命名的图论中的最短路径算法。 但他获得图灵奖的主要原因却是发明了ALGOL这一第二代编程语言。 ) i( ^. f% e2 q+ a5 e ! C/ H* `( g) v0 i5 p2 n; l+ \, l" ~1985年获奖的Richard M.Karp，在Harvard大学获应用数学博士学位。 现在是Berkeley大学计算机系教授。最重要的论文是1972年发表的 ( r6 E* T8 @) I/ @) i; ^"Reducibility Among Combinatorial Problems"。他在并行算法，组合 ( m$ F) S0 J( ^1 }' J* h优化问题的概率分析方面颇有建树。现在的研究方向是人类基因测序和 % M0 S7 `5 q' S基因数据表达。他也是美国国家科学院院士，获得过美国国家科学奖。 $ E" l+ D, S) b) T8 Z* O' q 1974年获奖的Donald E. Knuth，在加州理工获数学博士，退休前 是Standford大学计算机系教授。发明数学排版软件TeX，现在正在撰写 巨著 The Art of Computer Programming，已出版3卷。 1983年获奖的Dennis M.Ritchie，在Harvard大学获应用数学博士学位。 毕业后加入Bell实验室，参与发明了Unix操作系统，发明了C,C++编程语言。 1 o- R0 }5 y+ L6 y" o 0 ^9 }$ z! t7 x% v2 f! D' l( c1989年获奖的William V.Kahan是加州Berkeley分校的数学教授。他因为 在数值计算，特别是浮点运算方面的贡献而获奖，有人评价他是 a( ?, {& |) I4 ?; F! X1 j* V"dedicated himself to make the world safe for numerical computations." - l/ Q, |/ g; D0 s: N ' }: f$ Z9 ~/ n6 Z1987年获奖的John Cocke，在Duke大学获数学博士学位。毕业后进入 , f1 g& a8 W t: H" oIBM公司工作，同时也在MIT和NYU的Courant研究所做过客座教授。主要贡献 是发明了RISC（reduced instruction set computers），大大改善了芯片 的性能。 0 `, g7 }; e% w% N) K3 z! f1969年获奖的Marvin Minsky，在Harvard获数学学士，在Princeton获 % }# d$ I9 ?* s! J1 _: i& d# f" v数学硕士，后在MIT任数学和计算机教授。主要贡献是人工智能。 " C0 ?/ s- c; o 1971年获奖的John McCarthy，在加州理工获数学学士，在Princeton获数学博士学 7 ?8 H) h2 `; T4 I' M4 B, S; ]* w位。人工智能大师，Lisp语言发明人。 . n, T' _: n Z8 ]; n; ~ 1970年获奖的John Hardy Wilkinson，16岁入Rochester大学数学系学习，后在剑桥 ( t: f; J0 s) E大学获博士学位。 主要贡献是数值计算和"backward"误差分析。

% a1 C, l. g7 K

2 } p. B: c% c/ I1968年获奖的Richard Hamming，在UIUC获数学博士学位，博士论文题目是“线性微分方 + h" m* `4 [" O6 D2 {/ h8 i 程中的边值问题”。在数值分析，概率统计，编码理论上有卓越建树。 附录： http://www.cs.wlu.edu/~whaleyt/classes/313/Turing/