图灵奖中的数学家 zz

Allos

图灵奖中的数学家 zz

数学是所有工科的基础，要想在工程科学上真正严谨的作学问， ! @7 K7 j! D/ ^0 e$ a- z! O" \/ I6 Q必须有一个扎实的数学功底。比如计算机科学中，离散数学就是它的 ; ]$ u* \9 s5 @* _) M$ H精髓。 / O) K' n! s% Z7 `8 n' R , B, r$ p. g m6 ^* u" s/ p下面向大家介绍几位学数学出身或者本身就是数学家的计算机 7 z& s' K5 S4 i图灵奖得主以及他们的主要成就。 N' c" S4 ]3 |5 q " ?7 Z' ] ?* w9 y8 n2 _( J- I1986年获奖的Robert E.Tarjan，在加州理工获数学学士学位， # r! w5 B5 ~3 K1 w2 B# {后来在Stanford取得计算机和数学博士学位。现在是Princeton计算机 2 ~- W" p9 [& m/ L& x系教授，主要研究图论，算法和数据结构设计。他发现了判断一个图 3 S: Y8 }) q- y) \$ T: K是否为平面图的线性时间复杂度的算法，在数据库软件，电路设计， 航空线路图优化等领域有广泛应用。Tarjan也是1982年首届Nevanlinna 3 s2 T% \" \( Z) E奖得主。 ) G5 h2 w$ z- m1972年获奖的Edsger W.Dijkstra，在祖国荷兰获数学和物理学 学士，理论物理博士学位。在他2000年退休前一直是美国Taxas大学的 : K4 O, ^% @8 y: K计算机科学和数学教授。发现了以他名字命名的图论中的最短路径算法。 2 y! Z! ]7 d* m- v+ g6 s+ M! E但他获得图灵奖的主要原因却是发明了ALGOL这一第二代编程语言。 - L& i3 g2 n, N' h . ~* I4 f6 L0 m5 S1985年获奖的Richard M.Karp，在Harvard大学获应用数学博士学位。 - [0 x3 X: O$ u: b3 J现在是Berkeley大学计算机系教授。最重要的论文是1972年发表的 6 @+ w& j0 M9 J9 p* \6 I& U9 b"Reducibility Among Combinatorial Problems"。他在并行算法，组合 优化问题的概率分析方面颇有建树。现在的研究方向是人类基因测序和 基因数据表达。他也是美国国家科学院院士，获得过美国国家科学奖。 4 ^, @6 H! O" n6 L. X1974年获奖的Donald E. Knuth，在加州理工获数学博士，退休前 是Standford大学计算机系教授。发明数学排版软件TeX，现在正在撰写 3 q( {( o3 I. z7 a' c/ F6 [巨著 The Art of Computer Programming，已出版3卷。 1 [, g0 D! g4 t1 ]( T7 Q0 K . i4 q' a; r5 S0 o$ N7 @5 [, L1983年获奖的Dennis M.Ritchie，在Harvard大学获应用数学博士学位。 毕业后加入Bell实验室，参与发明了Unix操作系统，发明了C,C++编程语言。 1989年获奖的William V.Kahan是加州Berkeley分校的数学教授。他因为 在数值计算，特别是浮点运算方面的贡献而获奖，有人评价他是 1 a) \8 Q' }# n"dedicated himself to make the world safe for numerical computations." 1987年获奖的John Cocke，在Duke大学获数学博士学位。毕业后进入 IBM公司工作，同时也在MIT和NYU的Courant研究所做过客座教授。主要贡献 " ^$ c% N8 r- F7 m: B+ C是发明了RISC（reduced instruction set computers），大大改善了芯片 的性能。 - |+ c, N; E1 ~7 u$ M 1969年获奖的Marvin Minsky，在Harvard获数学学士，在Princeton获 数学硕士，后在MIT任数学和计算机教授。主要贡献是人工智能。 9 s& u) t9 h m) M/ [ 1971年获奖的John McCarthy，在加州理工获数学学士，在Princeton获数学博士学 % Z: A, P$ e* r" [( N# V5 g位。人工智能大师，Lisp语言发明人。 8 d1 [; X( t9 k- Q! B8 B 1970年获奖的John Hardy Wilkinson，16岁入Rochester大学数学系学习，后在剑桥 . l7 W) B* Z* r5 r, S: r" Z' f; r大学获博士学位。 主要贡献是数值计算和"backward"误差分析。

6 Q" f0 l \' Q6 t w

1968年获奖的Richard Hamming，在UIUC获数学博士学位，博士论文题目是“线性微分方 ( k8 x6 ^: e. w( O" ^- m & t7 Z7 T* a& O程中的边值问题”。在数值分析，概率统计，编码理论上有卓越建树。 附录： http://www.cs.wlu.edu/~whaleyt/classes/313/Turing/ 7 i3 ? d0 C6 t* P. v7 l