图灵奖中的数学家 zz

Allos

图灵奖中的数学家 zz

2 E! t: {- o* F* V- X 数学是所有工科的基础，要想在工程科学上真正严谨的作学问， d+ w% I* P- N1 ~' p& {. }5 y9 }! B必须有一个扎实的数学功底。比如计算机科学中，离散数学就是它的 * b4 ]$ T6 i1 t* _精髓。 7 o6 w6 F" a* n8 I下面向大家介绍几位学数学出身或者本身就是数学家的计算机 图灵奖得主以及他们的主要成就。 1986年获奖的Robert E.Tarjan，在加州理工获数学学士学位， # b0 I) g5 z; \) y" j. O/ V# y后来在Stanford取得计算机和数学博士学位。现在是Princeton计算机 系教授，主要研究图论，算法和数据结构设计。他发现了判断一个图 . Y4 X# s( N" T# u `. O4 g是否为平面图的线性时间复杂度的算法，在数据库软件，电路设计， 航空线路图优化等领域有广泛应用。Tarjan也是1982年首届Nevanlinna 奖得主。 7 d/ m0 F! w- T1 s3 {0 Q ! x3 B8 U* P9 g& [/ o9 x% B: f* d& @1972年获奖的Edsger W.Dijkstra，在祖国荷兰获数学和物理学 学士，理论物理博士学位。在他2000年退休前一直是美国Taxas大学的 * I5 Z- Y. t0 t1 j f( F% n! P9 S计算机科学和数学教授。发现了以他名字命名的图论中的最短路径算法。 但他获得图灵奖的主要原因却是发明了ALGOL这一第二代编程语言。 ( g1 T3 l+ Y/ ^. | 1985年获奖的Richard M.Karp，在Harvard大学获应用数学博士学位。 : D2 _' a3 s# e# ^) }现在是Berkeley大学计算机系教授。最重要的论文是1972年发表的 & n( K* Q' ^+ o, U, k"Reducibility Among Combinatorial Problems"。他在并行算法，组合 优化问题的概率分析方面颇有建树。现在的研究方向是人类基因测序和 基因数据表达。他也是美国国家科学院院士，获得过美国国家科学奖。 . V5 P8 e! U5 L/ V& q8 P" C1974年获奖的Donald E. Knuth，在加州理工获数学博士，退休前 是Standford大学计算机系教授。发明数学排版软件TeX，现在正在撰写 巨著 The Art of Computer Programming，已出版3卷。 ; m. z! J; Y- J: j 9 W, k( [$ a- w" R; V1983年获奖的Dennis M.Ritchie，在Harvard大学获应用数学博士学位。 0 O! u6 s7 N6 f; ?毕业后加入Bell实验室，参与发明了Unix操作系统，发明了C,C++编程语言。 1989年获奖的William V.Kahan是加州Berkeley分校的数学教授。他因为 在数值计算，特别是浮点运算方面的贡献而获奖，有人评价他是 "dedicated himself to make the world safe for numerical computations." " r1 c0 A7 h2 G) e7 M 3 T% Q) k6 D6 g1 }! ~5 |2 L3 q1987年获奖的John Cocke，在Duke大学获数学博士学位。毕业后进入 IBM公司工作，同时也在MIT和NYU的Courant研究所做过客座教授。主要贡献 是发明了RISC（reduced instruction set computers），大大改善了芯片 的性能。 3 Q. m0 }9 Y# H* a/ D6 Q6 g1969年获奖的Marvin Minsky，在Harvard获数学学士，在Princeton获 数学硕士，后在MIT任数学和计算机教授。主要贡献是人工智能。 , V+ D5 q* Y, k) ]6 A: e1971年获奖的John McCarthy，在加州理工获数学学士，在Princeton获数学博士学 4 `! s! C- z; ~. J. {' f" s位。人工智能大师，Lisp语言发明人。 2 _ {+ h( R t % T& ?5 s8 R9 l$ j, |. u1970年获奖的John Hardy Wilkinson，16岁入Rochester大学数学系学习，后在剑桥 大学获博士学位。 主要贡献是数值计算和"backward"误差分析。

9 F/ q- ~2 X# n( C$ a5 l

- z( k4 S9 U0 d7 d* [- ^2 K1968年获奖的Richard Hamming，在UIUC获数学博士学位，博士论文题目是“线性微分方 " ~. k. }5 }2 y, m% }- R/ |3 b0 P* b程中的边值问题”。在数值分析，概率统计，编码理论上有卓越建树。 8 B, E* ~6 b B, X. [1 L( J附录： + G! ?6 J4 n2 }9 n) }http://www.cs.wlu.edu/~whaleyt/classes/313/Turing/