图灵奖中的数学家 zz

Allos

图灵奖中的数学家 zz

数学是所有工科的基础，要想在工程科学上真正严谨的作学问， 必须有一个扎实的数学功底。比如计算机科学中，离散数学就是它的 * O# B3 s1 ^- p. P; c$ c精髓。 : C; Q0 P5 ^9 w" p2 n8 i下面向大家介绍几位学数学出身或者本身就是数学家的计算机 : z* H* o" N/ W9 U图灵奖得主以及他们的主要成就。 5 Z2 R- { ]' ` f 1986年获奖的Robert E.Tarjan，在加州理工获数学学士学位， ; Q5 r7 c. T9 H. j% s0 T/ G后来在Stanford取得计算机和数学博士学位。现在是Princeton计算机 ! x0 [* Q. o0 k7 M8 [: D. ~+ h系教授，主要研究图论，算法和数据结构设计。他发现了判断一个图 是否为平面图的线性时间复杂度的算法，在数据库软件，电路设计， / {/ [$ V6 T: J航空线路图优化等领域有广泛应用。Tarjan也是1982年首届Nevanlinna 7 c4 s4 T/ Y8 f, n奖得主。 8 ?# y2 R2 Y# E$ ^& Y% G* L U2 @1972年获奖的Edsger W.Dijkstra，在祖国荷兰获数学和物理学 学士，理论物理博士学位。在他2000年退休前一直是美国Taxas大学的 计算机科学和数学教授。发现了以他名字命名的图论中的最短路径算法。 但他获得图灵奖的主要原因却是发明了ALGOL这一第二代编程语言。 1985年获奖的Richard M.Karp，在Harvard大学获应用数学博士学位。 现在是Berkeley大学计算机系教授。最重要的论文是1972年发表的 9 B- w- B' M- ^2 j. m/ h"Reducibility Among Combinatorial Problems"。他在并行算法，组合 优化问题的概率分析方面颇有建树。现在的研究方向是人类基因测序和 基因数据表达。他也是美国国家科学院院士，获得过美国国家科学奖。 4 O3 X, F1 @# {4 v1 m" Q1 j) a) c ; r; s8 Q8 G7 S: n! l. ~$ m5 h7 t1974年获奖的Donald E. Knuth，在加州理工获数学博士，退休前 是Standford大学计算机系教授。发明数学排版软件TeX，现在正在撰写 5 r) k" n( O- c0 p( f0 m1 h9 ?2 y巨著 The Art of Computer Programming，已出版3卷。 1983年获奖的Dennis M.Ritchie，在Harvard大学获应用数学博士学位。 毕业后加入Bell实验室，参与发明了Unix操作系统，发明了C,C++编程语言。 6 o0 g l. n3 d5 `+ i/ G 9 g; [* q6 u0 w; K V3 p1989年获奖的William V.Kahan是加州Berkeley分校的数学教授。他因为 7 T6 N3 x" p9 p/ J( b) b# Q在数值计算，特别是浮点运算方面的贡献而获奖，有人评价他是 " X+ g2 \/ W5 h2 k"dedicated himself to make the world safe for numerical computations." 1987年获奖的John Cocke，在Duke大学获数学博士学位。毕业后进入 ! d5 N& s* j( O4 u1 NIBM公司工作，同时也在MIT和NYU的Courant研究所做过客座教授。主要贡献 - ^8 [' `2 Q+ o. g是发明了RISC（reduced instruction set computers），大大改善了芯片 0 Q4 O; `9 g: f8 Z% w" K- C9 S; @的性能。 5 f4 a s1 C3 }# c# E$ X1969年获奖的Marvin Minsky，在Harvard获数学学士，在Princeton获 数学硕士，后在MIT任数学和计算机教授。主要贡献是人工智能。 & V# Z6 I0 z! H, L' w) t1 Z 4 M$ X5 Z0 c- s3 ~1971年获奖的John McCarthy，在加州理工获数学学士，在Princeton获数学博士学 位。人工智能大师，Lisp语言发明人。 4 k5 T1 s- E3 ~- T8 O9 g ( ]6 h1 j; R4 H% ?& s1970年获奖的John Hardy Wilkinson，16岁入Rochester大学数学系学习，后在剑桥 ' I' H( y, ]! U, u大学获博士学位。 主要贡献是数值计算和"backward"误差分析。

1968年获奖的Richard Hamming，在UIUC获数学博士学位，博士论文题目是“线性微分方 4 j' x" Z+ s0 \; T程中的边值问题”。在数值分析，概率统计，编码理论上有卓越建树。 附录： 1 y) s4 |( f+ a+ nhttp://www.cs.wlu.edu/~whaleyt/classes/313/Turing/ 0 y5 g8 r& i t7 b d& g ; Q/ q/ V: t# `. j8 O