图灵奖中的数学家 zz

Allos

图灵奖中的数学家 zz

, x9 j; X8 q# w9 R$ a' G1 [

数学是所有工科的基础，要想在工程科学上真正严谨的作学问， 必须有一个扎实的数学功底。比如计算机科学中，离散数学就是它的 % }# i9 y. s7 @9 R* H4 [6 j8 x3 T6 S精髓。 ! ]7 s) w7 j+ v* g S8 k% ^ 2 D2 D3 n8 I4 |" h; b/ k4 F下面向大家介绍几位学数学出身或者本身就是数学家的计算机 图灵奖得主以及他们的主要成就。 1986年获奖的Robert E.Tarjan，在加州理工获数学学士学位， 后来在Stanford取得计算机和数学博士学位。现在是Princeton计算机 . C( D8 k# c! b+ ?( H$ E系教授，主要研究图论，算法和数据结构设计。他发现了判断一个图 2 q0 }; r, J1 L% O1 @. g是否为平面图的线性时间复杂度的算法，在数据库软件，电路设计， ( c2 z: M. ? G9 B n6 v航空线路图优化等领域有广泛应用。Tarjan也是1982年首届Nevanlinna ; s$ i" @" j: K8 _9 i0 g7 q奖得主。 2 x0 J. {, C$ x1972年获奖的Edsger W.Dijkstra，在祖国荷兰获数学和物理学 2 U0 W% y* j& ~9 f& u$ e学士，理论物理博士学位。在他2000年退休前一直是美国Taxas大学的 & f- \3 M+ Y' S# R9 M* `6 y计算机科学和数学教授。发现了以他名字命名的图论中的最短路径算法。 2 u+ e: |: |9 M' b2 l5 s但他获得图灵奖的主要原因却是发明了ALGOL这一第二代编程语言。 8 Q! V( e7 S3 ^' q6 A 1 e f' l, H3 i* `. W' {1985年获奖的Richard M.Karp，在Harvard大学获应用数学博士学位。 现在是Berkeley大学计算机系教授。最重要的论文是1972年发表的 "Reducibility Among Combinatorial Problems"。他在并行算法，组合 优化问题的概率分析方面颇有建树。现在的研究方向是人类基因测序和 基因数据表达。他也是美国国家科学院院士，获得过美国国家科学奖。 + G, x9 `, v; ~3 t. p 1974年获奖的Donald E. Knuth，在加州理工获数学博士，退休前 8 o J' G0 D: q4 r" [是Standford大学计算机系教授。发明数学排版软件TeX，现在正在撰写 2 }# j6 F4 }( g3 d巨著 The Art of Computer Programming，已出版3卷。 1983年获奖的Dennis M.Ritchie，在Harvard大学获应用数学博士学位。 毕业后加入Bell实验室，参与发明了Unix操作系统，发明了C,C++编程语言。 $ O! ~) e c6 [) A6 ]" v 1989年获奖的William V.Kahan是加州Berkeley分校的数学教授。他因为 6 h; d+ v/ O8 d- N9 P+ i* O在数值计算，特别是浮点运算方面的贡献而获奖，有人评价他是 4 C1 _+ X& `6 f& b"dedicated himself to make the world safe for numerical computations." * K3 F7 _4 o% _ 1987年获奖的John Cocke，在Duke大学获数学博士学位。毕业后进入 IBM公司工作，同时也在MIT和NYU的Courant研究所做过客座教授。主要贡献 5 B/ D! ~+ i0 H. [1 P( q. o' _2 B! F! ~是发明了RISC（reduced instruction set computers），大大改善了芯片 的性能。 1969年获奖的Marvin Minsky，在Harvard获数学学士，在Princeton获 7 i% n: w4 ^+ A0 A( e$ |- R6 d数学硕士，后在MIT任数学和计算机教授。主要贡献是人工智能。 1971年获奖的John McCarthy，在加州理工获数学学士，在Princeton获数学博士学 位。人工智能大师，Lisp语言发明人。 0 \5 |' f$ D I' q, e* h5 [! ~( }6 c1970年获奖的John Hardy Wilkinson，16岁入Rochester大学数学系学习，后在剑桥 / K9 U7 K5 B4 C+ \/ [- |1 F+ c大学获博士学位。 主要贡献是数值计算和"backward"误差分析。

6 O; m& E( e- B0 O! }% S" V9 j

1968年获奖的Richard Hamming，在UIUC获数学博士学位，博士论文题目是“线性微分方 程中的边值问题”。在数值分析，概率统计，编码理论上有卓越建树。 - ~% f ]. k& `+ x! S ~: B) h9 Q& U2 ]) a% @3 u附录： ! l; m) G- k& ^- Chttp://www.cs.wlu.edu/~whaleyt/classes/313/Turing/ . h% ?# k; h4 d4 J1 @ % B+ c( x/ d( a: A5 J, n9 e