图灵奖中的数学家 zz

Allos

图灵奖中的数学家 zz

数学是所有工科的基础，要想在工程科学上真正严谨的作学问， / j- w5 E3 I* @必须有一个扎实的数学功底。比如计算机科学中，离散数学就是它的 & M$ ]5 ^! U3 V- b精髓。 下面向大家介绍几位学数学出身或者本身就是数学家的计算机 * F& o' p' i# ^; q% Y# E( m图灵奖得主以及他们的主要成就。 1986年获奖的Robert E.Tarjan，在加州理工获数学学士学位， 3 e+ [' z2 |" r1 |* m2 E后来在Stanford取得计算机和数学博士学位。现在是Princeton计算机 4 Q+ \+ a1 h' u$ Q9 f系教授，主要研究图论，算法和数据结构设计。他发现了判断一个图 & k% |; T- f+ I7 W T5 g是否为平面图的线性时间复杂度的算法，在数据库软件，电路设计， : @' B; S% }0 ^% Z7 E$ X航空线路图优化等领域有广泛应用。Tarjan也是1982年首届Nevanlinna 奖得主。 9 \+ L- _' v( |2 z; {4 v& L1 R7 Q4 Z1972年获奖的Edsger W.Dijkstra，在祖国荷兰获数学和物理学 ; ]- A( B! m9 a# H7 N6 b; e! O/ A学士，理论物理博士学位。在他2000年退休前一直是美国Taxas大学的 ) j5 y8 d, P1 H% w! z2 G1 ~$ G- k计算机科学和数学教授。发现了以他名字命名的图论中的最短路径算法。 % {! `9 V3 P- X但他获得图灵奖的主要原因却是发明了ALGOL这一第二代编程语言。 8 S7 b: E V7 b# C$ F( @1985年获奖的Richard M.Karp，在Harvard大学获应用数学博士学位。 现在是Berkeley大学计算机系教授。最重要的论文是1972年发表的 "Reducibility Among Combinatorial Problems"。他在并行算法，组合 优化问题的概率分析方面颇有建树。现在的研究方向是人类基因测序和 基因数据表达。他也是美国国家科学院院士，获得过美国国家科学奖。 1974年获奖的Donald E. Knuth，在加州理工获数学博士，退休前 是Standford大学计算机系教授。发明数学排版软件TeX，现在正在撰写 3 y1 u/ s' O8 [# E' c巨著 The Art of Computer Programming，已出版3卷。 5 S( Y, C- N( ]) Q1983年获奖的Dennis M.Ritchie，在Harvard大学获应用数学博士学位。 ! ^# m( q: o0 K4 |9 x! ~+ z3 y" }毕业后加入Bell实验室，参与发明了Unix操作系统，发明了C,C++编程语言。 2 G$ i! l. n5 [1989年获奖的William V.Kahan是加州Berkeley分校的数学教授。他因为 在数值计算，特别是浮点运算方面的贡献而获奖，有人评价他是 1 k3 b. p* q! y# M% x; Z/ l"dedicated himself to make the world safe for numerical computations." 1987年获奖的John Cocke，在Duke大学获数学博士学位。毕业后进入 . [. d9 `9 a+ \9 p. f2 g4 SIBM公司工作，同时也在MIT和NYU的Courant研究所做过客座教授。主要贡献 是发明了RISC（reduced instruction set computers），大大改善了芯片 的性能。 1969年获奖的Marvin Minsky，在Harvard获数学学士，在Princeton获 4 s4 p+ h0 Q' M4 T- m) t9 u: x数学硕士，后在MIT任数学和计算机教授。主要贡献是人工智能。 : Y+ j- t4 y$ A$ J3 K7 [, [ - Q2 {) |& b# ]& ]5 \1971年获奖的John McCarthy，在加州理工获数学学士，在Princeton获数学博士学 位。人工智能大师，Lisp语言发明人。 ; X2 G5 F: O# [& G! u3 U* f9 N1 S & k' }8 R1 \1 w9 w' f& h& r2 V1970年获奖的John Hardy Wilkinson，16岁入Rochester大学数学系学习，后在剑桥 + [6 v; u, q# I; V% ^8 ^大学获博士学位。 主要贡献是数值计算和"backward"误差分析。

1968年获奖的Richard Hamming，在UIUC获数学博士学位，博士论文题目是“线性微分方 - T1 @, a2 x8 [ * c0 W2 [! p8 ~; A程中的边值问题”。在数值分析，概率统计，编码理论上有卓越建树。 3 A% ^0 ^$ B1 y9 [7 o* x; o附录： % U: b6 U7 A; G# ^http://www.cs.wlu.edu/~whaleyt/classes/313/Turing/ ; o& ^; t: i) D& R4 \4 n7 @