图灵奖中的数学家 zz

Allos

图灵奖中的数学家 zz

数学是所有工科的基础，要想在工程科学上真正严谨的作学问， 必须有一个扎实的数学功底。比如计算机科学中，离散数学就是它的 % d1 Q4 a+ z1 Y( q- l# z; r9 p5 J' ]精髓。 6 B/ @8 T. U1 e" a 0 ]) P B2 M3 o) b下面向大家介绍几位学数学出身或者本身就是数学家的计算机 图灵奖得主以及他们的主要成就。 2 l+ @" @2 O! t) q/ ~1986年获奖的Robert E.Tarjan，在加州理工获数学学士学位， 8 ?& [, |% c8 ?+ C3 Z1 U后来在Stanford取得计算机和数学博士学位。现在是Princeton计算机 7 i8 W1 r" W$ Y/ \& i& g- h系教授，主要研究图论，算法和数据结构设计。他发现了判断一个图 * l) C8 F8 t7 _是否为平面图的线性时间复杂度的算法，在数据库软件，电路设计， 航空线路图优化等领域有广泛应用。Tarjan也是1982年首届Nevanlinna - h" w, [8 B A, V7 E6 V* @7 t# i奖得主。 9 ?) ]. R3 E- z) B- l 1972年获奖的Edsger W.Dijkstra，在祖国荷兰获数学和物理学 学士，理论物理博士学位。在他2000年退休前一直是美国Taxas大学的 计算机科学和数学教授。发现了以他名字命名的图论中的最短路径算法。 4 b% k! D K8 ^" P! t但他获得图灵奖的主要原因却是发明了ALGOL这一第二代编程语言。 2 V' A1 u S4 Q+ }& P 4 ?: h1 T/ ?$ p1985年获奖的Richard M.Karp，在Harvard大学获应用数学博士学位。 现在是Berkeley大学计算机系教授。最重要的论文是1972年发表的 "Reducibility Among Combinatorial Problems"。他在并行算法，组合 优化问题的概率分析方面颇有建树。现在的研究方向是人类基因测序和 基因数据表达。他也是美国国家科学院院士，获得过美国国家科学奖。 % E9 v) J: P' | I) ^8 ]1974年获奖的Donald E. Knuth，在加州理工获数学博士，退休前 . d7 p' y" a0 K1 y4 ?是Standford大学计算机系教授。发明数学排版软件TeX，现在正在撰写 巨著 The Art of Computer Programming，已出版3卷。 : X$ c1 r* y9 C' s7 R! w 1983年获奖的Dennis M.Ritchie，在Harvard大学获应用数学博士学位。 毕业后加入Bell实验室，参与发明了Unix操作系统，发明了C,C++编程语言。 : v, Z, f; z2 t5 i0 [% |1 q 1989年获奖的William V.Kahan是加州Berkeley分校的数学教授。他因为 2 ~! v7 Z3 \0 T7 ^6 d. x在数值计算，特别是浮点运算方面的贡献而获奖，有人评价他是 "dedicated himself to make the world safe for numerical computations." % k' |# R( ?5 j2 s4 v" K0 [ 8 L2 W3 r" o$ ?; ?) v4 L+ H B* E1987年获奖的John Cocke，在Duke大学获数学博士学位。毕业后进入 2 O8 d3 v1 p. SIBM公司工作，同时也在MIT和NYU的Courant研究所做过客座教授。主要贡献 Y( m& e/ ~$ p; k: U5 R2 [+ ]是发明了RISC（reduced instruction set computers），大大改善了芯片 的性能。 5 W7 w# {0 x0 C1 e# S1969年获奖的Marvin Minsky，在Harvard获数学学士，在Princeton获 数学硕士，后在MIT任数学和计算机教授。主要贡献是人工智能。 1971年获奖的John McCarthy，在加州理工获数学学士，在Princeton获数学博士学 位。人工智能大师，Lisp语言发明人。 g& q! p0 K9 P! m% T 9 e- @# \/ y. ^ O# e1970年获奖的John Hardy Wilkinson，16岁入Rochester大学数学系学习，后在剑桥 ) K( G' s1 ~. j1 J' U8 W# K% O大学获博士学位。 主要贡献是数值计算和"backward"误差分析。

( Z$ ]) z" v! x: ], m) L. ~$ O, L" h

( n0 P! ^8 L$ O8 C, ^. \1 p @1968年获奖的Richard Hamming，在UIUC获数学博士学位，博士论文题目是“线性微分方 程中的边值问题”。在数值分析，概率统计，编码理论上有卓越建树。 ; c# \, O- U, a* `3 Q2 T 附录： ! y( Y( \' c6 ?; J4 }( s1 N5 Qhttp://www.cs.wlu.edu/~whaleyt/classes/313/Turing/ 6 ?8 V5 a+ o) v0 O; q