图灵奖中的数学家 zz

Allos

图灵奖中的数学家 zz

; ~& Y' T# p/ U0 |* S 数学是所有工科的基础，要想在工程科学上真正严谨的作学问， 4 `8 X1 t8 Y R必须有一个扎实的数学功底。比如计算机科学中，离散数学就是它的 精髓。 % U* y, d* X) ^' } 下面向大家介绍几位学数学出身或者本身就是数学家的计算机 图灵奖得主以及他们的主要成就。 1986年获奖的Robert E.Tarjan，在加州理工获数学学士学位， - z5 _ c: M, v1 |. z) ]5 w) ^后来在Stanford取得计算机和数学博士学位。现在是Princeton计算机 : Q4 M' |1 X) O! ?+ w系教授，主要研究图论，算法和数据结构设计。他发现了判断一个图 : I' `# {- X# B. j" \7 f% q是否为平面图的线性时间复杂度的算法，在数据库软件，电路设计， 8 W C' U# k$ @2 H' N: ?% }航空线路图优化等领域有广泛应用。Tarjan也是1982年首届Nevanlinna 奖得主。 1972年获奖的Edsger W.Dijkstra，在祖国荷兰获数学和物理学 % C$ ^( {; R8 g; a学士，理论物理博士学位。在他2000年退休前一直是美国Taxas大学的 计算机科学和数学教授。发现了以他名字命名的图论中的最短路径算法。 3 y7 M8 J7 f/ L! e s7 `8 k. y但他获得图灵奖的主要原因却是发明了ALGOL这一第二代编程语言。 6 \4 q+ ?1 h7 [) K1 W8 A1985年获奖的Richard M.Karp，在Harvard大学获应用数学博士学位。 4 P7 u# H" O3 M0 w0 ~现在是Berkeley大学计算机系教授。最重要的论文是1972年发表的 "Reducibility Among Combinatorial Problems"。他在并行算法，组合 / C: y6 K7 v/ l. p优化问题的概率分析方面颇有建树。现在的研究方向是人类基因测序和 基因数据表达。他也是美国国家科学院院士，获得过美国国家科学奖。 # W6 z3 o/ a# ~ 1974年获奖的Donald E. Knuth，在加州理工获数学博士，退休前 是Standford大学计算机系教授。发明数学排版软件TeX，现在正在撰写 5 N# P# U2 P6 r$ Y4 O巨著 The Art of Computer Programming，已出版3卷。 % `2 x k) L, p) R 1983年获奖的Dennis M.Ritchie，在Harvard大学获应用数学博士学位。 毕业后加入Bell实验室，参与发明了Unix操作系统，发明了C,C++编程语言。 7 p; J- L' s+ B0 u( H& @: Z 1989年获奖的William V.Kahan是加州Berkeley分校的数学教授。他因为 在数值计算，特别是浮点运算方面的贡献而获奖，有人评价他是 0 ?, w) ]2 n; H" K% S"dedicated himself to make the world safe for numerical computations." & i& Y5 s. ?4 |3 t& I' \9 p 1 W5 `- v* ~7 z1987年获奖的John Cocke，在Duke大学获数学博士学位。毕业后进入 IBM公司工作，同时也在MIT和NYU的Courant研究所做过客座教授。主要贡献 5 c: n2 ^6 C O6 U/ C; y6 @是发明了RISC（reduced instruction set computers），大大改善了芯片 , {$ I! j0 w, u' ?的性能。 1969年获奖的Marvin Minsky，在Harvard获数学学士，在Princeton获 数学硕士，后在MIT任数学和计算机教授。主要贡献是人工智能。 1971年获奖的John McCarthy，在加州理工获数学学士，在Princeton获数学博士学 位。人工智能大师，Lisp语言发明人。 + `- r; q0 n n5 R9 `! X ^1 F1970年获奖的John Hardy Wilkinson，16岁入Rochester大学数学系学习，后在剑桥 大学获博士学位。 主要贡献是数值计算和"backward"误差分析。

" E q" o& B4 x( v9 [' {0 E; H

* @' \ Y6 Z- {9 m' U9 ^6 n7 M1968年获奖的Richard Hamming，在UIUC获数学博士学位，博士论文题目是“线性微分方 # E. s. b7 p- M: ?1 u 5 v7 z/ g( H" K1 w程中的边值问题”。在数值分析，概率统计，编码理论上有卓越建树。 . A g3 J* w) w4 v5 P* O附录： http://www.cs.wlu.edu/~whaleyt/classes/313/Turing/ : a& w+ Y( W+ c! E; w( O+ @" Q % b1 \0 P$ d5 [4 y, t0 L; M; }