图灵奖中的数学家 zz

Allos

图灵奖中的数学家 zz

; r, C4 z! z7 y7 T. T( Q" s& @

1 N6 w# v% m1 q, d% a* ` 数学是所有工科的基础，要想在工程科学上真正严谨的作学问， ; e$ H. `+ r0 f# y8 ]( k必须有一个扎实的数学功底。比如计算机科学中，离散数学就是它的 精髓。 0 Z* e3 u5 T5 H9 h2 g下面向大家介绍几位学数学出身或者本身就是数学家的计算机 图灵奖得主以及他们的主要成就。 5 `+ C. S# J0 v; ?9 J; V7 q8 y; n. @ 1986年获奖的Robert E.Tarjan，在加州理工获数学学士学位， 8 r+ o8 z- ^& `3 t后来在Stanford取得计算机和数学博士学位。现在是Princeton计算机 3 d* }7 h2 ?( o系教授，主要研究图论，算法和数据结构设计。他发现了判断一个图 $ g' L: C9 e; W, y3 S是否为平面图的线性时间复杂度的算法，在数据库软件，电路设计， 航空线路图优化等领域有广泛应用。Tarjan也是1982年首届Nevanlinna 奖得主。 3 e) B O. ~4 V1 g; E: x 1972年获奖的Edsger W.Dijkstra，在祖国荷兰获数学和物理学 学士，理论物理博士学位。在他2000年退休前一直是美国Taxas大学的 $ |) [/ }1 y! |7 B0 e计算机科学和数学教授。发现了以他名字命名的图论中的最短路径算法。 & ~" t% a2 I V/ g. c4 A* H8 C但他获得图灵奖的主要原因却是发明了ALGOL这一第二代编程语言。 1985年获奖的Richard M.Karp，在Harvard大学获应用数学博士学位。 - J' B& n# V5 n' `! R/ N/ G" F现在是Berkeley大学计算机系教授。最重要的论文是1972年发表的 * v! {; k4 i& [ n9 G; X6 @" b"Reducibility Among Combinatorial Problems"。他在并行算法，组合 6 M: t4 s* U2 ]1 E2 o% S! K优化问题的概率分析方面颇有建树。现在的研究方向是人类基因测序和 r% I6 l' I$ E+ s& R8 h, ?9 W基因数据表达。他也是美国国家科学院院士，获得过美国国家科学奖。 0 a/ M# b" }, v" c5 A5 h# { 7 m! y4 `) L' z( y& m7 n, ?$ l1974年获奖的Donald E. Knuth，在加州理工获数学博士，退休前 4 P. [$ L$ x9 l* y6 }4 }3 e8 d是Standford大学计算机系教授。发明数学排版软件TeX，现在正在撰写 巨著 The Art of Computer Programming，已出版3卷。 1983年获奖的Dennis M.Ritchie，在Harvard大学获应用数学博士学位。 ' X7 g* K" i# k# x i毕业后加入Bell实验室，参与发明了Unix操作系统，发明了C,C++编程语言。 8 ?3 W- f3 N e' Z) { . w0 i5 n3 J1 h4 K, a3 N! \& r1989年获奖的William V.Kahan是加州Berkeley分校的数学教授。他因为 + p6 n1 _& Q+ u z. M/ {在数值计算，特别是浮点运算方面的贡献而获奖，有人评价他是 "dedicated himself to make the world safe for numerical computations." 1987年获奖的John Cocke，在Duke大学获数学博士学位。毕业后进入 IBM公司工作，同时也在MIT和NYU的Courant研究所做过客座教授。主要贡献 是发明了RISC（reduced instruction set computers），大大改善了芯片 7 U' |6 g1 T- T的性能。 1969年获奖的Marvin Minsky，在Harvard获数学学士，在Princeton获 数学硕士，后在MIT任数学和计算机教授。主要贡献是人工智能。 ; s8 Y6 F: A& e3 I9 @. |& C1971年获奖的John McCarthy，在加州理工获数学学士，在Princeton获数学博士学 位。人工智能大师，Lisp语言发明人。 5 `1 ?% M5 L" K3 N6 t$ a3 \ " b# o9 ~1 m- x" M1970年获奖的John Hardy Wilkinson，16岁入Rochester大学数学系学习，后在剑桥 4 I0 j& E" s2 V0 k$ T4 v; v1 b大学获博士学位。 主要贡献是数值计算和"backward"误差分析。

+ a2 r# u& ]( ?( Y& s) v" w1 V4 Q1968年获奖的Richard Hamming，在UIUC获数学博士学位，博士论文题目是“线性微分方 3 }+ R! }8 \6 F% S1 ], j0 ^' ^) I3 h; f 5 G1 ?7 l/ d" P* A) m0 R g; ?程中的边值问题”。在数值分析，概率统计，编码理论上有卓越建树。 ( n0 _8 K' _" @4 Q6 z附录： http://www.cs.wlu.edu/~whaleyt/classes/313/Turing/ & R) W. ~) J9 C6 g2 v R 4 H( F( u( {6 q7 ~9 q; i- {