图灵奖中的数学家 zz

Allos

图灵奖中的数学家 zz

4 }! g# _" R3 m( c* f

数学是所有工科的基础，要想在工程科学上真正严谨的作学问， 必须有一个扎实的数学功底。比如计算机科学中，离散数学就是它的 精髓。 4 f' H0 O, X% N" ? 下面向大家介绍几位学数学出身或者本身就是数学家的计算机 1 @- N- n1 E" D+ z8 L2 {图灵奖得主以及他们的主要成就。 & W0 C. q% d* [+ v ) g* c* x6 f) ^3 T, T4 m! g1986年获奖的Robert E.Tarjan，在加州理工获数学学士学位， " D5 f# [5 j2 b3 W, c9 T8 Z后来在Stanford取得计算机和数学博士学位。现在是Princeton计算机 4 ?; E8 ~7 A. y+ y4 F系教授，主要研究图论，算法和数据结构设计。他发现了判断一个图 是否为平面图的线性时间复杂度的算法，在数据库软件，电路设计， 航空线路图优化等领域有广泛应用。Tarjan也是1982年首届Nevanlinna 奖得主。 - c' `5 ^' m8 g3 A- b' `9 k1972年获奖的Edsger W.Dijkstra，在祖国荷兰获数学和物理学 / v. Y; W+ C; |# J学士，理论物理博士学位。在他2000年退休前一直是美国Taxas大学的 计算机科学和数学教授。发现了以他名字命名的图论中的最短路径算法。 ' N% O4 p: f& V: B2 D但他获得图灵奖的主要原因却是发明了ALGOL这一第二代编程语言。 . N- m! Z7 ?) u$ Y 1985年获奖的Richard M.Karp，在Harvard大学获应用数学博士学位。 6 i1 P3 l+ N1 b) {; A现在是Berkeley大学计算机系教授。最重要的论文是1972年发表的 "Reducibility Among Combinatorial Problems"。他在并行算法，组合 优化问题的概率分析方面颇有建树。现在的研究方向是人类基因测序和 3 n3 w$ o3 h3 w. X8 [基因数据表达。他也是美国国家科学院院士，获得过美国国家科学奖。 . C, Q; p4 Q( a" X9 Y _; r1974年获奖的Donald E. Knuth，在加州理工获数学博士，退休前 # F* U. R7 G6 O( W' N6 Z" v是Standford大学计算机系教授。发明数学排版软件TeX，现在正在撰写 巨著 The Art of Computer Programming，已出版3卷。 : p0 p6 X' g6 j( i1 Y1 J7 R2 H, _ 1983年获奖的Dennis M.Ritchie，在Harvard大学获应用数学博士学位。 & i2 q; v* y8 w. ^& c8 k- T& y毕业后加入Bell实验室，参与发明了Unix操作系统，发明了C,C++编程语言。 1989年获奖的William V.Kahan是加州Berkeley分校的数学教授。他因为 在数值计算，特别是浮点运算方面的贡献而获奖，有人评价他是 2 s8 W+ [! p$ M- a, j, W7 r1 k' _. g"dedicated himself to make the world safe for numerical computations." , p# Y N. x+ n# ^6 j; l E 1987年获奖的John Cocke，在Duke大学获数学博士学位。毕业后进入 . s& ^+ b/ o) B" pIBM公司工作，同时也在MIT和NYU的Courant研究所做过客座教授。主要贡献 是发明了RISC（reduced instruction set computers），大大改善了芯片 的性能。 1969年获奖的Marvin Minsky，在Harvard获数学学士，在Princeton获 数学硕士，后在MIT任数学和计算机教授。主要贡献是人工智能。 6 P, U; H6 G; m' r- j+ i P, o1971年获奖的John McCarthy，在加州理工获数学学士，在Princeton获数学博士学 位。人工智能大师，Lisp语言发明人。 1970年获奖的John Hardy Wilkinson，16岁入Rochester大学数学系学习，后在剑桥 大学获博士学位。 主要贡献是数值计算和"backward"误差分析。

1968年获奖的Richard Hamming，在UIUC获数学博士学位，博士论文题目是“线性微分方 * z5 H5 Y8 d$ C* u$ _! c 7 L7 j' |1 i; L3 B7 p" k% F7 J程中的边值问题”。在数值分析，概率统计，编码理论上有卓越建树。 ; X- R$ a) b3 G- x( J' R) H 附录： 7 ^8 A0 H' N) A: Y L& F4 D5 c, Khttp://www.cs.wlu.edu/~whaleyt/classes/313/Turing/ : {1 E0 E" T2 K" N& D8 p + J5 r+ `" C" H) z