图灵奖中的数学家 zz

Allos

图灵奖中的数学家 zz

2 U% u, R ]3 y9 A' H

& x: j% B1 B& k/ | 数学是所有工科的基础，要想在工程科学上真正严谨的作学问， 必须有一个扎实的数学功底。比如计算机科学中，离散数学就是它的 6 k, l0 C7 K+ ]% ], M+ x精髓。 * R2 d+ O1 L6 C0 z2 O下面向大家介绍几位学数学出身或者本身就是数学家的计算机 & W# y) {7 ^; b P0 p+ o图灵奖得主以及他们的主要成就。 1986年获奖的Robert E.Tarjan，在加州理工获数学学士学位， 后来在Stanford取得计算机和数学博士学位。现在是Princeton计算机 系教授，主要研究图论，算法和数据结构设计。他发现了判断一个图 " g% a2 q9 o7 ]" J# z) r+ k是否为平面图的线性时间复杂度的算法，在数据库软件，电路设计， + x/ K: R. \* H航空线路图优化等领域有广泛应用。Tarjan也是1982年首届Nevanlinna 奖得主。 I) q9 W" Y7 G" Q# H2 G1972年获奖的Edsger W.Dijkstra，在祖国荷兰获数学和物理学 学士，理论物理博士学位。在他2000年退休前一直是美国Taxas大学的 计算机科学和数学教授。发现了以他名字命名的图论中的最短路径算法。 但他获得图灵奖的主要原因却是发明了ALGOL这一第二代编程语言。 ' f, `3 H8 S% ~& R, z' u+ w0 F! [ 6 O; q4 n2 Y ]3 O' ]/ g6 ]1985年获奖的Richard M.Karp，在Harvard大学获应用数学博士学位。 + _3 o9 W4 {3 P现在是Berkeley大学计算机系教授。最重要的论文是1972年发表的 "Reducibility Among Combinatorial Problems"。他在并行算法，组合 优化问题的概率分析方面颇有建树。现在的研究方向是人类基因测序和 $ e& I H4 E. R9 C# {+ t) P+ s基因数据表达。他也是美国国家科学院院士，获得过美国国家科学奖。 - E$ t/ e9 C4 G! a. @3 t8 J( A2 E: ` h - j& y% t0 F9 i9 X- `1974年获奖的Donald E. Knuth，在加州理工获数学博士，退休前 是Standford大学计算机系教授。发明数学排版软件TeX，现在正在撰写 巨著 The Art of Computer Programming，已出版3卷。 ) q5 R) J% ]0 C) k4 e f; I- ^ 1983年获奖的Dennis M.Ritchie，在Harvard大学获应用数学博士学位。 5 D0 e9 H3 } s毕业后加入Bell实验室，参与发明了Unix操作系统，发明了C,C++编程语言。 ; ]4 G7 `# c D% [ C 1989年获奖的William V.Kahan是加州Berkeley分校的数学教授。他因为 在数值计算，特别是浮点运算方面的贡献而获奖，有人评价他是 "dedicated himself to make the world safe for numerical computations." . ]. x9 f8 r2 t, _/ {: I 4 e. p) m% k7 W% Y, {1987年获奖的John Cocke，在Duke大学获数学博士学位。毕业后进入 + [. d( u4 t4 t$ y4 w3 l2 kIBM公司工作，同时也在MIT和NYU的Courant研究所做过客座教授。主要贡献 是发明了RISC（reduced instruction set computers），大大改善了芯片 " ~8 ]0 { L/ }的性能。 , v: v7 X! b9 }% {" J. u% h+ c1969年获奖的Marvin Minsky，在Harvard获数学学士，在Princeton获 6 M0 R9 v3 Y# V' p' |2 ?( N d数学硕士，后在MIT任数学和计算机教授。主要贡献是人工智能。 Z, E( s( J0 X4 ] ]2 p$ U1971年获奖的John McCarthy，在加州理工获数学学士，在Princeton获数学博士学 1 h/ X6 i6 i/ r: q0 X位。人工智能大师，Lisp语言发明人。 5 \+ \4 s f) G! P$ `4 j1970年获奖的John Hardy Wilkinson，16岁入Rochester大学数学系学习，后在剑桥 大学获博士学位。 主要贡献是数值计算和"backward"误差分析。

' R8 M: P! L$ H+ J! m

1968年获奖的Richard Hamming，在UIUC获数学博士学位，博士论文题目是“线性微分方 ! E/ Y6 @+ Z9 |. Z, ]4 i5 ]程中的边值问题”。在数值分析，概率统计，编码理论上有卓越建树。 4 n: W' i6 C* J! N! q 附录： 4 Y9 U/ K0 ^, A8 L8 ?* {http://www.cs.wlu.edu/~whaleyt/classes/313/Turing/ 0 K- o6 H& Y( i m/ |! }; `